全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
- 基于需求的测试模型在航空电子软件系统中应用研究
- 作者： 郭文范 来源： 北京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 需求 测试模型 航空电子软件
- 描述： 论文针对航空电子软件的特点，并依据标准DO-178B 对软件测试的要求，引出了一种基于需求的测试模型。该模型包括五个主要过程：需求描述，基于需求的测试用例设计，软件测试，软件需求覆盖分析(RCA)和软件结构覆盖分析(SCA)；强调测试用例的设计和实现基于软件需求，并且能够确认系统正确的功能性和发现软件中潜在的错误；同时，注重验证软件需求、软件开发和软件测试三者之间的可追踪性和可检查性。模型包括激励和反馈两种条件；激励条件是指测试的方法和工具，可提高测试的效率；反馈条件是指测试输出结果对测试输入数据的反作用，可校正输入数据中存在的错误。 依据测试模型，论文研究了模型中需要的测试方法，包括需求描述方法、测试用例设计策略、真值表的设计方法、测试覆盖分析方法等。采用结构化的激励响应需求描述技术，解决了需求的可测试问题；阐述了测试用例的设计策略及满足修改判定/条件覆盖、判定覆盖、语句覆盖的真值表的设计方法；并且针对复杂的逻辑条件组合，研究了如何应用单独影响法设计完成修改判定/条件覆盖真值表；详细讨论了需求覆盖分析和结构覆盖分析，分析了各种结构覆盖准则不同点及其适用特性。 在上述理论研究的基础上，针对航空软件测试环境是实现软件测试的关键，设计和实现了自动测试系统，以应用测试方法，支持动态的软件测试。论文详细描述了其具体的系统结构和实现途径，并对客户端/服务端网络交互、测试命令和符号扩展和输入输出设备管理等关键技术进行了详细的阐述。 最后，通过测试模型在某型号航空电子显示系统软件测试中的应用，被测试系统成功地完成了航空产品认证，从而验证了论文研究成果的正确性和有效性。