导读:本文包含了易测试性论文开题报告文献综述及选题提纲参考文献，主要关键词:软件测试,软件的易测试性,合约式设计
易测试性论文文献综述
单锦辉,辛国茂,孙萍[1]（2008）在《一种新的提高软件易测试性的合约式设计方法》一文中研究指出软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。(本文来源于《计算机工程与科学》期刊2008年01期）
郎红霞,宁滨,黄友能[2]（2007）在《基于软件易测试性的CBTC区域控制器系统设计》一文中研究指出区域控制器系统是CBTC铁路运行系统中重要的一部分,对提高列车运行效率和安全起着重要的作用。首先介绍了区域控制器的工作原理和易测试性的特点,然后将易测试性方法应用于区域控制器系统的设计中。这种设计方法提高了测试效率,降低了测试成本。(本文来源于《铁道通信信号》期刊2007年12期）
汪小会[3]（2007）在《基于FPGA系统易测试性的研究》一文中研究指出FPGA在工程中应用越来越普遍,随着FPGA的设计速度提高、尺寸减小和复杂度增加,使得整个设计流程中的实时验证和调试成为当前FPGA系统的关键问题。本文重点介绍了在调试FPGA系统时遇到的问题,以及有助于提高调试效率的方法。(本文来源于《国外电子测量技术》期刊2007年05期）
单锦辉,侯姗姗[4]（2006）在《一种基于合约的构件易测试性设计方法》一文中研究指出基于构件的软件复用和开发,被认为是提高软件开发效率和质量的有效途径。构件测试是保证构件质量的重要技术手段。构件技术的新特点为构件测试带来了挑战。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。一种基于合约的构件易测试性设计方法,定义描述构件合约的巴科斯-诺尔范式,在构件的接口和内部加入合约信息,然后由工具自动将合约翻译成相应的检查代码,以便在构件运行时检查合约是否被违反;开发相应的支持工具;通过实验验证了方法的有效性。(本文来源于《载人航天》期刊2006年05期）
单锦辉,侯姗姗[5]（2006）在《一种基于合约的构件易测试性设计方法》一文中研究指出基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径。构件测试是保证构件质量的重要技术手段。构件技术的新特点为构件测试带来了挑战。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。本文提出一种基于合约的构件易测试性设计方法,定义描述构件合约的巴科斯-诺尔范式,在构件的接口和内部加入合约信息,然后由工具自动将合约翻译成相应的检查代码,以便在构件运行时检查合约是否被违反;开发相应的支持工具;通过实验验证了方法的有效性。(本文来源于《第四届中国测试学术会议论文集》期刊2006-08-01）
单锦辉,姜瑛,刘江红,辛国茂,侯姗姗[6]（2005）在《基于合约的构件易测试性设计支撑工具的设计与实现》一文中研究指出构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。(本文来源于《北京大学学报(自然科学版)》期刊2005年05期）
刘菲菲,单锦辉,姜瑛[7]（2005）在《软件的易测试性分析方法述评》一文中研究指出软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。(本文来源于《计算机科学》期刊2005年04期）
张民选,张承义,王永文,高军[8]（2002）在《针对ASIC中记忆部件的易测试性设计技术》一文中研究指出本文提出了一种简洁有效的、针对ASIC中记忆部件的易测试性设计技术 ,可消除部分不可测故障 ,提高故障覆盖率。(本文来源于《计算机工程与科学》期刊2002年04期）
易测试性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
区域控制器系统是CBTC铁路运行系统中重要的一部分,对提高列车运行效率和安全起着重要的作用。首先介绍了区域控制器的工作原理和易测试性的特点,然后将易测试性方法应用于区域控制器系统的设计中。这种设计方法提高了测试效率,降低了测试成本。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
易测试性论文参考文献
[1].单锦辉,辛国茂,孙萍.一种新的提高软件易测试性的合约式设计方法[J].计算机工程与科学.2008
[2].郎红霞,宁滨,黄友能.基于软件易测试性的CBTC区域控制器系统设计[J].铁道通信信号.2007
[3].汪小会.基于FPGA系统易测试性的研究[J].国外电子测量技术.2007
[4].单锦辉,侯姗姗.一种基于合约的构件易测试性设计方法[J].载人航天.2006
[5].单锦辉,侯姗姗.一种基于合约的构件易测试性设计方法[C].第四届中国测试学术会议论文集.2006
[6].单锦辉,姜瑛,刘江红,辛国茂,侯姗姗.基于合约的构件易测试性设计支撑工具的设计与实现[J].北京大学学报(自然科学版).2005
[7].刘菲菲,单锦辉,姜瑛.软件的易测试性分析方法述评[J].计算机科学.2005
[8].张民选,张承义,王永文,高军.针对ASIC中记忆部件的易测试性设计技术[J].计算机工程与科学.2002