基于T-VEC的需求模型建立和用例设计验证  

Establishment of Requirement Model and Design Verification of Test Case Based on T-VEC

作　　者：张颖 罗云 马亮 徐刚[2] ZHANG Ying;LUO Yun;MA Liang;XU Gang(Shanghai Aviation Electric CO.,LTO,Shanghai 201101,China;AVIC Shenyang Aircraft Design and Research Institute,Shenyang 110035,China)

机构地区：[1]上海航空电器有限公司,上海201101 [2]航空工业沈阳飞机设计研究所,沈阳110035

出　　处：《航空电子技术》2022年第1期45-50,共6页Avionics Technology

摘　　要：在需求和设计层面上介绍了基于T-VEC的建模与分析方法,生成的测试向量达到路径、决策和条件的全测试覆盖,保证了每个需求功能点得到充分的测试。本文以调光控制系统为例,针对自动调光算法提出并建立了迟滞环控制模型,通过模型分析识别需求中的缺陷、生成测试向量和测试驱动、编译和执行测试驱动、执行结果分析。验证结果表明了该方法在航空嵌入式软件测试中的有效性和实用性。A modeling and analysis method is introduced based on T-VEC at the level of requirements and design.The generated test vectors achieve the full test coverage of path,decision and condition,and ensure that each requirement function point is fully tested.Taking the dimming control system as an example,a hysteresis control model is proposed and established for the automatic dimming algorithm.Identify defects in requirements,generate test vectors and test drivers,compile and execute test drivers,and perform result analysis through model analysis.The final verification results show the effectiveness and practicability of this method in aviation embedded software testing.

关 键 词：调光系统 需求建模 T-VEC 测试向量 

分 类 号：V243[航空宇航科学与技术—飞行器设计]