Automating the generation and sequencing of test cases from model-based specifications

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

Volumn 670 LNCS, Issue , 1993, Pages 268-284

  Dick, Jeremy ^a   Faivre, Alain ^b  

^a Bull Information Systems Limited   (United Kingdom)

^b Bull Corporate Research Centre ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION;

AUTOMATIC TECHNIQUE; DISJUNCTIVE NORMAL FORM; MATHEMATICAL DESCRIPTIONS; MODEL-BASED SPECIFICATIONS; STATE BASED; SYSTEM STATE; TEST CASE;

TESTING;

EID: 85015362530     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0024651     Document Type: Conference Paper

References (20)

1. Aho A. V., Dahbura A. T., Lee D., Uyar M.U., An Optimisation Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours, Proc. Protocol Specification, Test and Verification VIII, 1988
2. Bernot G, Gaudel M-C, Marre B, Software Testing Based on Formal Specifications: a Theory and a Tool, Software Eng. Journal, Nov 1991
3. O. Coudert, J. C. Madre, “Towards a Symbolic Logic Minimization Algorithm”, in Proc. of VLSI Design’93, Bombay, India, January 1993.
4. John Dawes, The VDM-SL Reference Guide, Pitman, 1991.
5. Tim Denvir, Introduction to Discrete Mathematics for Software Engineering, Mac Millan, 1986.
6. Jeremy Dick, Alain Faivre, Automatic Partition Analysis of VDM Specifications, Research Report RAD/DMA/92027, Bull Research Centre, Les Clayes-sous-Bois, France, Oct 1992
7. Jeremy Dick, Jérôme Loubersac, Integrating Structured and Formal Methods: A Visual Approach to VDM, Proc. ESEC’91, Milan, Springer-Verlag LNCS 550, pp. 37-59, Oct 1991
8. L.M.G. Feijs, H.B.M. Jonkers. Specification and Design with COLD-K, Philips Research Laboratories, Eindhoven, The Netherlands.
9. Hall, Patrick A. V., Towards a Theory of Test Data Selection, Second IEE/BCS Conf. Software Engineering 88. IEE Conf. Publication Number 290. pp. 159-163. 1988
10. Hall, Patrick A. V., Relationship between specifications and testing, Information and Software Technology, Jan/Feb 1991
11. Hall P. A. V., Hierons R., Formal Methods and Testing, The Open Univ. Com-puting Dept. Tech Report No 91/16, August 1991
12. Cliff B. Jones, Systematic Software Development using VDM, Second Edition, Prentice Hall Int., 1990.
13. J. Loubersac, VtP Users’ Guide, Atmosphere deliverable No. 14.1.4.2.3.1, Bull Research Centre, 1992.
14. N. D. North, Automatic Test Generation for the Triangle Problem, National Physical Laboratory Report DITC 161/90, February 1990.
15. M. Phillips, CICS/ESA 3.1 Experience, Procs. Z Users’ Group, Oxford, 1989.
16. G. T. Scullard, Test Case Selection using VDM, In Proc. VDM’88, LNCS 328, Springer Verlag.
17. Sidhu D. P., Lenung T. K., Formal Methods in Protocol Testing: a Detailed Study, IEEE Trans. SE Vol 15 No 4, 1989
18. J. M. Spivey, The Z Notation, Prentice Hall, 1989.
19. The RAISE Language Group, The RAISE Specification Language, Report No. CRI/RAISE/DOC/l/vl, CRI, Denmark 1991.
20. J. Woodcock, M. Loomes Software Engineering Mathematics Pitman, 1988.