| 基于顺序图的FADEC软件需求状态图模型验证 |
| |
| 引用本文： | 杜伟,刘传会,张红安,戴瑾珺.基于顺序图的FADEC软件需求状态图模型验证[J].测控技术,2016,35(4):109-112. |
| |
| 作者姓名： | 杜伟 刘传会 张红安 戴瑾珺 |
| |
| 作者单位： | 1. 中航工业航空动力控制系统研究所,江苏无锡,214063;2. 中航工业航空动力机械研究所,湖南株洲,412000 |
| |
| 摘 要： | 基于模型的系统工程MBSE方法论在全权限数字电子控制(FADEC)软件开发领域的应用越来越普遍,模型作为开发过程中传递信息的介质,其在软件开发过程中的重要性不言而喻.完善的需求模型可以降低FADEC软件研制过程中的风险,提高研制效率.以SysML顺序图为测试用例,对模型进行测试.通过测试用例与需求的追踪关系,保证了测试的有效性.测试用例生成过程中利用了ATG用例自动生成技术.测试结果表明了此方法的实用性,实现了对需求模型的充分测试.
|
| 关 键 词： | MBSE FADEC ATG 顺序图 |
A Model Validating Method of Requirement Diagram of FADEC Software Based on Sequence Diagram |
| |
| DU Wei,LIU Chuan-hui,ZHANG Hong-an,DAI Jin-jun.A Model Validating Method of Requirement Diagram of FADEC Software Based on Sequence Diagram[J].Measurement & Control Technology,2016,35(4):109-112. |
| |
| Authors: | DU Wei LIU Chuan-hui ZHANG Hong-an DAI Jin-jun |
| |
| Abstract: | With MBSE methodology uesd in FADEC software becoming more and more common,the model as the information transmission medium is important in the software development.Perfect FADEC software requirement model can reduce the risk of the development process and improve development efficiency.SysML sequence diagram is used in the model testing.The trace relations between the testcase and requirements ensure the validity of the test.Test case generation process utilizes ATG to generate usecase.Test results show the uesfulness of this method and a full validation of the demand model. |
| |
| Keywords: | MBSE FADEC ATG sequence diagram |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《测控技术》浏览原始摘要信息 |
|
点击此处可从《测控技术》下载全文 |
|
