| 基于多UIO序列的协议一致性测试生成* |
| |
| 引用本文： | 刘积仁,都军.基于多UIO序列的协议一致性测试生成*[J].软件学报,1995,6(Z1):52-58. |
| |
| 作者姓名： | 刘积仁 都军 |
| |
| 作者单位： | 计算机软件国家工程研究中心，沈阳110006;计算机软件国家工程研究中心，沈阳110006 |
| |
| 摘 要： | 本文基于多UIO序列提出了一种最优化协议一致性测试生成方法．可以证明本方法生成的测试序列的长度比其它基于UIO序列的测试方法生成的测试序列短．由于本方法采用了形式叠加技术，因此生成叠加转换序列所需要的计算时间大大减少了．
|
| 关 键 词： | 协议一致性测试，有限状态机，测试序列，UIO序列． |
| 收稿时间： | 1994/1/12 0:00:00 |
| 修稿时间： | 1994/1/12 0:00:00 |
PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES |
| |
| Liu Jiren and Du Jun.PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES[J].Journal of Software,1995,6(Z1):52-58. |
| |
| Authors: | Liu Jiren and Du Jun |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
