● 摘要
目前，各种软件密集控制系统接连出现在新一代航空电子设备中。武器装备中的软件不仅极大地提高了装备原有的功能，而且使其获得了许多崭新的能力，软件被赞誉为力量的倍增器。但同时，随着软件规模和软件执行力的提高，大量的故障均由软件因素导致，软件质量和可靠性成为武器装备作战效能提高的关键。 经验表明，系统测试是提高航电软件质量和可靠性的有效途径。同时，随着测试工作的发展，人们越来越希望提高测试的自动化程度。依据我们的经验，有相当多的测试用例可以自动生成，但许多原因阻碍了它的实现。其中被测系统的需求没有使用形式化的语言描述，成为测试人员仍以手工方式生成测试用例的主要原因之一。 UML状态图具有形式化特征，支持嵌套和并发状态，同时扩展了动作标记，适合实时软件详细行为的建模。因此本文以状态图为核心技术，基于面向对象方法，从系统的角度出发，提出了一种适合于软件密集航电系统动态行为描述的测试需求建模方法。该方法依据软件需求，结合测试目标和测试意图，从静态和动态两个方面对被测系统进行描述。使用类图建立被测系统的交联环境仿真模型，并定义和配置用于测试输入描述的接口数据。使用状态图建立被测系统的行为视图，包括对系统的状态、触发事件、迁移条件和系统动作进行描述。基于该方法生成的需求模型，结合一定的测试用例生成策略，可以自动生成测试用例。 为了将方法应用于实际，在研究过程中开发了集ICD数据库信息配置、交联环境描述和系统动态行为描述为一体的航电设备软件测试需求建模工具TRM的原型。最后作为示例，对某飞机航电系统的导弹控制功能进行建模，模型具有简洁、直观、易用的特点，能够反应测试意图，满足实际的测试要求。