| 基于T-VEC的需求模型建立和用例设计验证 |
| |
| 引用本文： | 张颖,罗云,马亮,徐刚.基于T-VEC的需求模型建立和用例设计验证[J].航空电子技术,2022,53(1):45-50. |
| |
| 作者姓名： | 张颖 罗云 马亮 徐刚 |
| |
| 作者单位： | 上海航空电器有限公司，上海201101；;航空工业沈阳飞机设计研究所，沈阳110035 |
| |
| 摘 要： | 在需求和设计层面上介绍了基于T-VEC的建模与分析方法，生成的测试向量达到路径、决策和条件的全测试覆盖，保证了每个需求功能点得到充分的测试。本文以调光控制系统为例，针对自动调光算法提出并建立了迟滞环控制模型，通过模型分析识别需求中的缺陷、生成测试向量和测试驱动、编译和执行测试驱动、执行结果分析。验证结果表明了该方法在航空嵌入式软件测试中的有效性和实用性。
|
| 关 键 词： | 调光系统 需求建模 T-VEC 测试向量 |
| 收稿时间： | 2021/9/7 0:00:00 |
| 修稿时间： | 2021/12/5 0:00:00 |
Establishment of Requirement Model and Design Verification of Test
Case Based on T-VEC |
| |
| ZHANG Ying,LUO Yun,MA Liang,XU Gang.Establishment of Requirement Model and Design Verification of Test
Case Based on T-VEC[J].Avionics Technology,2022,53(1):45-50. |
| |
| Authors: | ZHANG Ying LUO Yun MA Liang XU Gang |
| |
| Institution: | Shanghai Aviation Electric CO.,LTO, Shanghai 201101, China;; AVIC Shenyang Aircraft Design and Research Institute, Shenyang 110035, China |
| |
| Abstract: | |
| |
| Keywords: | AVIC Shenyang Aircraft Design and Research Institute Shenyang 110035 China |
|
| 点击此处可从《航空电子技术》浏览原始摘要信息 |
| 点击此处可从《航空电子技术》下载免费的PDF全文 |
|
