导读:本文包含了测试程序生成器论文开题报告文献综述及选题提纲参考文献，主要关键词:有限状态机,指令树,模拟系统,微处理器
测试程序生成器论文文献综述
刘志强,汪东升,郑纬民[1]（2005）在《随机测试程序生成器研究》一文中研究指出随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整个被测处理器的可能行为,具有简单和高效的特点。给出了测试的统计数据。随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果。(本文来源于《计算机工程与设计》期刊2005年02期）
王惊雷,汪东升[2]（2004）在《微处理器随机测试程序生成器》一文中研究指出CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证。详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法,特别是利用分层的CSP约束网络实现了程序结构的控制。(本文来源于《计算机工程与设计》期刊2004年09期）
刘志强[3]（2004）在《微处理器随机测试程序生成器研究与实现》一文中研究指出验证工作是处理器设计中必不可少的一步。如何自动的、全面的对处理器进行测试一直是验证工作的重点。随机测试程序是这样一类工具,它通过按照一定的启发信息生成随机指令序列,能够构造出其他测试方法难以生成出来的各种指令组合情况,同时能达到比较好的测试强度和较高的覆盖率。随机测试是处理器验证工作研究的重点。在该篇文章中,将详细介绍一个用于处理器功能验证的随机测试程序生成器(RTPG)的实现机制。它的显着特点:⑴此生成器采用模块化的设计,具有很好的可扩展性。⑵采用多个状态机来抽象整个被测处理器的可能行为,具有简单,高效的特点。每一个状态机代表处理器的一个功能部件,如果处理器扩充功能部件,只需要增加对应部件的状态机。⑶对跳转指令有很好的支持,能够处理跳转指令的各种情况。同时,由该生成器生成的测试程序具有如下特点:⑴不会有死循环的出现。⑵可以控制的数据相关检测。⑶不会使处理器进入非法的状态。⑷可变的测试程序长度。⑸对每一条指令都连接有一个测试覆盖率的数组,可以指导对指令引起的各种边界情况进行测试,从而提高了测试程序的效率。⑹由于每一个功能模块都抽象成为一个状态机,这个状态机用于指导生成特定的指令序列来对该功能模块进行测试。也即可以生成特定的指令序列,来对某一个功能模块进行测试。文章的最后,我们给出了一小部分该随机测试生成器所取得的测试成果。该生成器在对清华大学具有自主知识产权的微处理器的测试过程中发挥了积极的作用。(本文来源于《清华大学》期刊2004-06-01）
胡正国,朱志强[4]（1993）在《一个测试程序自动生成器的设计与实现》一文中研究指出本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的程序,而且还可按用户要求生成具有某种语法现象的程序,另外,该生成器在生成策略、生成算法及推导机制等方面也有自己显着的特色。(本文来源于《软件学报》期刊1993年05期）
测试程序生成器论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证。详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法,特别是利用分层的CSP约束网络实现了程序结构的控制。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试程序生成器论文参考文献
[1].刘志强,汪东升,郑纬民.随机测试程序生成器研究[J].计算机工程与设计.2005
[2].王惊雷,汪东升.微处理器随机测试程序生成器[J].计算机工程与设计.2004
[3].刘志强.微处理器随机测试程序生成器研究与实现[D].清华大学.2004
[4].胡正国,朱志强.一个测试程序自动生成器的设计与实现[J].软件学报.1993