| 基于UML Statechart语义的测试序列生成方法 |
| |
| 引用本文： | 缪力,张大方. 基于UML Statechart语义的测试序列生成方法[J]. 计算机工程与科学, 2005, 27(4): 3-5 |
| |
| 作者姓名： | 缪力 张大方 |
| |
| 作者单位： | 湖南大学计算机与通信学院,湖南,长沙,410082;湖南大学计算机与通信学院,湖南,长沙,410082 |
| |
| 基金项目： | 国家自然科学基金资助项目(60273070 ) |
| |
| 摘 要： | UML Statechart是UML的一个主要组成部分，与其他类型的Statechart相比，由于采用事件队列的调度方式，UML Statechart有着更多的不确定性，使得针对UML Statechart 模型的测试非常困难。本文给出了一个形式化的语义模型，并将Stateehart转化为一个比较简单的标志变迁系统，利用路径选择算法得到一个基于标志变迁系统的测试集，然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义，从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。
|
| 关 键 词： | UML Statechart 软件测试 测试序列生成 |
| 文章编号： | 1007-130X(2005)11-0003-03 |
| 修稿时间： | 2004-05-10 |
A Test Sequence Generation Method Based on the UML Statechart Semantics |
| |
| MIAO Li,ZHANG Da-fang. A Test Sequence Generation Method Based on the UML Statechart Semantics[J]. Computer Engineering & Science, 2005, 27(4): 3-5 |
| |
| Authors: | MIAO Li ZHANG Da-fang |
| |
| Abstract: | UML Statechart has become a popular notion for specifying complex reactive systems, especially for software systems. Due to the complex semantics of statecharts, testing statecharts is a challenging problem. The nondeterminism of event queue induces the nondeterminism of the execution path of UML statecharts. It is an important point of difficulty when we test and verify a UML statechart model. In this paper, we address the problem of generating executable test sequences from UML statecharts, formally define the UML Statechart semantics, and transform the statecharts to label transition systems, from which there are many existing methods to generate test sequences. In addition, an algorithm is given to verdict that test sequences are executable or not. |
| |
| Keywords: | UML statechart software testing test sequence generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
