【摘 要】
：
深入研究嵌入式软件的白盒测试技术,提出基于宿主平台的嵌入式软件测试构架。针对语句覆盖测试,提出一种基于顺序块的插桩方法,能有效减少桩的个数,从而减少桩函数对测试过程
【机 构】
：
西安邮电大学计算机学院,西北大学信息学院
【基金项目】
：
2012陕西省自然科学基金青年项目(2012JQ8047);2013西安邮电大学校内青年基金(103-0458)
论文部分内容阅读
深入研究嵌入式软件的白盒测试技术,提出基于宿主平台的嵌入式软件测试构架。针对语句覆盖测试,提出一种基于顺序块的插桩方法,能有效减少桩的个数,从而减少桩函数对测试过程的影响。针对分支覆盖率测试,插桩后的被测程序运行在ARMulator上,桩获取器分析桩信息,得出程序运行中的实时语句覆盖率。实现了嵌入式软件测试平台ARMTest,实验证明:该模型能获取实时的语句覆盖率,有效进行白盒测试。
其他文献
考虑湖泊中影响总磷沉积过程的众多生态因子的变化过程,假定湖泊中总磷沉积过程由标准布朗运动驱动,建立了一个总磷浓度的随机扩散方程,推广确定性富营养化Vollenweider水质
辽宁地域文化是一种具有辽宁地域特色的文化存在形态,它具有浓重的关东文化的精神渊源,也是中华文化多样性的体现。它属于中华文化区域中的亚文化类型。地域文化的价值更多地
<正>习近平总书记在全国国有企业党的建设工作会议上发表重要讲话时强调:"坚持党对国有企业的领导不动摇,发挥企业党组织的领导核心和政治核心作用,保证党和国家方针政策、重
<正>口腔清洁护理用品包括牙刷、牙膏、漱口水、牙线、牙线棒(签)、牙签、舌刷、假牙清洁刷、假牙清洁片、假牙稳固剂等,主要功能是帮助清除牙齿和假牙上的牙菌斑,其中牙膏和
“项目”和“项目方法”来源于三百年前意大利皇家建筑学院，包含了以学生为中心的教育、发挥学生的学习主动性等教育思想，融合了合作学习和探究学习等最新的学习理念，具有发展学
情书这一独特的书信文体，在晚明时期，应和着当时汹涌的浪漫主义思潮被各类出版物收录并广为流传。按照一定方式辑结起来的情书具有类似于小说的可读性，而晚明世情小说的传播又十
"被怀孕"、"被捐款"、"被上网"等构式往往被统称为新兴的"被××"构式,而且通常被认为彼此的内部结构相同,属于同一构式。然而,借助构式语法中构式程序分析图和构式压制等理
随着全球化进程的深入,作为西方文化重要内容的消费主义开始影响我国的消费生活,也逐渐进入我国理论研究的视野。本文简要梳理了西方理论界有关消费主义文化的理论研究,以及
“座”为坐具,在中国古代经历了两个阶段,“席地而坐”阶段与“垂足而坐”阶段。汉代以前,因古人席地起居的生活习惯,“坐”的方式为席地而坐,“座”的形态即表现为席、茵席