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