See this document in CiteSeerX!

Test generation based on control and data dependencies within multi-process SDL specifications  (Make Corrections)  
Olaf Henniger, Hasan Ural



  Home/Search   Context   Related

 
View or download:
darmstadt.gmd.de/~henniger/...hen00.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  darmstadt.gmd.de/~henniger...list (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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