Formal methods for conformance testing: Theory can be practical

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

Volumn 1633, Issue , 1999, Pages 44-46

  Brinksma, E ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; ALGEBRA; COMPUTER AIDED ANALYSIS; COMPUTER CONTROL SYSTEMS; FORMAL SPECIFICATION; FORMAL VERIFICATION; MESSAGE PASSING; MODEL CHECKING; SEMANTICS; WELL TESTING;

ALGEBRAIC THEORIES; CONCURRENCY THEORY; CONFORMANCE TESTING; MODEL-CHECKING TECHNIQUES; QUALITY OF SOFTWARES; ROBUSTNESS TESTING; SCIENTIFIC RESEARCHES; VERIFICATION MODEL;

SOFTWARE TESTING;

EID: 84957073788     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48683-6_6     Document Type: Conference Paper

References (21)

1. [BGM91] G. Bernot, M.-C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 1991 (November): 387-405.
2. [Bri88] E. Brinksma. A theory for the derivation of tests. In: S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification VIII, 63-74, North-Holland, 1988.
3. [BHT97] E. Brinksma, L. Heerink, and J. Tretmans. Developments in testing transition systems. In: M. Kim, S. Kang, and K. Hong, editors, Tenth Int. Workshop on Testing of Communicating Systems, 143-166, Chapman & Hall, 1997.
4. [BPS98] E. Brinksma, J. Peleska, and M. Siegel, editors, Test Automation for Reactive Systems-Theory and Practice, Dagstuhl Seminar report 223 (98361), SchloßDagstuhl, Germany, 1998.
5. [Cho78] T.S. Chow. Testing software design modeled by finite-state systems. IEEE Transactions on Software Engineering, 4(3):178-187, 1978.
6. [CGPT96] M. Clatin, R. Groz, M. Phalippou, and R. Thummel. Two approaches linking test generation with verification techniques. In: A. Cavalli and S. Budkowski, editors, Eighth Int. Workshop on Testing of Communicating Systems. Chapman & Hall, 1996.
7. [DeN87] R. De Nicola. Extensional equivalences for transition systems. Acta In-formatica, 24:211-237, 1987.
8. [DNH84] R. De Nicola and M.C.B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
9. [FJJV96] J.-C. Fernandez, C. Jard, T. Jeron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In: R. Alur and T.A. Henzinger, editors, Computer Aided Verification CAV'96. LNCS 1102, Springer-Verlag, 1996.
10. [Gau95] M.-C. Gaudel. Testing can be formal, too. In: P.D. Mosses, M. Nielsen, and M.I. Schwarzbach, editors, TAPSOFT'95: Theory and Practice of Software Development, 82-96, LNCS 915, Springer-Verlag, 1995.
11. [GG83] J.B. Goodenough and S.L. Gerhardt. Toward a theory of test data sel ection. IEEE Transactions on Software Engineering, 9(2), 1983.
12. [He98] L. Heerink. Ins and Outs in Refusal Testing. Docoral dissertation, Uni versity of Twente, The Netherlands, 1998.
13. [HT97] L. Heerink and J. Tretmans. Refusal Testing for classes of transition systems with inputs and outputs. In: T. Mizuno, N. Shiratori, T. Higas-hino, and A Togashi, editors, Formal Description Techniques and Protocol Specification, Testing, and Verification FORTE X/PSTV XVII, 23-38, Chapman & Hall, 1997.
14. [How78] W.E. Howden. Algebraic program testing. Acta Informatica, 10:53-66, 1978.
15. [Mye79] G.J. Myers. The Art of Software Testing. John Wiley & Sons Inc., 1979.
16. [Lan90] R. Langerak. A testing theory for LOTOS using deadlock detection. In: E. Brinksma, G. Scollo, and C.A. Vissers, editors, Proctocol Specification, Testing, and Verification IX, 87-98, North-Holland, 1990.
17. [LY96] D. Lee and M. Yannakakis. Principles and methods for testing finite state machines. Proceedings of the IEEE. August 1996.
18. [Pha94] M. Phalippou. Relations d'implementation et hypotheses de test sur des automates a entrees et sorties. PhD Thesis, Universite de Bordeaux I, France, 1994.
19. [STW96] Dutch Technology Foundation STW. Côte-de-Resyste-COnformance TEsting of REactive SYSTEms, project TIF.4111. University of Twente, Eindhoven University of Technology, Philips Research, KPN Research, Utrecht, The Netherlands, 1996. URL: http://fmt.cs.utwente.nl/projects/CdR-html/.
20. [Tre96] J. Tretmans. Test Generation with inputs, outputs, and quiescence. Soft ware-Concepts and Tools, 17(3):103-120, 1996.
21. [VT98] R.G. de Vries and J. Tretmans. On-the-fly conformance testing using SPIN. In: G. Holzmann, E. Najm, and A. Serhrouchni, editors, Fourth Workshop on Automata Theoretic Verification with the SPIN Model Checker, ENST 98 S 002, 115-128, Paris, France, 1998.