| 分布式环境下基于多UIO 的测试序列生成方法 |
| |
| 引用本文： | 刘文宇,曾红卫,缪淮扣.分布式环境下基于多UIO 的测试序列生成方法[J].上海大学学报(英文版),2008,12(5):438-443. |
| |
| 作者姓名： | 刘文宇 曾红卫 缪淮扣 |
| |
| 基金项目： | 国家自然科学基金，Open Foundation of State Key Laboratory of Software Engineering |
| |
| 摘 要： | In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine （FSM） representation of the system＇s specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.
|
| 关 键 词： | 分布式环境 多UIO 测试方法 序列生成方法 |
| 收稿时间： | 2007-07-08 |
| 修稿时间： | 2007-11-27 |
Multiple UIO-based test sequence generation for distributed systems |
| |
| LIU Wen-yu,ZENG Hong-wei,MIAO Huai-kou.Multiple UIO-based test sequence generation for distributed systems[J].Journal of Shanghai University(English Edition),2008,12(5):438-443. |
| |
| Authors: | LIU Wen-yu ZENG Hong-wei MIAO Huai-kou |
| |
| Institution: | School of Computer Engineering and Science, Shanghai University, Shanghai 200072, P. R. China |
| |
| Abstract: | In developing distributed systems, conformance testing is required to determine whether an implementation under test (IUT) conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine (FSM) representation of the system's specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method. |
| |
| Keywords: | distributed test controllability observability finite state machine (FSM) multiple UIO sequences |
| 本文献已被 维普 万方数据 SpringerLink 等数据库收录！ |
| 点击此处可从《上海大学学报(英文版)》浏览原始摘要信息 |
| 点击此处可从《上海大学学报(英文版)》下载免费的PDF全文 |
