一种基于测试序列失败树的动态测试方法

赵保华 1; 高存皓 1; 姜振海 1; 周颢 1; 2; 潘全科 1; 2

您当前的位置：

首页 >

文章列表页 >

一种基于测试序列失败树的动态测试方法

专题研究 | 更新时间：2025-12-08

- 一种基于测试序列失败树的动态测试方法
- Dynamic Testing Method Based on Test Sequence Fail Tree
- 西安交通大学学报 2007年41卷第2期页码：149-152+249
- 作者机构：
  
  1. 中国科学技术大学计算机系,合肥,230027
  2. 安徽省计算与通讯软件重点实验室,合肥,230027
- 作者简介：
- 基金信息：
  
  : 2006-06-15. 赵保华(1947～),男,教授,博士生导师. 基金项目: 国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金资助项目(60602016,60241004);国家重点基础研究发展规划资助项目(2003CB314801);华为基金资助项目(YJCB2006044TS)
- DOI：
  中图分类号： TP311
- 网络首发：2007-02-10，
  
  纸质出版：2007
- 稿件说明：
移动端阅览
赵保华 1, 高存皓 1, 姜振海 1, 等. 一种基于测试序列失败树的动态测试方法[J]. 西安交通大学学报, 2007,41(2):149-152+249.

赵保华 1, 高存皓 1, 姜振海 1, et al. Dynamic Testing Method Based on Test Sequence Fail Tree[J]. 2007, 41(2): 149-152+249.
赵保华 1, 高存皓 1, 姜振海 1, 等. 一种基于测试序列失败树的动态测试方法[J]. 西安交通大学学报, 2007,41(2):149-152+249. DOI：

赵保华 1, 高存皓 1, 姜振海 1, et al. Dynamic Testing Method Based on Test Sequence Fail Tree[J]. 2007, 41(2): 149-152+249. DOI：

摘要

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集

而实际测试范围可能被缩小

同时测试结果受到测试序列间、测试序列内的影响等问题

提出了一种构造测试序列失败树(TSFT)并用其指导动态测试的方法.该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响

通过TSFT指导测试序列的动态执行

同时还考虑了引导序列和验证序列对测试结果的影响

在避开TSFT的前提下

可在引导序列和验证序列集合中进行搜索和替换

动态地生成新的有效测试序列.实验结果表明

所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响

较明显地提高了实际的测试效率和测试覆盖率.

Abstract

The common methods of the communication protocol conformance testing include two steps: generate test suite

and execute the test suite in a static order. These methods may contain the problem of reducing the actual range of testing and the influence caused by other test sequence. A method of alterable test suite is presented

which considers the dependence of different test sequences and the effect caused by the leading sequence and verifying sequence on the test results The test sequence fail tree(TSFT)is used in the method

not only for guiding the dynamic execution of the test cases but also for searching and replacing in leading sequence and verifying sequence. The method generates valid test sequences in testing process dynamically

avoids the influence of fault transition on testing result of correct transition and will improve the test efficiency and test coverage.

关键词

Keywords

references

Lai R. A survey of communication protocol testing [J]. Journal of Systems and Software, 2002,62(1): 21-46.

Bowen J P, Bogdanov K. Fortest: formal methods and testing(2002)[C]∥Proceedings of 26th IEEE Annual International Computer Software and Applications Conference. Los Alamitos, USA: IEEE Computer Society, 2002:91-101.

ISO. ISO 9646-2 Information processing systems, open system interconnection, OSI conformance testing methodology and framework, part 2: abstract test suite specification[S]. Geneva, Switzerland: ISO,1994.

Dahbura A T, Sabnan K, Uyar Ü M. Formal methods for generating protocol conformance test sequences [J]. Proceedings of the IEEE, 1990, 78(8):1317-1326.

Bochmann G V, Das G, Dssouli A, et al. Fault models in testing [C]∥Proceedings of the IFIP IV International Workshop on Protocol Test Systems. Leidschendam, Netherlands: North-Holland, 1991:17-30.

郭雄辉,赵保华,钱兰.被动测试中的错误诊断算法[J].中国科学技术大学学报,2005,35(3):385-391.

Guo Xionghui, Zhao Baohua, Qian Lan. Fault diagnosis in passive testing [J]. Journal of University of Science and Technology of China, 2005,35(3):385-391.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

多工况下离心压气机叶轮-机匣一体联合设计优化

不同板叠材料热声热机能量转换过程数值模拟研究

三塔合一间接空冷系统结构参数对夏季运行特性的影响研究

超临界水异常区域热力学特性研究

语义区分和子图整合驱动的知识图谱表示学习方法