分享到:

面向对象软件测试理论与技术的研究

进入90年代,面向对象范型(OO范型)受到了研究界和工业界的普遍重视并获得广泛应用。OO为软件测试提出了很多新问题,但当前对OO软件测试的研究还很薄弱。能否找到有效的适用于OO软件的测试技术,很大程度上决定着OO能否真正走向成功。本研究工作的第一部分提出了一种测试类的测试用例生成方法。测试一个类时,既要测试类中的单个方法,又要测试方法之间的各种可能的交互。OO范型强调的可重用性对测试工作提出了更高的要求,为了保证该类是可重用的,一个类必须在各种使用上下文中接受测试。文献[23]中提出了称为方法序列规范(Method SequenceSpecification, MtSS)的OO软件规范方法,一个类的MtSS明确定义调用该类中方法的合法顺序。作者发现MtSS能直接支持测试用例的生成,提出了基于MtSS的测试用例生成方法。为了从数量极大的可用测试用例中选取有效的测试用例,本文提出了基于划分的测试用例生成策略,并给出了3种有效的划分准  (本文共109页) 本文目录 | 阅读全文>>

华东师范大学
华东师范大学

某武器系统网络控制中心软件测试技术研究

软件测试是软件开发过程中极其重要的一环,是保证软件质量、提高软件可靠性的关键。某武器系统网络控制中心软件(简称网控软件)是“某武器系统”项目的重要组成部分,需要很高的可靠性和安全性。为了保证该软件质量,我们加强了对网控软件测试技术的研究。本文首先依据网控软件的系统组成,给出网控软件测试对象、测试特点以及面临的困难。从传统的软件测试技术出发,结合面向对象软件的特点,分析了面向对象软件技术对传统软件测试技术的影响,并从测试视角的角度对面向对象的基本概念进行了剖析,全面分析了面向对象软件的特殊性及其相应的测试策略和几种重要的测试技术。其次针对网控软件的系统结构,提出网控软件功能和程序结构的测试策略。并重点研究了网控软件类的测试方法和技术实现、火力单元队列类的测试用例生成技术、类的通用测试驱动程序的设计方法以及类集成测试一般步骤、基于ORD的类集成测试顺序分配算法和改进算法、基于UML类图的集成测试顺序分配算法自动生成技术。然后,分析了...  (本文共70页) 本文目录 | 阅读全文>>

武汉大学
武汉大学

GIS软件测试的关键问题与应用实践

随着计算机科学与技术的飞速发展,各类软件产品呈现爆炸式增长,从而对软件质量和可靠性提出了更高的要求。作为软件质量和可靠性保证最重要的技术手段,软件测试在软件开发中的地位日益重要。但是纵观GIS行业的软件测试的发展,仍处于不成熟、不完善的阶段。信息产业部与中国地理信息协会还每年举办一次GIS软件产品测试,积累了相当的经验和教训,但测试的内容主要集中在功能上,软件生产中间过程的科学性还难于检验。基于行业自身特点的测试理论和研究还是比较滞缓,软件测试的流程依然保留在原始的阶段,离标准化的地步依然很遥远。这种状态使得GIS行业的软件质量面临着潜在的危机。如何结合GIS软件自身的特点形成高效的测试机制已成为GIS行业一个亟待解决的课题。因此,研究GIS软件测试中的关键问题和技术,对软件测试过程的有序化和系统化会形成促进,为新的测试提供指导意见,使测试周期缩短,并提高软件测试精度,从而提高软件质量,具有较大的科学意义和实用价值的。基于上述原...  (本文共134页) 本文目录 | 阅读全文>>

西南大学
西南大学

基于概念格的面向对象软件修改影响分析研究

软件测试作为保证软件质量和生存周期,提高软件可靠性的重要手段,在软件开发中有着重要的作用,是软件开发周期中必不可少的环节。随着现代面向对象软件工程的发展,面向对象软件测试方法也日益显现出其重要性。由于面向对象软件开发方法引入了不同于传统软件的新特性,面向对象软件测试与面向过程软件测试相比有更多的困难。软件回归测试是软件测试的主要方法之一,它保证软件被修改后,被修改的部分按照预期目标正确运行,同时对软件的修改没有对软件的其它部分造成负面影响,没有使原本正常的功能失效。软件回归测试是代价较高的测试方法,但是在软件测试过程中又是必不可少的。如何减小回归测试用例集规模以降低回归测试代价一直是软件回归测试研究的重点。统一建模语言UML具有定义良好、易于表达、功能强大等特点,同时还提供了非常强大的图例模型。它不仅支持面向对象的分析和设计,而且支持从需求分析开始的软件开发的整个过程,这就为将UML引入到面向对象软件测试中提供了可能。UML类图...  (本文共55页) 本文目录 | 阅读全文>>

东北大学
东北大学

类的服务测试技术研究及自动化测试辅助工具的实现

软件测试是软件质量的保证。由于面向对象程序设计语言的出现,传统的测试方法已经不能满足面向对象软件测试的需要了。面向对象程序设计语言的特性增加了测试的复杂度,提高了测试的难度。软件的自动化测试,主要是发现软件修改后的错误,其中的操作步骤和自动化测试前基本上相同,这就给软件测试提供了自动化的条件。软件自动化测试主要包括事件的录取和事件的回放。事件的录取过程也就是测试工具学习的过程,在这过程中,获得对软件的操作所发生的事件,从而产生测试数据库;事件的回放就是自动执行对软件录取的整个过程。软件的自动化测试能提高测试的效率,节省了测试的时间,缩短了软件的开发周期。基于类的服务的测试有两部分组成:结构测试和功能测试。结构测试主要是基本路径测试,设计测试用例执行类的服务的每一条语句。对于类的服务结构测试,首先要使用块分支图,设计控制流图,然后确定测试的基本路径。测试用例可以使用遗传算法自动化产生。类的服务的功能测试,和传统的测试基本上一样,只...  (本文共63页) 本文目录 | 阅读全文>>

武汉理工大学
武汉理工大学

面向对象的类状态测试方法研究

随着软件应用领域的不断发展,软件测试作为一种保证软件质量的有效方法已经得到了广泛的重视。而面向对象技术的迅速发展,对软件测试技术又提出了新的要求,并使得研究面向对象软件测试技术成为当务之急。因此,本文从面向对象技术的特点出发,分析了面向对象软件测试面临的新问题,并结合UML技术,重点介绍了面向对象中类的状态的测试方法。在对类的状态进行测试的过程中,一般采用的是先将类的并发层次状态机转换为扩展有限状态机(EFSM),再生成测试序列的技术。但是,如果一个类包含的状态较多,特别是并发的状态较多时,在将并发层次状态机转换为EFSM时可能要考虑太多的全局状态,从而会出现状态爆炸的现象,所以本文提出了无意义Configuration的定理,即在一个Configuration中可能同时包含不能同时存在的两个状态s_1和s_2,对于这样的Configuration,在生成EFSM之前,就可以将此Configuration排除。本文给出了无意义C...  (本文共66页) 本文目录 | 阅读全文>>