检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科学技术大学电子工程与信息科学系,安徽合肥230027
出 处:《通信学报》2003年第8期72-77,共6页Journal on Communications
基 金:自然科学基金重大研究计划项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家"863"计划基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支
摘 要:介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列,错误覆盖率和测试效率都得到了显著的提高。This paper introduces a graph conversion algorithm considering the semi -controllable interfaces and application in conformance testing for H.245 protocol for some communication product. It remarkably increases the number of testable transitions,but also makes conventional methods of test sequence generation in conformance testing available for the converted EFSM (extended finite state machine). The fault coverage and the test efficiency are increased consequently.
关 键 词:一致性测试 嵌入协议测试 半可控接口 扩展的有限状态机
分 类 号:TN915.04[电子电信—通信与信息系统]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.20