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

Independent testing of compiler phases using a test case generator

โœ Scribed by William Homer; Richard Schooler

Book ID
112210488
Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
618 KB
Volume
19
Category
Article
ISSN
0038-0644

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

Specification and testing using generali
Specification and testing using generalized machines: a presentation and a case study
โœ Florentin Ipate; Mike Holcombe ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 135 KB

Although testing is a major part of software development, it rarely gets the attention it deserves from researchers, partly because its foundations are weak and ill-understood. The principal purpose of testing is to detect (and then remove) faults in a software system. However, very few of the exist