【摘 要】
：
基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础
【基金项目】
：
国家自然科学基金资助项目（91118007）
论文部分内容阅读
基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑盒测试和白盒测试相结合,分析不可达分支语句引入机理,并通过具体的反汇编代码实例分析来验证这种测试方法的可行性和有效性。专门针对覆盖率不可达的分析可以有效验证软件功能,发现软件缺陷,进一步提升软件质量。
其他文献
针对直升机航向动力学包含输入非线性、时变参数和主-尾旋翼之间的强耦合的特性,传统的控制方法很难实现良好的性能.提出了一种自抗扰控制器的设计方法,并设计了扩张状态观测
顺应城市发展规律,尊重城市文化历史,突出城市特色风貌,理应落实"适用、经济、绿色、美观"的建筑方针,探寻适合本地特色的城市建设路径。近日,住建部、国家发改委发布《关于
城市化的快速发展吸引大量农民离开居住地向城市迁移,造成宅基地资源的闲置浪费和粗放利用,实现宅基地使用权的合理规范流转成为盘活农村资产、实现乡村振兴的重要内容。宅基
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
针对主动降噪算法的DSP优化实现问题，通过结合FXLMS算法原理和C6000系列定点DSP体系结构特点，提出一种该算法在定点DSP上的优化方案。依据主动降噪控制流程，进行参数分析和公式
后石电厂600MW机组的锅炉是引进日本三菱重工株式会社神户造船所的MO-SSRR型眼临界直流锅炉，本文着重分析了本台锅炉在蒸汽参数选择、变压运行、螺旋管圈水冷壁、内置式汽水分
目的探讨某特别重大火灾爆炸事故眼耳部损伤伤员伤情特点。方法回顾性分析事故中某三甲医院收治的53例眼耳部损伤伤员临床资料。结果致伤原因：眼部主要为电光热灼（70.27%）,耳部
干眼是一种受多因素影响的,由泪膜和眼表疾病所导致的眼部不适症状、影响眼表的泪膜不稳定状态、伴有泪液渗透压增高和眼表炎症的、可干扰视功能的综合征。吾师谢学军主任医
近年来，学生自杀、校园暴力等突发事件的频繁发生，学校的心理健康教育和危机干预成为了大众关注的焦点。本文在介绍国外先进经验的基础上，探讨现阶段我国心理危机干预工作存在的