基于UML协作图的测试用例生成方法与实现

根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法.给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法.采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和实现了测试用例自动生成工具系统UMLTCG.     

基于UML状态图的测试场景生成法

提出了一种基于UML状态图的测试场景生成方法。测试场景从状态图的基本转换路径中产生,一条转换路径对应一个测试场景。文中给出了从UML状态图获得基本转换路径的算法。该算法从状态图中的初始状态到终止状态进行遍历,得到所有的基本转换路径,根据环路复杂度可得到状态图的基本路径的最大数量,即测试场景的最小数量。根据测试场景设计测试用例,可生成较少而有效的测试用例。     

基于UML顺序图的测试场景自动生成研究

UML顺序图直观地展现了对象之间的消息动态交互过程,适合于作为面向对象软件交互测试用例生成的依据。本文针对测试用例中的测试场景生成问题进行了研究,在将顺序图转化为消息交互流程图的基础上,根据对象覆盖、消息对覆盖、消息覆盖和逻辑路径覆盖等准则,分别给出了不同的测试场景生成算法,最后探讨了测试场景的健壮性。     

基于场景的车载设备测试用例自动生成方法研究

列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。     

UML活动图在组件系统测试用例生成中的应用研究

近年来，基于UML的测试成为组件系统测试的研究热点。为了从UML活动图模型中自动生成组件系统的测试用例，本文采用灰盒测试方法，给出了活动图的形式化描述。分析了活动图并发特征所引起的测试场景集数量爆炸问题，提出增加约束条件的解决方法，减少了测试场景集数量。提出了一种基于活动图的组件系统测试场景与测试用例生成方法，使自动化生成测试用例可行性有一定的提高。     

基于UML活动图的测试用例自动生成方法研究

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高。最后,讨论了从测试场景到测试用例的方法,从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。     

基于CPNs场景模型的测试用例生成技术研究

将用例场景引入面向对象的软件测试中,有利于测试设计者设计测试用例。将着色Petri网(Colored Petri Nets,CPNs)模型直观可靠的特点和较好的耦合性运用到UML用例场景的描述中,进一步给出了CPNs场景模型的集成算法,并运用变色标记捕获UML规约中的场景及更多新增的场景。同时探讨了基于CPNs场景模型的测试用例生成方法。     

一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求。围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法。     

基于UML的生成场景测试用例研究

使用UML生成场景测试用例,有利于测试者设计测试用例。使用UML的类图、状态图和顺序图来说明DHCP实例的场景测试用例的生成方法,讨论基于UML顺序图生成场景测试用例的方法,从找出场景到生成测试用例,分析与每一个场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例。结果表明,该方法生成的测试用例数量少,减少了测试工作量和测试用例的重复生成。     

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.     

CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements

This paper reports research into semi-automatic generation of scenarios for validating software-intensive system requirements. The research was undertaken as part of the ESPRIT IV 21903 CREWS long-term research project. The paper presents the underlying theoretical models of domain knowledge, computational mechanisms and user-driven dialogues needed for scenario generation. It describes how CREWS draws on theoretical results from the ESPRIT III 6353 NATURE basic research action, that is object system models which are abstractions of the fundamental features of different categories of problem domain. CREWS uses these models to generate normal course scenarios, then draws on theoretical and empirical research from cognitive science, human-computer interaction, collaborative systems and software engineering to generate alternative courses for these scenarios. The paper describes a computational mechanism for deriving use cases from object system models, simple rules to link actions in a use case, taxonomies of classes of exceptions which give rise to alternative courses in scenarios, and a computational mechanism for generation of multiple scenarios from a use case specification.     

基于Power Builder用户对象技术的战情编辑功能实现

用户对象技术是PB提供的面向对象技术的一个重要组成部分，利用用户对象技术可以实现许多用传统方法不易实现的功能。本文根据电子对抗仿真系统中战情管理模块的功能要求，详细介绍了基于PB用户对象技术实现战情编辑功能的方法。     

基于权能的黑客攻击场景建模方法

攻击场景的建模和识别能够为安全管理员提供黑客攻击过程的高层视图,并为攻击响应提供更精确的决策信息.目前,攻击场景建模已经成为网络与信息安全的热点之一.黑客攻击常常需要实施多个不同性质的攻击步骤,这些攻击步骤形成了攻击场景.黑客可以通过变异、重排、替换、分布、循环等手段产生几乎无穷的不同种攻击场景以达到攻击目的.这种攻击步骤的变异性和攻击组合的多样性是攻击场景建模的难点.研究了现有的攻击场景建模方法,提出使用权能表达的需求/提供关系来建模黑客攻击场景,该方法具有同时考虑攻击变体的层次性和攻击组合的多样性优点.     

面向装备体系对抗的想定规范化描述语言研究

基于多视图分解理论以武器装备体系对抗领域为典型应用背景,提出了相对应的公共概念模型。为了支持不同粒度的想定模型重用介绍了基于HDOSE(基于高层体系结构的面向对象分布式仿真引擎)的仿真应用进程,为想定的执行提供运行环境,并在应用层实现仿真相关的功能。针对想定存储、交换、重用和执行的需求,参考SRML语言规范,定义了支持对想定结构描述、参数定义和行为表示的想定描述语言SDL_SRML。     

基于跨场景推理的事件关系检测方法

事件关系检测是一项面向事件之间逻辑关系的自然语言处理技术。事件关系识别的核心任务是以事件为基本语义单元,通过分析事件的篇章结构信息及语义特征,实现事件逻辑关系的深层检测。该文首次建立一套事件关系检测的任务和研究体系,包括任务定义、关系体系划分、语料采集与标注、评价方法等。同时,该文提出了一种跨场景推理的事件关系检测方法,该方法认为,具有相同事件场景的“事件对”,往往具有相同的事件关系类型。该文提出的基于跨场景推理的事件关系检测方法在针对四大类事件关系类型的检测精确率为54.21%。     

基于情景分析的ECA规则提取方法研究

事件条件动作(ECA)规则的提取方法难以规范化,导致其生成过程过于复杂。为此,提出一种基于情景分析的ECA规则提取方法。定义ECA规则中事件、条件和动作的模板规范以及ECA规则的语法结构,采用情景分析法进行研究分析,并做一致性检测。实例分析结果表明,该方法能规范ECA规则的提取过程,保证ECA规则的准确性。     

“Scenario”在产品设计教学中的运用

作为决策过程中一个重要的阶段性方法,在产品设计的教学中引入"scenario"方法是非常有意义的,它以自己独特的图象表达方法,生动有趣地引导学生积极主动地思考解决问题的办法,使学生不再像以前仅凭文字描述来凭空想像,而是以更加具象的图形故事作为彼此交流的媒介。     

军事仿真想定中的数据冲突消解方法

分析军事仿真想定中的数据冲突问题,提出一种数据冲突消解方法。采用产生式规则表示法,表示军事仿真想定中的事实和规则,建立想定知识库,利用该知识库对编辑好的想定进行推理,从而排查仿真想定数据中的应用冲突。分析结果表明,该方法能发现仿真想定中的数据冲突,可作为仿真训练或评估的依据。     

本体理论及其在仿真想定校验中的应用研究

校验是仿真想定系统组成中的重要部分。该文在研究本体理论的基础上,结合本体的查询和推理机制,对基于本体的联合作战仿真想定校验进行了探讨。     

Using Scenarios to Understand the Frontiers of IS

As we arrive at the millenium, the literature is filled with predictions and forecasts of the state of affairs in the 21st century. Most of these forecasts are single point prognoses. This paper uses scenario-building ideas to describe a richer set of possible states of Information Systems in the year 2010. The scenarios are integrative and consider a set of possible events and their impacts. Two major driving forces: (1) telecommunications development and (2) social acceptance of information systems (IS) are assumed to define the scenario space. Based on these driving forces, four scenarios are created: Utopian, Dystopian, Status Quo, and Technology. The Utopian (ubiquitous telecommunications, high social acceptance of IS) and Dystopian (limited gains in telecommunications, low social acceptance of IS) scenarios are described in detail. The scenarios provide a basis for assessing the frontiers of information systems.