结构覆盖率相关论文
根据RTCA DO-178B中对于民用飞机机载软件结构覆盖率的要求,从实践出发,给出了使用DLRA Testbed工具进行民用飞机机载软件结构覆盖......
覆盖率数据是验证工程师判定SoC验证完备程度的定性度量，为SoC验证完全性提供了保障，指明了方向．文中以SoC总线仲裁器验证为例，对其结......
针对目前测试性分析基于故障分析的现状,提出了一种基于系统结构、性能、功能的测试性定量分析方法。定义了系统设计特性覆盖测试......
以实际测试对象为例,论述软件测试工具Testbed/TBrun在嵌入式软件单元测试中的应用。介绍了软件测试工具的功能、代码插装原理、测......
验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,......
根据嵌入式软件特点，提出一种基于Tornado开发环境的嵌入式软件单元测试方法。该测试方法使用Testbed／Tbrun自动测试工具，借助Tbconfi......
