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