论文部分内容阅读
摘要:针对机载软件测试需要高可靠性、高安全性和高稳定性等特殊要求,设计了一个薪的过程模型——Y模型,该模型以w模型为基础。添加了编码验证功能,完整体现了,整个机载软件的开发和测试过程,并支持迭代及变更,缩短了研制的周期,再结合Y模型的特点和在实际工作中的具体应用步骤,采用LogiScope套件中的Audit、TestChecker两个模块对设计的Y模型进行了实验测试和分析;实验结果证明Y模型能提高软件的测试效率和可靠性。