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

摘要：

在需求和设计层面上介绍了基于T-VEC的建模与分析方法,生成的测试向量达到路径、决策和条件的全测试覆盖,保证了每个需求功能点得到充分的测试.本文以调光控制系统为例,针对自动调光算法提出并建立了迟滞环控制模型,通过模型分析识别需求中的缺陷、生成测试向量和测试驱动、编译和执行测试驱动、执行结果分析.验证结果表明了该方法在航空嵌入式软件测试中的有效性和实用性.

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

所属期刊栏目：53

分类号：V243(航空仪表、航空设备、飞行控制与导航)

在线出版日期：2022-08-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：45-50