摘要: |
提出了一种基于需求的自动测试方法。该方法针对目前航空电子系统的系统设计与验证中的
“V”型流程进行建模,并对其进行形式化的描述,以供计算机分析、识别。设计了一套有
效、完备的自动测试系统以达到对系统需求的验证,并在此基础上提出了进一步研究的方向
。通过实际软件验证了所提方法的有效性。 |
关键词: 航空电子系统 自动测试系统 系统需求 |
DOI:10.3969/j.issn.1001-893X. |
|
基金项目: |
|
An Automatic Test Method Based on Avionics System Requirement |
CHENG Xue-jun,LEI Guo-zhi |
(Southwest China Institute of Electronic Technology, Chengdu 610036, China) |
Abstract: |
An automatic test method is proposed based on system requirements. With this met
hod V-type process in current avionics system design and verification is modeled
and formally described for computer analysis and identification. An effective a
nd comprehensive automatic test system is designed to meet the system requiremen
ts verification. Finally, further research directions are pointed out. The softw
are test results prove the effectiveness and efficiency of the proposed method. |
Key words: avionics system automatic test system system requirement |