The classical fault-detection approach to conformance testing for deterministic systems is based on state identification by means of diagnosis sequences. This paper extends this approach to set identification for nondeterministic systems in which an action may reach more than one state. It presents
โฆ LIBER โฆ
A frame-based approach to conformance testing
โ Scribed by Sarolta Dibuz
- Book ID
- 104179332
- Publisher
- Elsevier Science
- Year
- 1993
- Weight
- 271 KB
- Volume
- 39
- Category
- Article
- ISSN
- 0165-6074
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
A Fault-Detection Approach to the Confor
โ
T.Y. Cheung; X.M. Ye
๐
Article
๐
1995
๐
Elsevier Science
๐
English
โ 655 KB
A test case generation approach for conf
โ
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
A GPU-based Approach for Massive Model R
โ
Chao Peng; Yong Cao
๐
Article
๐
2012
๐
John Wiley and Sons
๐
English
โ 1019 KB
A UML-based approach to system testing
โ
Jean Hartmann; Marlon Vieira; Herbert Foster; Axel Ruder
๐
Article
๐
2005
๐
Springer
๐
English
โ 586 KB
Testing Conformance to a Quasi-Non-Deter
โ
R. M. Hierons; M. Harman
๐
Article
๐
2000
๐
Springer
๐
English
โ 205 KB
Evidence-based approach to thrombophilia
โ
Saskia Middeldorp
๐
Article
๐
2011
๐
Springer US
๐
English
โ 194 KB