题名: | 一种简化协议路径测试的方法 |
作者: | 蒙移发
; 徐惠民
; 高强
|
关键词: | 测试例,路径空间,状态图,基本路径集,缺省边,生成树,线性无关
|
刊名: | 计算机工程
|
发表日期: | 2002
|
期: | 10, 页:39-40,122 | 收录类别: | cnki
|
部门归属: | 北京邮电大学,北京邮电大学,中国科学院软件所 125信箱北京100876,125信箱北京100876,北京100086
|
摘要: | 在协议测试中,设计测试例是主要工作之一,测试例包括了对状态错和数据错的测试。测试状态错要求对状态图中路径进行遍历。基于向量空间的思想,设计了一个生成基本路径集的算法,使得状态图中任何路径都可由基本路径通过线性组合生成,以达到简化协议路径测试之目的,并对此加以了证明。 |
内容类型: | 期刊论文
|
URI标识: | http://ir.iscas.ac.cn/handle/311060/13340
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
一种简化协议路径测试的方法.pdf(244KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
蒙移发,徐惠民,高强. 一种简化协议路径测试的方法[J]. 计算机工程,2002-01-01(10):39-40,122.
|
|
|