软件密集航电系统测试需求建模研究

摘要：

系统测试是提高航电软件质量的重要途径。建立测试需求模型是进行系统测试的前提和基础。使用形式化的语言建立需求模型,有助于提高系统测试的自动化程度。状态图具有形式化特征,并且非常适合实时嵌入式软件的建模。因此本文以状态图为核心技术,基于面向对象方法,提出了一种适合软件密集航电系统的需求建模方法。基于该方法生成需求模型,结合一定的测试用例生成策略,可以自动生成测试用例和被测系统的交联环境仿真模型。作为示例,本文利用该方法对某飞机航电系统的导弹控制功能进行了建模,模型具有简洁、直观、易用的特点。

关键词： 系统测试 航电系统 需求建模 状态图 软件质量

作者: 高猛 钟德明 杨顺昆 陆民燕

作者单位: 北京航空航天大学工程系统工程系100083

会议类型: 国内会议

会议名称: 第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on Reliability,Maintainability and Safety)

会议地点: 北京

会议语种:中文

在线出版日期: 2007-08-22（万方平台首次上网日期，不代表论文的发表时间）