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

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