Testing processes from formal specifications with inputs, outputs and data types

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2002-January, Issue , 2002, Pages 3-14

  Lestiennes, Grégory ^a   Gaudel, Marie Claude ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

Automata; Bibliographies; Formal specifications; H infinity control; Performance evaluation; Protocols; Reliability engineering; Software reliability; Software testing

Indexed keywords

BIBLIOGRAPHIES; FORMAL SPECIFICATION; LOGIC CIRCUITS; NETWORK PROTOCOLS; RELIABILITY; SOFTWARE TESTING; SPECIFICATIONS;

AUTOMATA; COMMUNICATING PROCESS; H -INFINITY CONTROLS; INPUT-OUTPUT TRANSITION SYSTEMS; LABELLED TRANSITION SYSTEMS; PERFORMANCE EVALUATION; RELIABILITY ENGINEERING; SELECTION METHODS;

SOFTWARE RELIABILITY;

EID: 16244377323     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2002.1173206     Document Type: Conference Paper

References (19)

1. E. Brinksma. A theory for the derivation of tests. Proceedings of Eighth International Conference of Protocol Specification, Testing and Verification, Atlantic City, North-Holland, 1988.
2. E. Brinskma and J. Tretmans. Testing transition systems: An annotated bibliography. In LNCS, volume 2067, pages 187-195, 2001.
3. R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24, N1:44-67, 1977.
4. F. T. Chan, H. Y. Chen, T. H. Tse, and T. Y. Chen. An integrated approach to class-level testing of objectoriented programs. In ACM transactions on Software Engineering and Methodology, 7(3):250-295, 1998.
5. R.-K. Doong and P. G. Frankl. The ASTOOT Approach to Testing Object-Oriented Programs. In ACM Transactions on Software Engineering and Methodologie, pages 101-130, 1994.
6. J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29 (1-2):123-146, 1997.
7. M.-C. Gaudel. Testing from formal specifications, a generic approach. In LNCS, volume 2043, pages 35-48. ADA-Europe Conference, 2001.
8. M.-C. Gaudel and P. R. James. Testing algebraic data types and processes: A unifying theory. In Formal Aspects of Computing, 10(5-6), pages 436-451, 1999.
9. A. Gotlieb, B. Botella, and M. Rueher. A CLP framework for computing structural test data. In Constraints Stream. 1st InternationalConference on Computational Logic CL 2000, Londres U. K., 2000.
10. S.-D. Gouraud, A. Denise, M.-C. Gaudel, and B. Marre. A new way of automating statistical testing methods. In Automated Software Engineering Conference, IEEE, pages 5-12, 2001.
11. ISO. LOTOS, a formal description technique based on the temporal ordering of observational behaviour. Technical Report 8807, 1989.
12. B. Littlewood, P. T. Popov, L. Strigini, and N. Shryane. Modeling the effects of combining diverse software fault detection techniques. In IEEE Transactions on Software Engineering, 26(12):1157-1167, 2000.
13. N. Lynch and M. Tuttle. An introduction to input/ output automata. Technical report, MIT/LCS/TM-373, 1988.
14. B. Marre and A. Arnould. Test sequences generation from LUSTRE descriptions: Gatel. In Automated Software Engineering Conference, IEEE, pages 229-237, 2000.
15. M. Phalippou. Relations d'implantation et hypothèses de test sur des automates à entrées et sorties. PhD thesis, Université de Bordeaux I, 1994.
16. A. Pretschner. Classical search strategies for test case generationwith constraint logic programming. In Proceedings of the workshop on Formal Approaches to Testing of Software (FATES'01), pages 47-60, 2001.
17. R. Segala. Quiescence, fairness, testing and the notion of implementation (extended abstract). In LNCS, volume 715. Proceedings of the 4th International Conference on Concurrency Theory (CONCUR '93), Hildesheim, Germany, 1993.
18. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. In T. Margaria and B. Steffen, editors, LNCS, volume 1055, pp 127-146. 2nd Int. Workshop TACAS'96, 1996.
19. J. Tretmans. Testing concurrent systems: A formal approach. In J. C. M Baeten and S. Mauw, editors, LNCS, volume 1664, pages 46-65. CONCUR'99-10th Int. Conference on Concurrency Theory, 1999.