An experiment in automatic generation of test suites for protocols with verification technology

Science of Computer Programming

Volumn 29, Issue 1-2, 1997, Pages 123-146

  Fernandez, Jean Claude ^a   Jard, Claude ^b   Jéron, Thierry ^b   Viho, César ^c  

^a INRIA   (France)

^b CAMPUS DE BEAULIEU   (France)

^c UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Concurrency; Conformance; Protocol; Test purpose; Test suite; Testing; Verification

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER SIMULATION; GRAPHIC METHODS; SOFTWARE ENGINEERING;

AUTOMATIC GENERATION; FINITE STATE GRAPH MODELS; TEST SUITES; VERIFICATION;

NETWORK PROTOCOLS;

EID: 0031191628     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(96)00032-9     Document Type: Article

References (25)

1. S. Abramsky, Observational equivalence as a testing equivalence, Theoret. Comput. Sci. 53 (1987).
2. B. Algayres, Y. Lejeune, F. Hugonnet and F. Hantz, The AVALON project: a VALidatiON environment for SDL/MSC descriptions, in: SDL 93 Forum (1993).
3. E. Brinskma, A theory for the derivation of tests, in: Protocol Specification, Testing and Verification VIII (North-Holland, Amsterdam, 1988) 63-74.
4. E. Brinksma, R. Alderden, J. Langerak, R. Van de Lagemaat and J. Tretmans, A formal approach to conformance testing, in: J. De Meer, L. Mackert and W. Effelsberg, eds., 2nd Internat. Workshop on Protocol Test Systems (North-Holland, Amsterdam, 1990) 349-363.
5. A.R. Cavalli, S.U. Kim and P. Maigron, Automated protocol conformance test generation based on formal methods for LOTOS specifications, in: Protocol Test Systems V (Elsevier, Amsterdam, 1993) 212-222.
6. CCITT/SGX/WP3-1, Specification and description language, SDL, CCITT Recommendation Z.100, 1988.
7. T. Chow, Testing software design modelled by finite-state machines, IEEE Trans. Software Eng. SE-4 (1978).
8. M. Clatin, R. Groz, M. Phalippou and R. Thummel, Two approaches linking a test generation tool with verification techniques, in: 8th Internat. Workshop on Protocols Test Systems, Evry, France (1995).
9. R. De Nicola and M. Henessy, Testing equivalences for processes, Theoret. Comput. Sci. 34 (1984) 83-133.
10. K. Drira, P. Azéma and F. Vernadat, Refusal graphs for conformance tester generation and simplification: a computational framework, in: Protocol Specification, Testing and Verification XIII, IFIP Transactions (North-Holland, Amsterdam, 1993).
11. J.-C. Fernandez, H. Garavel, L. Mounier, A. Rasse, C. Rodriguez and J. Sifakis, A tool box for the verification of Lotos programs, in: 14th Internat. Conf. on Software Eng., Melbourne, Australia (1992).
12. J.-C. Fernandez, C. Jard, T. Jéron and G. Viho, Using on-the-fly verification techniques for the generation of test suites, in: Conf. on Computer-Aided Verification (CAV '96), New Brunswick, NJ, USA, 1996, to appear.
13. S. Fujiwara, G. Bochmann, F. Khendek, M. Amalou and A. Ghedamsi, Test selection based on finite state models, IEEE Trans. Software Eng. 17 (1991).
14. G. Gonenc, A method for the design of fault-detection experiments, IEEE Trans. Comput. C-19 (1970).
15. J. Grabowski, D. Hogrefe and R. Nahm, Test case generation with test purpose specification by MSCs, in: O. Færgemand and A. Sarma, eds., 6th SDL Forum, Darmstadt, Germany (North-Holland, Amsterdam, 1993) 253-266.
16. R. Lai and W. Leung, Industrial and academic protocol testing: the gap and the means of convergence, Comput. Networks ISDN Systems 27 (1995) 537-547.
17. J. Montiel, R. Roth and A.J.M. Donaldson, eds., Methods for QoS Verification and Protocol Conformance Testing in IBC - Results and Further Recommendations, Race Project R2088 TOPIC, Deliverable 15, DocR2088/DAT/TMS/DS/P/015/b1 (1994).
18. OSI-open systems interconnection, information technology - open systems interconnection conformance testing methodology and framework - Part I: general concept - Part 2: abstract test suite specification - Part 3: the tree and tabular combined notation (TTCN), Internat. Standard ISO/IEC 9646-1/2/3, 1992.
19. M. Phalippou, Test sequence using Estelle or SDL structure information, in: FORTE'94, Berne, (1994).
20. K. Sabnani and A. Dahbura, A protocol testing procedure, Comput. Networks ISDN Systems 15 (1988).
21. J. Tretmans, A formal approach to conformance testing, Ph.D. Thesis, University of Twente, Enschede, The Netherlands (1992).
22. J. Tretmans, Testing labelled transition systems with inputs and outputs, in: 8th Internat. Workshop on Protocols Test Systems, Evry, France (1995).
23. J. Tretmans, Test generation with inputs, outputs and quiescence, in: T. Margaria and B. Steffen, eds., 2nd Internat. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'96, Passau, Germany (1996).
24. L. Verhaard, J. Tretmans, P. Kars and E. Brinksma, On asychronous testing, in: G. Von Bochman, R. Dssouli and A. Das, eds., 5th Internat. Workshop on Protocol Test Systems, IFIP Trans. (North-Holland, Amsterdam, 1993).
25. S. Vuong, W. Chan and M. Ito, The UIOv method for protocol test sequence generation, in: 2nd Internat. Workshop on Protocol Test Systems, Berlin (1989).