Dynamic Testing Method Based on Test Sequence Fail Tree

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

您当前的位置：

首页 >

文章列表页 >

Dynamic Testing Method Based on Test Sequence Fail Tree

更新时间：2025-12-08

- Dynamic Testing Method Based on Test Sequence Fail Tree
- Vol. 41, Issue 2, Pages: 149-152+249(2007)
- 作者机构：
  
  1. 中国科学技术大学计算机系,合肥,230027
  2. 安徽省计算与通讯软件重点实验室,合肥,230027
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Online First：10 February 2007，
  
  Published：2007
- 稿件说明：
移动端阅览
赵保华 1, 高存皓 1, 姜振海 1, et al. Dynamic Testing Method Based on Test Sequence Fail Tree[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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Electrothermal Coupling Research on the Evolutionary Law of Anti-Corona Performance for High-Altitude Air-Cooled Generators

Numerical Simulation of Heat-Moisture Barrier Performance of a Horizontal Air Curtain in Cold Storage

Study on the Thermodynamic Properties in the Anomalous Region of Supercritical Water

Influence of Structural Parameters on the Summer Operational Characteristics of a Three-Tower-in-One Indirect Air-Cooling System

Turbulent Kinetic Energy Dissipation Mechanism of Supercritical Carbon Dioxide Leakage Flow in a Scallop Bionic Seal Cavity

Related Author

No data

Related Institution

No data

⁰