LDRA软件测试套件的.pdfVIP

T-VEC 在适航认证中的成功应用案例分析 背景描述： 　　航空某所的某产品要通过适航认证，其中两个核心软件配置项被定级为 DO-178B A 级，适航当局 按照 DO-178B 标准对软件测试工作提出了明确的要求。 挑战： 　　按照 DO-178B 对 A 级软件的要求，其在相关章节对软件的验证过程和目标有明确的要求，其中关 于低级需求的测试覆盖，以及测试用例设计是该项目的一个难点。 　　该项目源代码 5 万余行，其中有效代码行数 2 万 3 千余行，如果采用传统的测试手段，采用人工方 式进行测试用例设计，人工方式的测试用例注入执行，人工方式的测试报告整理，该项目预计需要： 200 个人天进行用例设计； 300 个人天进行报告编写和整理； 150 个人天进行用例执行； 合计约需要 650 个人天。 解决方案： 　　 上 海 创 景 计 算 机 系 统 有 限 公 司 以 T-VEC 公 司 的 测 试 用 例 自 动 生 成 工 具 为 核 心， 配 合 使 用 LDRA 公 司 的 Testbed/ TBRun 以 及 一 系 列 报 告 自 动 生成工具和测试自动化脚本实 现 整 个 测 试 过 程， 为 客 户 提 供 了一整套全新理念高效自动化 的解决方案。应用框架如右： 项目应用情况： 项目收益： 　　 在 该 项 目 中， 根 据 应 用 的 特 点， 分 别 采 用 　　 通过采用该方案，项目组总共花了 160 个人天， TTM 和 Simulink 进行建模，然后导入到 T-VEC 其中： 的 TVGS 中 自 动 生 成 测 试 向 量， 再 通 过 相 关 脚 项目规划准备 20 个人天； 测试需求建模 60 个人天； 本自动将生成的用例导出为 Testbed/TBrun 支 测试执行 20 个人天； 持 的 TCF 格 式， 导 入 到 Testbed/TBrun 中 进 人工完善测试用例 20 个人天； 行自动回归，确认功能是否满足要求；同时在此 问题分析提交报告及回归 15 个人天； 基础上进行白盒覆盖率分析，根据覆盖率情况看 测试报告生成及整理 15 个人天； 是否需要追加测试用例。 测试相关自动化脚本编写调试 10 个人天。 　　最终将 T-VEC 生成的测试向量导出到报告 　　取得了如下收益： 生成系统自动生成 word 格式的测试用例说明报 共生成 8300 多个测试用例； 告；将 Testbed/TBrun 测试后的结果导出到报 提交经确认的问题报告单 20 个； 全面达到前面列的 DO-178B A 级的相关要求； 告生成系统自动生成 word 格式的测试报告。在 最终提交 19000 多页文档； 提交的问题单经过确认，代码经过修改后，使用 顺利通过适航当局该阶段的审查； 脚本实现全自动化的回归测试。