面向对象软件测试相关论文
本文提出的类数据流测试模型,通过类范围的数据流分析、方法范围内的符号执行和自动演绎三个步骤来产生测试用例,即对象的方法激活......
介绍了面向对象方法开发的软件测试的基本概念,分析了面向对象程序的特点及其对软件测试的影响,提出了面向对象软件的测试模型,并......
该文提出了软件测试探针的概念,并探讨了利用软件测试探针实现面向对象软件的测试方法.针对面向对象软件的测试,人们给出了三种类......
在该文中,研究人员给出了一个层次化的,并行的,通信的对象状态测试模型——对象状态图(OSD),用以捕捉面向对象软件中的对象状态和......
该文首先介绍了面向对象方法引入的特性如封装、继承、多态等给测试面向对象软件带来的困难;然后按照软件测试步骤详细阐述了面向......
面向对象软件测试是面向对象软件开发中非常重要的一个环节,是保证软件质量、提高软件可靠性的关键。面向对象技术中的封装、继承......
目前,在面向对象软件测试中,如何建立合适的程序模型、提高发现错误的能力等方面还没有得到解决。该文研究了对象类数据流建模技术,首......
集成测试是面向对象软件测试中的重要环节。UML不仅在软件分析领域具有重要作用,同时是软件测试的有力依据。在本文中,提出了一种......
软件工程的发展,使具有图形界面的面向对象软件开发方法越来越得到广泛的应用.分析了该类软件开发方法的固有特点及其在软件工程不......
UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属......
针对目前面向对象软件的测试方法较少且效率不高的问题,提出将基于ART(adaptive random testing)思想的限制性随机测试RRT(restric......
根据一种软件可测性设计技术-软件内建自测试的实施方案,该文提出了一种针对C++类测试的测试描述语言TDL,以提高C++类测试数据的存......
面向对象软件测试类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个......
软件测试是软件工程的一个重要阶段。随着软件工程的发展,软件测试的地位变得日益重要。测试用例的设计和编制是软件测试最重要的......
形式化方法是目前兴起的一种很重要的软件开发方法。代数规格说明可以应用于形式化方法。它用一组代数公理来刻画对类操作行为的需......
随着面向对象软件开发方法的广泛应用,面向对象软件测试方法也得到了人们的广泛重视。由于面向对象自身的特征,传统的测试方法已不再......