Using on-the-fly verification techniques for the generation of test suites

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

Volumn 1102, Issue , 1996, Pages 348-359

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

^a VERIMAG   (France)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; SPECIFICATIONS;

CONSTRUCTION RULES; DEPTH FIRST; INDUSTRIAL PROTOCOLS; ON THE FLIES; ON-THE FLY VERIFICATION; SET OF RULES; SYNCHRONOUS PRODUCTS; TEST PURPOSE;

TESTING;

EID: 72349100435     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_82     Document Type: Conference Paper

References (15)

1. B. Algayres, Y. Lejeune, F. Hagonnet, and F. Hantz. The AVALON project: A VALidatiON Environment For SDL/MSC Descriptions. In 6th SDL Forum, Darmstadt, 1993.
2. E. Brinksma. A theory for the derivation of tests. In S. Aggarval and K. Sabnani, editors, Protocol Specification, Testing and Verification VIII, IFIP, pages 63-74. Elsevier Science Publishers, B.V., North-Holland, 1988.
3. CCITT/SGx/WP3-1, Specification and Description Language, SDL. CCITT Recommendation Z.IO0, 1988.
4. M. Clatin, R. Groz, M. Phalippou, and R. Thummel. Two approaches linking a test generation tool with verification techniques. In A. Cavalli and S. Budkowski, editors, 8th Int. Workshop on Protocols Test Systems, Evry, France, pages 159-174, September 1995.
5. C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory efficient algorithms for the verification of temporal properties. In E.M. Clarke and R.P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CA V'90, New Brunswick, N J, USA. Springer Verlag, LNCS 531, 1990.
6. 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 International Conference on Software Engineering, Melbourne, Australia, May 1992.
7. J.-C. Fernandez, C. Jard, T. Jèron, and G. Viho. An experiment in automatic generation of test suites for protocoles with verification technology. under revision for SCP, 1996.
8. J.-C. Fernandez and L. Mounier. On the fly verification of behavioral equivalences and preorders. In K.G. Larsen and A. Skou, editors, Computer Aided Verification, 3rd Interna'tional Workshop, CAV'91, Aalborg, Denmark, pages 181-190. Springer Verlag, LNCS 575, June 1991.
9. J.-C. Fernandez, L. Mounier, C. Jard, and T. Jèron. On-the-fly verification of finite transition systems. Formal Methods in System Design, 1:251-273, 1992. Kluwer Academic Publishers.
10. OSI-Open Systems Interconnection, Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Part 1: General Concept - part 2: Abstract Test Suite Specification - part 3: The Tree and Tabular Combined Notation (TTCN). International Standard ISO/IEC 9646-1/2/3, 1992.
11. C. Jard and T. Jèron. On-fine model-checking for finite linear temporal logic specifications. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, pages 275-285. Springer-Verlag, LNCS 407, June 1989.
12. C. Jard and T. Jèron. Bounded memory algorithms for verification on the fly. In K.G. Larsen and A. Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV'91, Aalborg, Denmark, pages 192-202. Springer Verlag, LNCS 575, June 1991.
13. M. Phalippou. Relations d'implantations et Hypotheses de Test sur des automates à entrdèes et sorties. Thèse de doctorat, Universitè de Bordeaux, France, 1994.
14. M. Phalippou. Test sequence using Estelle or SDL structure information. In FORTE'94, Berne, October 1994.
15. J. Tretmans. Testing Labelled Transition Systems with Inputs and Outputs. In A. Cavalli and S. Budkowski, editors, 8th Int. Workshop on Protocols Test Systems, Evry, France, pages 461-476, September 1995.