航空机载软件研发要遵循DO178标准,DO178标准中除了软件的研发,剩下占比比较多了就是软件验证了。
对于航空机载软件来说,软件的安全性无比重要,但是软件安全性评估是一件很难的事情。所以通过过程控制:
软件研发从计划到设计到验证到质量等等来使得软件的实现可以达到一个比较高的安全性。
那么软件验证在整个软件研发过程中扮演了什么角色呢?软件验证所有的数据输出,均是证明软件符合需求的证据。
因此,如果软件验证活动的输出有问题,那么该软件可信度就会非常低。
航空机载软件研发要遵循DO178标准,DO178标准中除了软件的研发,剩下占比比较多了就是软件验证了。
对于航空机载软件来说,软件的安全性无比重要,但是软件安全性评估是一件很难的事情。所以通过过程控制:
软件研发从计划到设计到验证到质量等等来使得软件的实现可以达到一个比较高的安全性。
那么软件验证在整个软件研发过程中扮演了什么角色呢?软件验证所有的数据输出,均是证明软件符合需求的证据。
因此,如果软件验证活动的输出有问题,那么该软件可信度就会非常低。