基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.     

基于有限自动机的面向对象软件规约测试

面向对象方法已经逐步代替基于过程的方法成为软件开发的主流,然而面向对象软件的测试和维护代价却并没有因此而减少.虽然在面向对象软件测试方面做了很多的研究工作,但是大多数针对面向对象软件测试的研究都是针对单一类的测试,而不是更高层次上的对面向对象软件规约的测试.提出了一种基于有限自动机的测试框架以测试面向对象软件规约中存在的不完整性和不一致性.该方法有别于公式证明和模型检查,它直接依据可执行的有限自动机来执行测试而不是人工的推导公式证明也不产生大量的状态空间.     

面向对象软件测试与UML

面向对象的软件测试是提高面向对象软件可靠性、保证软件质量的关键。本文讨论了面向对象测试的层次和内容,分析了UML模型对于面向对象软件测试的支持。     

网络面向对象的软件测试技术的研究

面向对象软件测试技术的研究是面向对象开发方法不可缺少的一环.但是随着面向对象技术的引入,面向对象程序开发语言成为主流编程语言,传统的瀑布式软件工程模型受到挑战,传统的测试技术已经无法有效地进行测试.因此文中在对软件测试技术进行了综合分析的基础上,提出了面向对象的测试模型.同时对一个已实现的、具有高度可重用性和灵活性的面向多种OO语言的测试工具Panorana的系统结构进行了分析.     

基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环,是保证软件质量、提高软件可靠性的关键.类测试是面向对象软件测试的关键,类的服务的测试是面向对象软件测试中的重要内容.本文介绍了一种基于服务的类测试模型,即服务的块分支图.     

智能终端软件测试通讯模型和协议研究

在针对智能终端的软件测试中,测试主机与被测终端之间的通讯控制是测试工具体系结构的一个非常重要的组成部分.本文首先指出了目前测试工具中常见的测试用例直接控制和驱动I/O通讯过程的结构所导致的缺点.然后提出了一种新的面向对象的测试通讯模型(OTCM)来管理此类测试通讯过程.该模型使用面向对象的方法对测试通讯信道进行归纳和建模,建立测试逻辑链路模型并在此基础上设计了测试逻辑链路控制协议(TL2CP),实现了测试通讯控制的统一和多种底层通讯协议的兼容.     

面向对象的电阻应变虚拟测试系统设计与实现

提出了基于虚拟仪器技术的电阻应变虚拟测试系统的体系结构和功能模型,建立了电阻应变虚拟测试应用软件的面向对象模型,并介绍了采用LabVIEW的虚拟测试应用软件的实现方法.所提出的虚拟测试应用软件模型以及子虚拟仪器通用性强,可移植用于其他机械量虚拟测试系统和面向先进制造系统质量检测集成测试环境等的研究开发.     

一种基于面向对象测试模型的测试代码生成方法与工具

在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型;对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码;并在此基础上实现了一个微软平台上的对象测试自动化工具.     

基于Petri网的柔性制造系统作业调度研究与实现

选择面向对象的有色Petri网对FMS进行建模,研究FMS调度控制问题.本文针对柔性制造系统的特点,采用面向对象的着色Petri网建立了由工件、机床、运送和仓贮对象等组成的模型.模型是一个包括加工系统、物流系统、管理系统在内的一个完整的FMS模型.该模型由于采用了面向对象技术,具有可移植性、可扩展性的特点,并且易于用软件去实现,本文使用"映射"法,把库所映射为软件数据、变迁映射为程序函数和方法、子系统映射为软件系统基本类,从而把FMS Petri网模型转化为FMS控制管理软件程序.本文采用简易的工艺文件数据,对FMS控制管理软件运行进行了测试.通过对测试结果的分析,验证了本文所建立的FMS物流系统模型和设计的FMS柔性生产线控制管理软件的正确性和有效性.     

面向对象软件闭环测试模型探讨

参考传统软件测试模型,根据面向对象软件设计过程,结合软件测试建立了一种面向对象闭环软件测试模型。依照该测试模型,提出各测试阶段面向对象软件测试的内容、测试方法和测试技术,并对基于闭环模型的测试实施进行了讨论,为面向对象软件测试研究探索了一条新的途径。     

基于状态的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键，类测试是面向对象软件测试的关键，类的状态的测试是面向对象软件测试中的重要内容，本文介绍了基于状态转移图的类测试和基于对象动态测试模型的类测试。     

基于场景的软件测试工具系列的设计与实现

文章将场景技术用于软件测试工具系列Safepro的开发,在讨论测试工具开发共性的基础上,还兼顾个别测试工具的一些特别之处。文中简要介绍了软件测试工具的研究现状,随后给出了系统的测试场景,并基于场景分析了系统的构成模式,讨论了测试数据流模型,包括测试过程的数据流模型,数据流的性能改进,以及基于消息的数据分发和缓冲计数的应用。文章还介绍了采用Makefile规则实现测试分析过程组织的方法。     

基于面向对象技术的数据库管理系统设计

基于面向对象技术的数据库管理系统是当今软件界研究的一个热点 ,本文结合实例就系统设计中的关键技术面向对象数据模型进行深入探讨 ,并提出了面向对象数据模型向数据库结构转换的策略     

面向对象软件测试的方法研究

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量、提高软件可靠性的关键。本文在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术，提出了将对类层的测试作为基本的单元测试的思想和方法。     

面向对象软件测试的方法研究

面向对象软件测试是面向对象软件开发的不可缺少的一环,是保证软件质量、提高软件可靠性的关键。本文在分析面向对象程序设计语言对软件测试影响的基础上,讨论了面向对象软件测试的测试策略及测试技术,提出了将对类层的测试作为基本的单元测试的思想和方法。     

Oracle PL/SQL面向对象特性Web应用研究

随着计算机软件技术的不断发展,面向对象的程序设计思想正在逐步取代原有的面向过程的程序设计思想。面向对象程序设计可以大大降低建立复杂应用的开销时间,已经被应用开发人员广泛接受并付诸实践。在PL/SQL中,面向对象程序设计目前是基于对象类型来完成的。文中主要探究PL/SQL对象类型在Web上的应用,提出了应用模型,并以实例加以说明。     

软件测试过程分析

分析了传统软件测试的不足，阐述尽早开始测试的必要性，总结出系统测试过程所需经历的阶段——计划、设计、执行和评估。结合瀑布模型，分析了测试与开发并行工作的过程，在此基础上建立了软件测试阶段及其与软件开发各阶段的关系模型。     

软件内嵌探针测试方法的应用研究

软件内嵌探针测试是在探针函数模板的框架内编写被测对象，并对被测对象进行面向对象软件的常规测试，在观察预期结果与实际结果是否一致的同时，还要察看探针函数输出的信息，以确定对象的状态是否正确。本论文研究的重点在于探针函数的构成、探针函数的实现及内嵌探针测试方法的应用研究，意在构筑一个基本的应用框架，提供一种实用的测试方法。     

面向对象度量的研究

度量技术是保证软件质量的重要手段,它定量地反映了软件某一方面的特征。随着面向对象技术的发展,传统的结构化度量不再适合面向对象的软件,因此出现了不少针对面向对象程序的度量,这些度量在一定程度上反映了面向对象软件的若干方面的特征。文章详细分析了面向对象软件的主要特征,在此基础上介绍了现在常见的几组面向对象度量和它们的应用价值,并且分析了它们的不足之处。最后,提出了几个构造面向对象度量应该遵循的准则。     

软件测试技术的应用

随着软件产业的发展。软件测试已经成为软件工程的重要部分。对软件测试技术的研究与应用也成为人们关注的课题。本文以某酒店管理系统为例，如何以测试计划、测试分析的形式，介绍软件测试技术的原理、方法、过程，以及如何应用软件测试技术测试软件。