模型驱动架构中模型构造与集成策略

模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前MDA中各种模型之间是脱节的.基于统一程序设计理论UTP,将对象精化演算系统rCOS与UML结合起来,提高了UML模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统.  

对逻辑覆盖软件测试准则的公理化评估

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一组公理,然后通过检查测试准则是否满足该组公理来分析和比较相应的测试准则.描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.  

基于图的Web服务组合优化的研究

单个Web服务难以满足实际应用的需求，如何组合已有的服务，形成新的服务，已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS（Quality of Service）。对于一些提供相似功能的Web服务，服务质量是判断是否选择此服务的关键因素，组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想，针对当前服务组合存在的问题，提出了一种基于QoS的服务组合方法，并给出了构建基于QoS的Web服务组合及选择最佳服务的策略，通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时，也满足了用户对服务质量QoS的需求，实现了需求服务的优化。  

基于UML状态图测试的充分性准则

本文描述了基于UML状态图生成测试用例的充分性准则。在测试时，循环被执行一次是很不充分的，本文提出了使循环分别执行0次、1次、2次，即ZOT循环覆盖准则，在此基础上本文还提出了全ZOT路径覆盖准则，并给出了这些覆盖准则的应用，讨论了这些覆盖准则之间的包含关系。  

基于UML Statecharts的测试用例生成

直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的，提出了一种从UML statecharts图产生测试用例的方法：先把UML statecharts图转换成FREE(Flattened Regular Expression)模型图，再以FREE模型图为基础生成类的测试用例，同时，提出了FREE模型的测试覆盖准则，并提出了由FREE模型产生有限的迁移序列的算法。  

几种范畴划分测试充分性准则的比较

选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category—Partition)测试中的All—Combination、Each—Choice—Used和base—Choice—Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较，并给出一个量化的比较结果，帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。  

一种基于功能构件的Web应用建模与测试方法

Web应用与传统程序有着很大差别,后者的一些建模和测试方法不能完全适用于前者.提出了一种有效的对Web应用测试的方法.按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,并在功能上将其对应到实际的Web应用模块.用有向图表示功能构件的结构关系,用FSM表示功能构件的行为关系,用FSM的复合表示功能构件的交互.提出了完整执行序列覆盖、构件完整执行序列覆盖两个测试准则,根据这些准则生成测试用例集.为支持所提出的方法,设计了一个测试用例生成的工具原型.  

基于FSM的测试理论、方法及评估

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.  

Web应用程序建模和测试用例生成方法

根据基于组件的Web应用程序的特点，提出逻辑组件的概念。按功能将待测系统划分成逻辑组件，并在功能上将其对应到实际组件。利用有向图表示逻辑组件结构关系，自动机表示逻辑组件的行为关系，自动机的复合表示逻辑组件间的交互操作。根据复合的自动机，利用建立的操作映射表生成测试用例。分析了一个测试准则，并提出逻辑组件测试序列的覆盖度概念。  

基于ORD和FSM的Web应用的建模与测试

Web测试是保证高质量Web应用的一种有效技术.然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来.对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型.首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Diagram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型.基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明.测试引擎将测试规格说明作为输入最终产生测试报告.全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述.