覆盖准则相关论文
回归测试作为软件生命周期的一个组成部分,在整个软件测试过程中占有很大的工作量比重,特别是GUI(Graphical User Interface)软件......
GUI测试包含以下三个最主要的要素:覆盖准则、测试预测、测试用例或测试集.本文将总结GUI测试中影响GUI测试效率的主要因素,并对今......
基于构件的软件系统的测试问题，应该从构件的提供者和构件的使用者两个角度来看。当构件从提供者交付到使用者时，往往假定单个构......
随着组件技术在软件开发中日益广泛的应用,对软件系统质量的要求也不断提高。因此,保证软件系统可靠性的软件测试技术,也面临着不......
随着信息技术的发展,软件规模的不断扩大,如何保证和提高软件质量成为软件界最为关心的问题之一。近年来,Web服务的松散藕合性、简......
GUI是用户和计算机系统交互的接口,所以,对GUI测试显得非常重要,因为GUI代码在整个应用程序中占据了越来越大的比例而且由于GUI是......
SOA是当前软件发展的大趋势，而这其中最核心的技术就是Web服务。随着Web服务技术不断地发展和广泛的应用，需要运用测试技术来保障Web......
测试和调试是保证软件质量的重要方法，目前，许多重要的测试和调试方法均以执行距离的度量为基础，然而现有的基于执行距离度量的调试和......
随着时代的发展,GUI (Graphical User Interface,图形用户接口)已经发展成为了软件领域必不可少的技术,大部分的软件都使用了GUI,......
随着软件开发技术的成熟与应用的普及，软件质量的保证面临新的挑战，同时也彰显了软件测试的重要性。近年来，面向对象的技术的发展，使基......
如今软件测试并不像传统的测试技术那样,将测试视为软件编码后的第一个环节,伴随着软件工程的不断发展,软件测试在软件生命周期每......
模型检验输出的反例提供了一种自动产生测试用例的有效途径，提出了用模型检验进行构件数据流测试的方法.用构件状态机描述构件的外......
本文首先提出一种可观测性信息的表征方式.在此基础上,提出基于可观测性代码覆盖准则的激励生成方法,该方法以未观测代码的分布为......
路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数日太大,以至实际难以实现.路径划分是路径覆盖技术的一个折......
Web服务广泛应用于复杂信息系统的构建.为了保证 Web 服务的质量,目前已有大量的工作致力于 Web 服务测试技术的研究,其中,基于规......
旨在研究运用统一建模语言（UML）活动图生成测试场景的方法。首先对UML活动图进行了形式化定义,确定了一系列覆盖准则。然后,根据覆盖......
设计验证是芯片设计过程中保证其可靠性的重要环节。其中,模拟是实际中最主要的验证方法。根据应用目的的不同,可以将模拟验证技术......
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测......
本文描述了基于UML状态图生成测试用例的充分性准则.在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2......
针对软件开发过程中测试自动化程度低的问题，在研究基于模型的测试用例生成技术的基础上，提出了一种基于UML2．0序列图与用例描述的测......
为评估图形用户界面(GUI)测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则.用有向图中的顶点表示GUI中的窗口,弧表示用户......
基于形式化描述的验证测试是高安全系统的有效评估方法，而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试......
针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性......
针对目前测试模型中未考虑对象间交互关系产生的条件、循环消息类型造成产生的测试场景覆盖率低的问题,提出基于UML动态视图构造测......
针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML......
用功能图的方法表示GUI可以有效的提高GUI测试效率。该文给出了基于功能图的GUI形式化提取方法和覆盖准则,设计了相应的覆盖率算法......
针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于......
有效和高效的程序测试是软件测试中的一个重要任务。如果被测试的程序较为复杂,选择一个覆盖准则需要最少的测试用例数量,以尽量减......
如何通过各应用系统之间的逻辑关系将嵌入式实时系统有序的集成起来,是嵌入式系统测试领域的热点问题。针对这一问题,提出一种以多......
为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法......
结合传统软件测试与面向对象软件测试的方法和技术,针对现代管理信息系统软件的新特性,讨论基于可视化编程环境的软件测试模型.同......
根据组件软件的特征，提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则，并针对协作图中条件、并发和循环消息流......
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移......
