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