测试充分性相关论文
该文主要在以下两个方面进行了深入的研究:一是软件测试理论与方法;二是软件测试充分性的度量.论文综述了国内外软件测试发展动态,......
在当前数字信息技术高速发展的后PC(Post-PC)时代,随着嵌入式系统应用的深入,出现了各种各样的通用和专用嵌入式实时操作系统.如何......
软件测试的目的是发现软件中潜在的错误。当软件测试达到充分的时候，测试工作就可以停止了，这就是软件测试充分性问题。它是从软件在......
随着信息技术的发展,Web应用已渗入到生活的各个领域,政府、公司、消费者等也越来越依赖互联网。因此,确保Web应用的可靠性也变得......
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提......
研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得Markov链使用模型的......
软件测试的质量决定了软件系统是否能够按照需求可靠运行，在测试过程中运用不同的测试准则得到的测试效果也各不相同，而软件测试充分......
在分析软件可靠性测试充分性特点的基础上，提出一种多准则充分性判定方法．依据运行剖面构造系统的使用模型，通过假设检验和贝叶斯推断......
软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常......
教育软件内容测试是对教育软件根本性目标进行测试的需要，也是教育信息技术和教育软件工程研究的重点内容之一。基于测试充分性准则......
基于构件的软件开发给软件测试带来了新的挑战。现有基于构件的软件测试充分性的研究表明，集成测试时的软件测试充分性不能保证构件......
实际测试用例一般不能满足变异测试充分,但遗传算法搜索空间较大,可使用其生成变异测试充分度较高的测试用例集。适应值函数的构造......
论述了构件软件测试中的相关问题，重点讨论了构件软件的缺陷分析，构件软件的测试策略，测试充分性标准，构件测试中存在问题和挑战以及可......
软件体系结构已成为软件工程领域的研究热点。如何对软件体系结构进行自动、有效、充分的测试则是热点中的难点。总结软件体系结构......
基于有限Markov链理论,形式化的描述了软件统计测试,提出了一种频率计数算法,它能够同时解决软件Markov测试中存在的两个难题:1.建......
介绍了基于使用模型的统计测试方法，论述了使用模型的概念和特点，以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发......
研究了基于可信度的统计覆盖测试技术，以及基于统计覆盖测试技术的测试充分性，指出“以至少C的可信度确信。下一次软件测试出现新的......
随着嵌入式计算机的使用日益广泛,嵌入式实时系统的测试工作变得越来越重要。测试工作中的一个核心问题是何时能够停止测试,即如何......
软件可靠性测试技术是保证软件质量的重要研究内容,针对传统可靠性测试中测试用例生成过于随机、生成个数不可控、测试用例生成＂早......
在分析现有Markov模型的软件可靠性的充分性判别的基础上，定义了严格转移概率的概念，提出了基于严格转移概率的测试充分性判别方法。......
测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今，传统的充分性评估方法难以满足复杂软件的测试评估......
