๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Test case generation in practice for communicating embedded systems

โœ Scribed by C. Schwarzl; F. Wotawa

Book ID
106170447
Publisher
Springer
Year
2011
Tongue
English
Weight
961 KB
Volume
128
Category
Article
ISSN
0932-383X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A test case generation approach for conf
A test case generation approach for conformance testing of SDL systems
โœ C. Bourhfir; E. Aboulhamid; R. Dssouli; N. Rico ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 203 KB

This paper presents an approach for automatic executable test case and test sequence generation for a protocol modeled by an SDL system. Our methodology uses a uniยฎed method which tests an Extended Finite State Machine (EFSM) based system by using control and data ยฏow techniques. To test an SDL syst