一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为 ,确认它们是否被正确实现是集成测试的工作 .本文提出了一个基于UML协作图生成集成测试用例的方法 ,将表示设计的协作图作为测试模型 ,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径 ,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列 ,最后使用范畴 划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例 ,用于测试一个协作场景路径上的交互行为 .该方法 ,集成了白盒方法和黑盒方法 ,在覆盖所有的测试需求的前提下 ,生成的测试用例较少 .

Web应用的UML协作图建模与形式化规格说明

针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。

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

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

基于UML协作图和DFA的测试用例生成方法研究

UML协作图能够描述对象之间动态的交互关系及对象之间消息传递的过程,根据协作图中的消息流和控制流可以获取有用的场景模型并生成测试用例。本文在研究UML协作图和确定有穷自动机(DFA)之间对应关系的基础上,提出一种将UML协作图转换为DFA,再从DFA中提取测试场景生成测试用例的方法,并将该方法应用于实际项目的测试用例生成。最后,通过对结果进行数据对比和分析,说明该测试用例生成方法的有效性。

消息路径:UML协作图的复杂性度量

针对面向对象软件的复杂性,提出了一种面向UML协作图的软件动态复杂性度量方法——消息路径。基于UML协作图中角色对象间的消息流以及所定义的不同类别的信息标记,给出消息路径图的构造方法和基于消息路径图的面向对象软件动态复杂性度量模型。在该模型中,建立了一组复杂性度量指标,并对这些指标的意义进行了阐述。结合具体实例,给出了消息路径图和各项指标值,并且比较了不同实例的度量结果,表明了所提出度量方法的可行性和实用性。

基于UML的数据采集测试用例生成研究

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成.首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少.

一种基于行为的飞机远程诊断协同机制

远程故障的协同诊断已成为飞机故障诊断的必然的发展趋势。根据飞机远程故障诊断的实际需求及当前协同诊断机制中存在的缺陷,引入Multi-Agent理论,设计了诊断Agent的内部功能和体系结构,并将角色的思想与Multi-Agent相结合,提出了基于行为的主动协同机制。同时,针对该协同机制中方案设计的实现,将诊断行为抽象为UML协作图的基本元素表示,以此为基础研究了几种常见结构的协作图到Petri网的转化机制,并对其转化算法进行了实现,最后通过"发动机启动超温"的实例验证协同机制的可行性和正确性。

基于Multi-Agent理论的飞机故障协同诊断模型研究

随着我国民航事业的迅速发展,如何保障飞机的飞行安全成了日益重要的问题[1]。解决这一问题的关键就是及时准确地对故障进行分析和诊断。根据飞机远程故障诊断的实际需求及当前基于角色的协同诊断模型中存在的问题,应用Multi-Agent理论对民航飞机远程故障的协同诊断做了一些探索性研究。