A test case generation tool for conformance testing of SDL systems

被引：5

作者：

Bourhfir, C ^{[1
]}

Dssouli, R ^{[1
]}

Aboulhamid, E ^{[1
]}

Rico, N ^{[1
]}

机构：

[1] Univ Montreal, Dept Informat & Rech Operat, Montreal, PQ H3C 3J7, Canada

来源：

SDL'99: THE NEXT MILLENNIUM | 1999年

关键词：

CEFSM; partial product; reachability analysis; control and data flow testing; executability;

D O I：

10.1016/B978-044450228-5/50027-8

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents a set of tools for automatic executable test case and test sequence generation for a protocol modeled by an SDL system. Our methodology uses a unified method which tests an Extended Finite State Machine (EFSM) based system by using control and data flow techniques. To test an SDL system, it extracts an EFSM from each process then the system is tested by incrementally computing a partial product for each EFSM C, taking into account only transitions which influence (or are influenced by) C, and generating test cases for it. This process ends when the coverage achieved by the generated test cases is satisfactory or when the partial products for all EFSMs are tested. Experimental results show that this method can be applied to systems of practical size.

引用

页码：405 / 419

页数：15