一种机载软件测试过程模型的设计  

An Airborne Software Testing Model Designing

作　　者：白焱[1] 王勇[1] 王冠[1] 李晓东 

机构地区：[1]空军工程大学工程学院,西安710038 [2]空军北京航空装备训练基地,北京100076

出　　处：《计算机测量与控制》2012年第7期1815-1817,1826,共4页Computer Measurement &Control

摘　　要：针对机载软件测试需要高可靠性、高安全性和高稳定性等特殊要求,设计了一个新的过程模型———Y模型,该模型以W模型为基础,添加了编码验证功能,完整体现了整个机载软件的开发和测试过程,并支持迭代及变更,缩短了研制的周期,再结合Y模型的特点和在实际工作中的具体应用步骤,采用LogiScope套件中的Audit、TestChecker两个模块对设计的Y模型进行了实验测试和分析;实验结果证明Y模型能提高软件的测试效率和可靠性。Abstract： For the airborne software testing needs high reliability, high safety and high stability and other special requirements, designing a new process model-- Y model, this model regard the model of W as the foundation, increasing the coding verification function, express the whole airborne software by development with test completely, and support the and change, shortening the period of researching manufacture, then combinative characteristics of Y model and the concrete applied step in the work, using the two models of Audit and TestChecker in the kit of logiscope to test and analysis Y model. The experimental results show that the Y model can improve testing efficiency and reliability of the software.

关 键 词：机载软件 软件测试模型 Y模型 全过程模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]