【摘 要】
：
目标码覆盖测试是星载嵌入式软件测试过程的关键步骤,能够进一步保证软件测试的完整性和充分性。VTest测试工具模拟嵌入式虚拟测试平台,导入被测源代码,VTest自动分析源代码
【机 构】
：
中国电子科技集团公司第三十二研究所
论文部分内容阅读
目标码覆盖测试是星载嵌入式软件测试过程的关键步骤,能够进一步保证软件测试的完整性和充分性。VTest测试工具模拟嵌入式虚拟测试平台,导入被测源代码,VTest自动分析源代码的函数信息,对程序目标码进行插桩,执行目标码程序,统计目标码程序语句和分支覆盖信息,分析目标码的执行情况,进一步提升星载嵌入式软件质量。
其他文献
利用激光线结构扫描系统采集到的数据都是扫描线型点云数据,根据扫描线点云数据自身的拓扑关系,提出了一种增量式的三角化算法进行曲面重构,在点云数据的预处理上采用高斯滤
为烟叶香气物质形成机制的研究提供参考,以云烟87和红花大金元2个烤烟品种为试验材料,在四川6个产区采用田间试验研究烤烟旺长期、现蕾期和成熟期烟叶的脂氧合酶活性、基因表
数据库是电力信息系统中的重要基础组件,也是日常信息运维工作的重点、难点,其中目前人工定期巡检实现对Oracle数据库表空间的监测,既费时又费力,运维效率较低。本文利用DBLI
结合国内沥青路面早期破坏的主要原因 ,对路面结构组成、材料质量要求、沥青混合料配合比设计、水泥稳定碎石质量提出了建设性建议
2011年3月，一条天虹免费送盐的信息在微博引发热议，这条《东莞时报》记者发布的信息，当日便引发上千人的转发和热评。这只是天虹践行深入企业骨髓“真、诚、情、信”价值观的一
通过多年对模数式桥梁伸缩缝安装的具体实践，科学地分析了伸缩缝早期损坏成因，并提出了具体的预防措施。
采用空间梁单元对7孔(60+5×90+60)m预应力混凝土箱梁桥进行了动力分析并与现场试验结果进行比较，得出相关结论。
分析了车辆超载的严重性，并从理论上阐述了车辆超载对路面疲劳寿命的影响，以及对结构层弯拉应力的影响等。
为探究川西北高山复合茶园夏季昆虫趋黄、蓝的种群动态,以单作茶园为对照,对茶-楠竹、茶-枇杷的复合茶园中夏季昆虫进行黄、蓝诱虫板诱捕效果研究。结果表明:在高山茶园中黄