| 软件需求的可否证性研究 |
| |
| 引用本文： | 宋志刚,卢德中.软件需求的可否证性研究[J].航空计算技术,2011,41(3):74-76,81. |
| |
| 作者姓名： | 宋志刚 卢德中 |
| |
| 作者单位： | 中国空空导弹研究院,信息部,河南,洛阳,471009 |
| |
| 摘 要： | 系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。
|
| 关 键 词： | 系统测试 软件需求 可测试性 可否证性 |
Research on Software Requirement Deniability |
| |
| SONG Zhi-gang,LU De-zhong.Research on Software Requirement Deniability[J].Aeronautical Computer Technique,2011,41(3):74-76,81. |
| |
| Authors: | SONG Zhi-gang LU De-zhong |
| |
| Institution: | (China Airborne Missile Academy,Luoyang 471009,China) |
| |
| Abstract: | System testing is a valuable way that can improve the quality and reliability of software,This paper focuses on constitution and implement of software system testing platform for the subassembly of Missile-borne flying control system,the way of Building software testing system.The key of requirement is deniability of every requirements entries. |
| |
| Keywords: | software system test software requirements testability deniability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
