Techniques for abstracting SDL specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2599, Issue , 2003, Pages 141-157

  Boroday, Sergiy ^a   Groz, Roland ^b   Petrenko, Alex ^a   Quemener, Yves Marie ^c  

^a Cent de Recherche Informatique de Montreal   (Canada)

^b INP Grenoble ENSIMAG   (France)

^c ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; SOFTWARE PROTOTYPING; SPECIFICATIONS;

PROTOTYPE TOOLS; REACHABILITY ANALYSIS; SDL; STATE ABSTRACTION; TEST GENERATIONS;

ABSTRACTING;

EID: 35248827052     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36573-7_10     Document Type: Article

References (21)

1. v. Bochmann G., Das, A. Dssouli R., Dubuc M., Ghedamsi A., Luo G.: Fault Model in Testing. Proceedings of the IFIP IV Workshop on Protocol Test Systems; pp. 17-30, October 1991; Leidschendam, The Netherlands.
2. Bozga M., Fernandez J.-Cl., Ghirvu L., Graf S., Krimm J.-P., Mounier L., Sifakis J.: IF: An Intermediate Representation for SDL and its Applications. Proceedings of SDL-FORUM 1999; pp. 423-440, June 1999; Montreal, Canada.
3. Bozga M., Fernandez J.-Cl., Ghirvu L.: State Space Reduction based on Live Variables Analysis. Proceeedings of SAS'99, Venice, Italy. LNCS 1694, pp. 164-178, Springer Verlag.
4. Bozga M.: Vérification symbolique pour les protocoles de communication. PhD Thesis, Grenoble University, 1999.
5. Boroday S., Petrenko A., Groz R., and Quemener Y.-M.: Test Generation for CEFSM Combining Specification and Fault Coverage. Proceedings of IFIP 14th International Conference on Testing of Communicating Systems (TestCom 2002), pp. 355-371,March 2002, Berlin, Germany, Kluwer.
6. Clark E., Grumberg O., and Peled D.: Model Checking. MIT, 1999.
7. Cormen T., Leiserson C., Rivest R.: Introduction to Algorithms. MIT, 1992.
8. th POPL, pp. 238-252, Los Angeles, USA, 1977, ACM Press.
9. Gill A.: Introduction to the Theory of Finite-State Machines, McGrawHill, New York, 1962.
10. Grabowski J., Scheurer R., Toggweiler D., and Hogrefe D.: Dealing with the complexity of state space exploration algorithms for SDL systems. Arbeitsberichte des Instituts für mathematische Maschinen-und Datenverarbeitung (Mathematik), Proceedings of the 6th GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, June 20-21, 1996, pp. 1-10, Vol. 20, No. 9, University of Erlangen, Germany, May 1996.
11. Kerbrat A., Jéron T., Groz R.: Automated test generation from SDL specifications. Proceedings of the 9th SDL Forum; pp 135-151, June 1999; Montreal, Canada. Elsevier.
12. Loiseaux C., Graf S., Sifakis J., Bouajjani A., and Bensalem S.: Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design, 6, pp. 11-44, 1995.
13. Moundanos D, Abraham J.A., Hoskote Y.: Abtraction Techniques for Validation, Coverage Analysis and Test generation. IEEE Trans. on Computing, Vol. 47, No. 1, Jan. 1998, pp. 2-14.
14. Oikonomou K.N.: Abstractions of Finite-state Machines and Optimality with Respect to Immediately-Detectable Next-State Faults. IEEE Transactions on Systems, Man, and Cybernetics, Part A, pp. 151-160, Vol. 26, No.1, Jan. 1996.
15. Petrenko A.: Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. LNCS 2067, Proceedings of the Summer School MOVEP'2000, Modeling and Verification of Parallel Processes; pp. 196-205, June 2000; Nantes, France.
16. Petrenko A., Boroday S., and Groz R.: Confirming configurations in EFSM. Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems (FORTE XII) and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX); pp. 5-24, October 1999, China. Kluwer.
17. Petrenko A. and Yevtushenko N.: Test Suite Generation for a FSM with a Given Type of Implementation Errors. Proceedings of the IFIP 12th International Symposium on Protocol Specification, Testing, and Verification; pp. 229-243, 1992; USA. North-Holland.
18. Rusu V., du Bousquet L., and Jeron T.: An Approach to Symbolic Test Generation. International Conference on Integrating Formal Methods (IFM'00), Springer Verlag, LNCS 1945, pp. 338-357, Novembre 2000.
19. Tip F.: A survey of program slicing techniques. Journal of Programming Languages, 3(3), pp. 121-189, September 1995.
20. Wang X.: Abstraction of Variables in SDL. Master Thesis, McGill University, 2001.
21. Yun H.: State abstraction in SDL. Master Thesis, Université de Montréal, 2001.