导读:本文包含了测试覆盖度量论文开题报告文献综述及选题提纲参考文献,主要关键词:编译器测试,TTCN-3,文法测试,属性文法
测试覆盖度量论文文献综述
吴文娟[1](2009)在《TTCN-3编译器测试覆盖度量研究》一文中研究指出对编译器的测试仍以手工设计、开发、执行测试用例方式为主,效率低下且易于出错。建立在文法测试理论基础之上的测试集合生成方法——规则覆盖算法等只考虑了对被测编译器语言文法语法层次上的测试覆盖,为加强对被测语言的全面测试,语义覆盖正逐步成为研究热点。结合TTCN-3编译器的开发,提出了一种语义覆盖算法:通过属性文法的构造完成被测编译器语言的语义规则形式化,利用一种启发式搜索算法生成测试集合,实现了对被测语言语法、语义规则的双重覆盖。在语义覆盖算法中,还定义了一个包含对上下文无关文法和以属性形式表示的语义规则覆盖的测试覆盖度量准则,用于控制算法的终止。提出的语义覆盖算法不仅同时考虑了对被测语言语法、语义层面上的测试覆盖,而且,与规则覆盖算法生成固定的测试集合所不同的是,语义覆盖算法可以通过一些启发策略的制定,使测试者可以灵活控制生成的测试集合的规模和导向性,生成覆盖语言描述特定部分的测试集合。针对语义覆盖算法生成的测试集合存在仅包含诸如文法定义等黑盒信息的问题,给出了一套测试用例扩展方案,生成的带有被测编译器源码分支信息的测试用例集合,保证了条件覆盖。定义的测试覆盖度量准则、测试系统框架等对其他编译器测试具有普适性,在实际的编译器测试过程中也是可行的。(本文来源于《中国科学技术大学》期刊2009-05-11)
张彤,杨旭东[2](2001)在《对模板的测试覆盖度量》一文中研究指出分析了传统覆盖度量应用在模板函数和模板类测试时的不足,定义了新的覆盖度量。新的定义考虑了参数类型或对象所处的状态,较传统的定义更能保证测试的充分性。(本文来源于《计算机工程与应用》期刊2001年17期)
测试覆盖度量论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
分析了传统覆盖度量应用在模板函数和模板类测试时的不足,定义了新的覆盖度量。新的定义考虑了参数类型或对象所处的状态,较传统的定义更能保证测试的充分性。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试覆盖度量论文参考文献
[1].吴文娟.TTCN-3编译器测试覆盖度量研究[D].中国科学技术大学.2009
[2].张彤,杨旭东.对模板的测试覆盖度量[J].计算机工程与应用.2001