论文部分内容阅读
本文介绍了基于块覆盖的软件测试方面的自动化工具SAT的总体设计与实现,详细说明了该工具的词法语法分析器、静态分析器、代码插装器等功能的具体实现.该工具实现了未覆盖代码定位,测试覆盖率与测试用例最小化的自动化分析与运算,已在实际中得到应用。最后用实例展示了SAT的功能.
一种块覆盖软件测试自动化工具的设计与实现
【摘 要】
：
本文介绍了基于块覆盖的软件测试方面的自动化工具SAT的总体设计与实现,详细说明了该工具的词法语法分析器、静态分析器、代码插装器等功能的具体实现.该工具实现了未覆盖代
【机 构】
：
厦门大学物理系,福建 厦门 361005
【出 处】
：
2008年中国智能系统工程学术大会
【发表日期】
：
2008年期
其他文献
介绍基于机器视觉的钢轨表面擦伤检测系统的研制，以及在大型钢轨探伤车上的应用。主要包括检测系统功能、组成、性能特点，以及与超声波探伤检测系统结合发挥的作用。
对沈空部队所属的61个食品加工店卫生现状调查,现将结果报告如下: 1 对象及方法 按空军统一印制的食品加工店现状调查表的9个项目,即店房布局、产品与原料卫生、店房结构卫
为提升钢轨伤损检出能力，提高钢轨探伤检测效率，满足铁路提速需要，铁道部在“八五”期间开始大量引进大型钢轨探伤车。钢轨探伤车的引进对于探伤能力的提高发挥了巨大的作用。本
为了解空军部队细菌性痢疾(菌痢)的发病情况,我们对空军1952—1994年的历年传染病月报表资料进行了统计分析,结果如下: 1 发病强度 43年来,共报告菌痢412300例,占所有报告传
以08-32捣固车发动机油的光谱监测数据为研究对象进行统计分析研究，得出发动机工作时间与Fe含量存在高度显著的线性正相关关系。得出一元线性回归方程的实际意义，可在大型养路
从超声学原理分析现役钢轨探伤车检测系统提速的理论依据，在此基础上提出一套可行的改造和实施方案，并对提速改造后的钢轨探伤车的检测情况进行分析对比。
对423名幼儿园教师的人-组织匹配与工作幸福感进行调查发现,幼儿园教师的人-组织匹配与工作幸福感均处于中等偏上水平,其中要求-能力匹配程度最高,需求-供给匹配程度最低;幼
PCR修正是MPEG2再复用器设计的关键技术之一,本文对目前再复用器中已有的PCR算法进行了分析,通过对MPEG2标准中PCR的深入分析,提出了一种MPEG2再复用器中PCR修正算法,解决了P
利用激光准直技术开发两维激光跟踪系统，延长检测基准弦的长度，并将该系统安装于08-32型捣固车上进行激光准直的起拨道作业。现场试验表明，该系统能够较好地解决线路长波不平顺
【摘要】本研究随机选取125名幼儿园新任业务管理者为研究对象，调查其胜任力水平。结果发现，幼儿园新任业务管理者的胜任力处于中等偏高水平，人际胜任力水平得分最高，业务胜任力水平得分最低，学历、教龄和园所等级与幼儿园新任业务管理者胜任力水平存在显著相关。建议幼儿园新任业务管理者应当明确角色定位，强化管理者和领导者角色;幼儿园应当规范管理者准入制度，把好岗位入门关;教育管理部门应当构建系统的培训体系，提