UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

扩展UML状态图在状态时限描述中的应用

由于常规的UML状态图难以描述对象的状态时限，故需在建模时对其进行扩展。在概述UML状态图模型及扩展机制的基础上，以期刊编辑部稿件状态时限描述为例，探讨如何通过持续时间、最早开始时间、最早完成时间、最迟开始时间、最迟完成时间、总时差、自由时差等时间参数扩展UML状态图，以增强UML状态图描述对象活动及状态时限的能力。     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

时序电路分析中状态表与状态图输出的合理描述

在现有各版本的数字电子技术教材中,在时序电路分析中状态表与状态图的输出状态均存在着概念描述不清晰的现象。为了有助于时序电路的分析与理解,本文完善了状态表的描述方法,修改了状态图的绘制原则。补充与完善后的状态表与状态图在其输出的概念描述上更加直观与清晰。     

基于UML模型的组件集成测试方法

统一建模语言（UML）已经广泛应用于基于组件的软件开发过程中.许多UML模型,如交互图、状态图和组件图等从不同的角度刻画了组件的行为,可将其用于基于组件的软件系统的测试.本文首先提出了一个基于UML模型的测试框架,并对基于UML模型的组件集成测试方法进行了比较,然后将基于协作图的组件测试技术应用于ATC系统的集成测试,取得较好效果.     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

基于UML状态图的协议文本转换技术

利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的.     

一种基于Object-Z规格说明的集成测试用例生成方法

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.     

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。     

MSMAM: Testing resources allocation, obtaining non-functional indexes based on functional testing results, and evaluating security

Security testing is a key technology for software security.The testing results can reflect the relationship between software testing and software security,and they can help program designers for evaluating and improving software security.However,it is difficult to describe by mathematics the relationship between the results of software functional testing and software nonfunctional security indexes.In this paper,we propose a mathematics model(MSMAM) based on principal component analysis and multiattribute utility theory.This model can get nonfunctional security indexes by analyzing quantized results of functional tests.It can also evaluate software security and guide the effective allocation of testing resources in the process of software testing.The feasibility and effectiveness of MSMAM is verified by experiments.     

基于UML的面向对象的软件测试方法

分析UML状态图的组成、标准事件和嵌套、并发的优点,给出利用UML状态图产生测试用例的软件测试方法.该方法可以把状态的复杂度控制在和状态属性相关的线性级别,可以尽早发现与状态相关的错误.     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于软件功能点实施测试的方法

软件测试是贯穿整个软件开发生命周期、对软件产品(包括阶段性产品)进行验证和确认的活动过程。目前有很多衡量软件的标准和进行测试的工具。如何才能快速的实施完整的软件测试是对没有经验的测试人员的挑战。本文是在从事测试工作的基础上,结合实例来阐述进行软件功能测试的基本原理和方法,以达到快速开展软件的测试工作。     

软件质量存在的问题及改进方法

阐述了软件质量的度量方法，并据此对软件质量存在的问题进行了分析和分类。通过对软件质量的度量，总结了软件在易使用性、容错性、易安装性及文档资料方面容易出现的3l类问题。给出了对软件进行测试的实例。实践表明，这种软件质量缺陷分类方法可操作性强，对软件开发人员有很大的帮助，有利于提高软件的质量。     

一种通信有限状态机的被动测试及其错误诊断

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题，提出了一种被动测试错误检测方法．该方法在外部通道放置观察者，并使用了全局状态描述系统的当前可能状态，利用了观察到的输入输出信息，同时结合了模型转换推测出系统的状态变迁．基于该检测方法又设计出一种层次化的错误诊断算法，首先记录被动检测过程中系统经历的转换轨迹，用变异分析方法生成候选诊断，然后通过被动观察来降低错误集合的规模，最后使用区分序列和交叉判定进行错误定位．通过一个实际的H．245通信协议的实验表明，所提算法能够在有限观察步骤内检测出被测系统中的错误，并能有效定位检测错误，其回溯算法也可以显著缩短错误症状序列的长度．     

Worst-Input Mutation Approach to Web Services Vulnerability Testing Based on SOAP Messages

The growing popularity and application of Web services have led to increased attention regarding the vulnerability of software based on these services. Vulnerability testing examines the trustworthiness and reduces the security risks of software systems. This paper proposes a worst-input mutation approach for testing Web service vulnerability based on Simple Object Access Protocol （SOAP） messages. Based on characteristics of SOAP messages, the proposed approach uses the farthest neighbor concept to guide generation of the test suite. The corresponding automatic test case generation algorithm, namely, the Test Case generation based on the Farthest Neighbor （TCFN）, is also presented. The method involves partitioning the input domain into sub-domains according to the number and type of SOAP message parameters in the TCFN, selecting the candidate test case whose distance is the farthest from all executed test cases, and applying it to test the Web service. We also implement and describe a prototype Web service vulnerability testing tool. The tool was applied to the testing of Web services on the Internet. The experimental results show that the proposed approach can find more vulnerability faults than other related approaches.     

嵌入式软件系统测试模型的研究与实现

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题.针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架.然后针对模型的各个部分,提出了具体的实现方案.最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率.帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的.     

基于UML协作图的集成测试算法

UML是软件建模的一种工具,利用UML协作图可描绘在特定上下文中一组相关对象之间的协作关系.文章提出一个依据协作图不同种类消息遍历测试路径的算法,用JAVA语言实现,并将其用在ATM机中确认PIN的实例中.