结构覆盖率相关论文
根据RTCA DO-178B中对于民用飞机机载软件结构覆盖率的要求,从实践出发,给出了使用DLRA Testbed工具进行民用飞机机载软件结构覆盖......
覆盖率数据是验证工程师判定SoC验证完备程度的定性度量，为SoC验证完全性提供了保障，指明了方向．文中以SoC总线仲裁器验证为例，对其结......
机载软件在某些特定情况下应该分析源代码和目标代码之间的对应关系,RTCA/DO-178B第6.4.4.2节指出：机载软件结构覆盖率分析可以在源......
针对目前测试性分析基于故障分析的现状,提出了一种基于系统结构、性能、功能的测试性定量分析方法。定义了系统设计特性覆盖测试......
以实际测试对象为例,论述软件测试工具Testbed/TBrun在嵌入式软件单元测试中的应用。介绍了软件测试工具的功能、代码插装原理、测......
<正>通过采用IEC 62 304的高级软件过程,公司能够更好地开发安全的产品,避免代价高昂的召回,确保相同的开发过程能够巩固维护和升......
验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,......
根据嵌入式软件特点，提出一种基于Tornado开发环境的嵌入式软件单元测试方法。该测试方法使用Testbed／Tbrun自动测试工具，借助Tbconfi......
