测试准则相关论文
随着技术的发展,在航天领域,软件在型号系统中得到了广泛的应用。软件失效会直接导致严重的事故甚至灾难。为提高软件的可靠性,对......
随着软件规模的不断扩大，软件错误也越来越容易产生。尽早地检测软件中的错误是软件开发过程中的一个重要任务，也是降低软件开发成本......
随着计算机网络的发展和普及,网络入侵的手法日益复杂化和隐蔽化,传统的入侵检测方法的缺陷越来越明显。为了提高入侵检测系统检测......
一直以来，协议一致性测试是网络协议工程学中研究的热点。如何描述协议，并根据协议描述生成测试用例，是协议一致性测试领域中的关键问......
结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础......
可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模......
提出了一种从用户角度以重构Kripke结构建模并测试Web应用的方法。Web应用中的网页、构件及其关系被看成是原子命题,测试覆盖准则......
软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义，对于测试充分性准则使用具有指导意义，Ｗｅｙｕｋｅｒ于１９８４年提出了Ｒａｐｐｓ－Ｗｅｙｕｋｅｒ的ａｌｌ－ｕｓｅｓ，ａｌｌ－ｐ－ｕｓｅｓ／ｓｏｍｅ－ｃ－ｕｓｅｓ，ａｌｌ－ｃ－ｕｓｅｓ．ｓｏｍｅ－ｐ－ｕｓｅｓ和ａｌｌ－ｐ－ｕｓｅｓ准则的......
软件测试是保证软件质量的关键步骤,它在软件生命周期中横跨两个阶段,即单元测试和综合测试.软件测试的目的与而软件工程所以其他......
测试准则的有效性是软件质量保障的一个重要问题，但至今仍没有一个有效的度量方法．已有的度量对于全面表示测试效果、提高软件质量的......
随着Web技术的不断发展，传统程序的某些建模和测试方法难以适用于现代Web的应用。为了产生更有效的测试用例，本文以Web应用为研究对......
软件测试充分性准则是决定一个软件系统能否被充分测试的规则，而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测......
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题，提出一种基于π演算的软件体系结构测试方法......
提出一种基于状态图的测试路径自动生成算法，该算法从状态图的初始状态到终止状态进行遍历，可以得到一组路径，由该组路径生成的测试用......
统一建模语言(Unified Modeling Language,UML)是一种描述能力强大且涵义直观的可视化建模语言,它提供多种图元从不同角度和应用层......
在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。随着多核处理器和并行分布式系统的不断发展,并发程序设计方法受到......
构件组装是基于构件软件开发的核心技术,构件必须通过组装才能构造新的应用系统。而为了使组装成为可能,一个构件必须依附于一种特......
为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相......
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统......
为了保证软件功能测试高效、顺利进行,防范和抵御可能出现的风险,必须制定有效的功能测试计划。以作者多年的测试实践和测试经验为......
软件测试是保证软件质量和可靠性的重要手段,在这方面发挥着其它方法不可替代的作用。然而,软件测试是一个复杂的过程,需要耗费巨......
形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动......
随着信息技术的发展，软件的规模不断扩大，如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件质量的关键技......
随着Internet的普及以及组件、中间件和Web Services等技术的迅速发展以及Web的广泛应用,Web应用的可靠性和质量保证成为一个非常......
基于规格说明的测试可以在不需要了解软件程序代码的情况下对软件进行功能测试．判定是形式规格说明中用于描述前、后置条件的主要形......
Web应用与传统程序有着很大差别，后者的一些建模和测试方法不能完全适用于前者。提出了一种有效的对Web应用测试的方法。按功能将We......
