Olaf Henniger, Hasan Ural  Home/Search
Context
Related
| darmstadt.gmd.de/~henniger/...hen00.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: darmstadt.gmd.de/~henniger...list (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across process boundaries. This paper proposes a non-interleaving model that exposes the intra-process as well as inter-process control and data dependencies in a specification of a distributed system given in SDL. The model facilitates the generation of tests through the application of controlflow as well as data-flow... (Update)
Active bibliography (related documents): More All
1.1: On Test Case Generation From Asynchronously Communicating State.. - Henniger (1997) (Correct)
0.7: Confirming Configurations in EFSM Testing - Petrenko, Boroday, Groz (2004) (Correct)
0.5: Principles of Distributed Test Synthesis based on - True-Concurrency Models Claude (2002) (Correct)
Similar documents based on text: More All
0.7: Transformation of Estelle modules aiming at test case.. - Henniger, Ulrich, König (1995) (Correct)
0.5: Data Flow Oriented Test Selection for LOTOS - van der Schoot, Ural (1993) (Correct)
0.4: Test Case Generation Based on Formal Specifications in Estelle - Henniger, Neumann (Correct)
BibTeX entry: (Update)
@misc{ henniger-test,
author = "Olaf Henniger and Hasan Ural",
title = "Test generation based on control and data dependencies within multi-process
SDL specifications",
url = "citeseer.ist.psu.edu/492000.html" }
Citations (may not include all citations):206 The art of software testing (context) - Myers - 1979
166 Message Sequence Chart (context) - Sequence, ITU - 1996
98 Specification and Description Language (context) - Specification, SDL et al. - 1992
95 An applicable family of data flow testing criteria (context) - Frankl, Weyuker - 1988
63 A data-flow oriented program testing strategy (context) - Laski, Korel - 1983
47 SDL -- formal object-oriented language for communicating sys.. (context) - Ellsberger, Hogrefe et al. - 1997
42 Interpreting message flow graphs - Ladkin, Leue - 1994
37 Test case generation with test purpose specification by MSCs - Grabowski, Hogrefe et al. - 1993
33 Formal methods for protocol testing: A detailed study (context) - Sidhu, Leung - 1989
33 Permutation of transitions: An event structure semantics for.. (context) - Boudol, Castellani - 1989
29 A test design methodology for protocol testing (context) - Sarikaya, Bochmann et al. - 1987
28 Data flow analysis in software reliability (context) - Fosdick, Osterweil - 1976
27 Using on-the-fly verification techniques for the generation .. - Fernandez, Jard et al. - 1996
22 Functional program testing and analysis (context) - Howden - 1987
21 Interprocedural data flow testing (context) - Harrold, Soffa - 1989
20 On required element testing (context) - Ntafos - 1984
20 The program dependence graph in static program testing (context) - Korel - 1987
18 Conformance testing of protocols specified as communicating .. (context) - Lee, Sabnani et al. - 1993
12 Automated test generation from SDL specifications (context) - Kerbrat, Jeron et al. - 1999
9 Test case generation for protocols specified in Estelle (context) - Chun, Amer - 1990
9 OSI conformance testing methodology and TTCN (context) - Baumgarten, Giessler - 1994
8 Petri nets, event structures and domains, part (context) - Nielsen, Plotkin et al. - 1985
8 Test generation based on control and data dependencies withi.. (context) - Ural, Saleh et al. - 2000
8 Formal methods for generating protocol conformance test sequ.. (context) - Dahbura, Sabnani et al. - 1990
3 A test case generation method for concurrent programs (context) - Arakawa, Soneoka - 1991
2 On test case generation from asynchronously communicating st.. - Henniger - 1997
2 Telelogic AB (context) - Tau - 1998
2 Eight years of experience in test generation from FDTs using.. (context) - Groz, Risser - 1997
2 Transformation of Estelle modules aiming at test case genera.. - Henniger, Ulrich et al. - 1995
1 A test sequence generation method for protocol testing (context) - Ural, Yang - 1991
1 and ISOJTCSCProject (context) - guidelines, generation et al. - 1995
Documents on the same site (http://www.darmstadt.gmd.de/~henniger/publications/list.html): More
Transformation of Estelle modules aiming at test case.. - Henniger, Ulrich, König (1995) (Correct)
Test Case Generation Based on Formal Specifications in Estelle - Henniger, Neumann (Correct)
On Test Case Generation From Asynchronously Communicating State.. - Henniger (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC