ATML测试流程信息的形式化描述

自动测试描述语言(ATML)用于对ATS相关测试信息的标准化描述,这些信息以XML格式表示,其中包含对测试流程的描述.在自动生成测试程序过程中,需要采用编译技术将ATML文档转换为测试程序,要求输入的文件必须采用形式化描述,因此需要将XML格式表示的测试流程信息转换为形式化描述.在研究ATML中测试流程信息结构和实际含义基础上,设计了表示测试流程信息的形式化描述语言.实践表明,该形式化描述语言可以实现测试流程信息的形式化描述,满足测试程序自动生成的要求.     

基于一致性测试理论的Statechart描述的测试用例自动生成

本文研究Statechart描述的测试语义和测试用例的自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语...     

Mobile IPv6 Home Agent协议一致性测试集的设计与实现

描述了Mobile IPv6 HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。     

基于VHDL有限状态机控制器的设计方法

有限状态机作为形式化描述方法具有独特优点,在利用VHDL进行电子系统控制功能的设计和实现中,有限状态机已成为有力的手段和途径。通过一个循环控制器的设计实例,说明了利用有限状态机的基本流程和方法,并给出了程序与仿真结果。     

基于SDL和MSC模型的一致性测试生成方法

本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发，用形式化的语言定义测试目的和测试组，通过本文提出的算法自动生成一致性测试套。     

基于时序描述逻辑的UML状态图语义

将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范——时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性。     

基于HOL4的形式化方法

针对计算机系统设计的正确性问题,研究了一种在测试空间上完备的形式化方法,探讨了硬件系统在定理证明器HOL4中进行形式化验证的一般方法,其中包括如何采用高阶逻辑形式化描述系统的实现与规范,以及在HOL4中证明目标的一般过程.同时,以乘法器为实例,提出一种功能分解法对需要分析的电路进行形式化建模,并对模型的性质在HOL4中进行推理与验证,从而证明了乘法器电路设计的模型满足所提取的性质.     

PPP协议一致性测试集生成方法研究

测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块.     

基于输入/输出动作的协议形式化描述和测试用例生成方法

通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述：首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。     

信息系统残留风险动态管理方法研究

本文在对残留风险需要动态管理分析的基础上,提出了一种残留风险动态管理方案。对其进行了流程和形式化描述,并对流程做了进一步的分析。实例分析,该方案能很好的实现残留风险的动态管理。     

基于工作流技术的软件测试流程定义与监控*

阐述了软件测试流程的相关概念,论述了基于工作流技术实现软件测试流程定义与监控的概念模型,详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案.     

工作流网过程实例调度方法研究

为了解决工作流网过程实例在分布式工作流管理系统中的调度问题,采用过程定义分割服务对进入工作流管理系统的过程定义进行实例化,同时将整体实例的逻辑结构进行模块分割,并将各个模块绑定到分布的工作流机上,由过程实例调度服务负责模块之间的调度,协调模块之间的调度关系.通过示例表明,这种调度方法实用有效,简化了过程实例在分布工作流...     

基于仿真卡的通用1553B总线测试软件设计

1553B总线通信是航天器终端设备的重要功能,在研制各阶段,对设备的总线通信功能进行测试是必不可少的。基于总线仿真卡进行二次开发,提出一种通用1553B总线测试软件设计方法,采用总线消息描述文件和设备参数描述文件分别描述总线消息和设备参数,设计通用程序模块,使软件代码不依赖总线消息或设备参数的具体定义。所述方法已在某航天器多个分系统测试中得以应用。     

一种改进的基于模板的工作流过程定义方法

随着工作流技术在企业业务流程管理中的广泛应用,人们对工作流管理系统的描述能力和动态变更能力提出了更高的要求。针对目前的工作流过程定义方法在这两个方面的不足,本文提出了一种基于模板机制的工作流过程定义方法。该方法在现有的工作流过程定义模型的基础上,加入了新的过程模板和活动接口元素。本文由此扩展了工作流过程定义语言,增加了支持模板描述的机制。实际应用的结果表明,该方法和现有的工作流过程定义方法相比,显著提高了模型描述能力,使得过程模型具有了较强的可重用性和可扩展性,并具备了一定的动态变更能力。     

基于对象的角色工作流模型研究

工作流是流程集成的有效方法，但工作流模型在描述复杂的流程时语义和柔性不足，导致实用中工作流模型的仿真分析和运行能力欠佳；另一方面，对象技术作为一种很有潜力的流程建模方法，可以改善工作流的描述。它与工作流的结合，将有助于上述问题的解决。文章借助对象技术，分析了面向角色的工作流模型，并在此基础上讨论了其实现。     

一种基于模式的服务工作流个性化定制方法

针对业务复杂多变,用户目标逐步明确的特点,提出一种面向用户需求的动态服 务工作流构建和实例化方法。首先构造服务流程模式,将业务知识和工作流相结合,作为服务 工作流的知识描述,实现对业务领域知识和与之适应的服务流程的抽象和规范;基于服务流程 模式,利用多层次匹配构造多粒度抽象服务组织模型,实现服务工作流的业务逻辑定制;然后, 利用QoS 分析进行具体服务选择,实现服务实例定制,最后通过一个应急处理示例来说明此 方法的应用。     

基于XML的可适应性工作流系统研究

可适应性是工作流系统能否成功应用的重要因素。本文提出一个基于XNL的可适应性工作流系统模型,并从工作流流程定义、过程实例化、客户端界面开发等几个方面对该模型进行了探讨。     

工作流模型检测研究

研究了利用模型检测技术对WPDL描述的工作流模型的正确性的检测方法，提出了工作流模型的正确性检测指标及其CTL*公式描述，以及博弈算法实现工作流模型的正确性检测，该方法的特点是具有较强的检测指标描述能力及高效的检测算法。     

一种生产线架构中的工作流过程定义复用方法

针对工作流管理系统在实际应用中面临的过程定义低效、复杂的问题,借鉴软件复用的思想,提出了一种生产线架构下的工作流过程定义复用方法.该方法建立在领域业务本体和工作流模板这两类可复用资产之上,尝试建立特定领域工作流过程定义的复用机制,以提高过程定义的效率.着重探讨了可复用资产的构建、描述和检索等问题.介绍了基于复用的工作流过程定义方法,并开发了相应的实用工具以验证该方法的有效性.     

Response to Jiau et al.'s comments

The consistency problems in UML models and related software processes can be very complex. First, although UML supports a modeling process that should yield inter and intraconsistent models, the meaning of the UML dependencies and their specializations is not precisely defined and, for this reason, many inconsistencies may appear in their models and processes. Precise definitions would form a basis for methods to detect and analyze consistency problems related to UML dependencies and relationships, as well as problems related to software processes described in UML. In addition, we are using the UML object constraint language (OCL) to describe constraints related to the framework instantiation process. OCL is recognized as a limited language in some aspects for expressing well-formedness rules. We have presented a method (T.C. Oliveira et al., 2004) that works in the case of consistent rules and consistent instantiation processes.