科研之友
微信
新浪微博
Facebook
分享链接
摘要
针对机载软件测试需要高可靠性、高安全性和高稳定性等特殊要求,设计了一个新的过程模型———Y模型,该模型以W模型为基础,添加了编码验证功能,完整体现了整个机载软件的开发和测试过程,并支持迭代及变更,缩短了研制的周期,再结合Y模型的特点和在实际工作中的具体应用步骤,采用LogiScope套件中的Audit、TestChecker两个模块对设计的Y模型进行了实验测试和分析;实验结果证明Y模型能提高软件的测试效率和可靠性。
-
单位中国人民解放军空军工程大学; 北京
