导读:本文包含了测试断言论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:断言,测试,递归,程序,寄存器,方程,监控系统。
测试断言论文文献综述
马克西姆捷尼赫尼,捷安瑞克,莱穆德俄巴尔,塔维维卢卡斯,藤原秀雄[1]（2010）在《一种在RTL测试模式生成中验证断言再用的方法(英文)》一文中研究指出在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果.(本文来源于《上海师范大学学报(自然科学版)》期刊2010年05期）
张震宇,陈荣光,谢俊谦,胡佩锋[2]（2009）在《蜕变测试和断言检查的比较与实验研究(英文)》一文中研究指出在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.(本文来源于《软件学报》期刊2009年10期）
史再峰,姚素英,丁叁川,高静[3]（2008）在《基于扩展有限状态机和断言的总线接口协议测试平台》一文中研究指出在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷.为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平.将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中,验证结果表明,该平台可以缩短仿真验证时间大约55%～65%左右,有效地提高了验证的效率和质量.(本文来源于《天津大学学报》期刊2008年08期）
徐中伟,李海波[4]（2007）在《面向断言的测试数据生成方法及其应用》一文中研究指出提出了一种利用断言产生测试用例的白箱测试方法.该方法首先选定程序中某条语句作为目标节点,通过在目标节点的临界分支和必要分支上插入断言来限制和跟踪程序的执行,以保证程序能到达目标节点,从而生成相关测试数据.利用这种测试数据生成方法,对轨道交通列车自动监控系统软件(ATS)的部分功能模块进行单元测试,并给出测试结果.(本文来源于《同济大学学报(自然科学版)》期刊2007年05期）
刘清[5]（1981）在《一种寻找测试值断言证明程序正确的方法》一文中研究指出程序正确性证明采用程序调试虽然有利于检测程序的错误,但不能保证程序是正确的;采用程序验证虽然可以证明程序正确,但困难之处在于用户必须提出一系列的中间断言作为验证条件,而寻找这组中间断言是最困难的,也是程序验证的关键。为此,本文讨论对程序的静态分析产生的解的不变式与动态测试所获得的测试值相符合的方法,以此导出程序正确性的证明。这样既避免了程序验证所须的证明一组验证条件的长而使人腻烦的工作,也避免了程序调试必须选择样品调试数据的较难克服的困难。(本文来源于《计算机工程》期刊1981年03期）
测试断言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试断言论文参考文献
[1].马克西姆捷尼赫尼,捷安瑞克,莱穆德俄巴尔,塔维维卢卡斯,藤原秀雄.一种在RTL测试模式生成中验证断言再用的方法(英文)[J].上海师范大学学报(自然科学版).2010
[2].张震宇,陈荣光,谢俊谦,胡佩锋.蜕变测试和断言检查的比较与实验研究(英文)[J].软件学报.2009
[3].史再峰,姚素英,丁叁川,高静.基于扩展有限状态机和断言的总线接口协议测试平台[J].天津大学学报.2008
[4].徐中伟,李海波.面向断言的测试数据生成方法及其应用[J].同济大学学报(自然科学版).2007
[5].刘清.一种寻找测试值断言证明程序正确的方法[J].计算机工程.1981
论文知识图
