Testing can be formal, too

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

Volumn 915, Issue , 1995, Pages 82-96

  Gaudel, Marie Claude ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; FORMAL SPECIFICATION; SEMANTICS; SOFTWARE DESIGN; SPECIFICATIONS; TESTING;

ALGEBRAIC SPECIFICATIONS; EXHAUSTIVE TESTS; FINITE SUBSETS; FORMAL SEMANTICS; PROGRAM TESTING; TEST EXECUTION; TEST SETS;

SOFTWARE TESTING;

EID: 84957623309     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59293-8_188     Document Type: Conference Paper

References (28)

1. Barbey S., Buchs D., Testing Ada abstract data types using formal specifications, in Ada in Europe, proc. 1st Int. Eurospece-Ada-Europe Symposium, Copenhagen, Sept. 1994, LNCS no. 887, Springer-Verlag, 1994, pp. 76-89.
2. Bernot G., Testing against formal specifications: a theoretical view, TAPSOFT'91 CCPSD proceedings, LNCS no. 494, Springer-Verlag, Brighton, 1991, pp. 99-119.
3. Bernot G., Gaudel M-C., Marre B., Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, vol. 6, no. 6, Nov. 1991.
4. Bernot G., Gaudel M-C, Marre B., A Formal Approach to Software Testing, 2nd International Conference on Algebraic Methodology and Software Technology (AMAST), Iowa City, May 1991, Workshops in Computing Series, Springer-Verlag, 1992.
5. Bougé L., A contribution to the theory of program testing, Theoretical Computer Science, vol. 37, 1985, pp. 151-181.
6. Bougé L., Choquet N., Fribourg L., Gaudel M.-C., Application of PROLOG to test sets generation from algebraic specifications, TAPSOFT'85 proceedings, LNCS no. 186, Springer-Verlag, Berlin, 1985, pp. 246-260.
7. Bougé L., Choquet N., Fribourg L., Gaudel M.-C., Test set generation from algebraic specifications using logic programming, Journal of Systems and Software, vol. 6, no. 4, pp. 343-360, 1986.
8. Brinksma E., A theory for the derivation of tests, 8th International Conference on Protocol Specification, Testing and Verification, Atlantic City, North-Holland, 1988.
9. Broy M., Wirsing M., Partial Abstract Types. Acta Informatica, 3, 1982, pp. 47-64.
10. Caspi P., Halbwachs N., Pilaud D., Plaice J., Lustre: a declarative language for programming synchronous systems, 14th ACM symposium on Principle of Programming Languages, Munich, 1987, pp. 178-188.
11. Dauchy P., Gaudel M-C, Marre B., Using Algebraic Specifications in Software Testing: a case study on the software of an automatic subway, Journal of Systems and Software, vol. 21, no. 3, June 1993, pp. 229-244.
12. Dauchy P., Ozello P., Experiments with Formal Specifications on MAGGALY, Second International Conference on Applications of Advanced Technologies in Transportation Engineering, Minneapolis, Aug. 1991.
13. Dick J., Faivre A., Automating the generation and sequencing of test cases from model-based specifications, FME'93, LNCS no. 670, Springer-Verlag, 1993, pp. 268-284.
14. Dong R. K., Frankl Ph. G., The ASTOOT approach to testing object-oriented programs, ACM Transactions on Software Engineering and Methodology, vol. 3, no. 2, Apr. 1994.
15. Dssouli R., Bochmann G., Conformance testing with multiple observers, in Protocol Specification Testing and Verification VI, North-Holland 1987, pp. 217-229.
16. Evans D., Using specifications to check source code, Master thesis, MIT Laboratory for Computer Science, 1994.
17. Goguen, J. A., Thatcher, J. W. and Wagner E. G., An initial algebra approach to the specification, correctness and implementation of abstract data types, in Current Trends in Programming Methodology, Vol. 4: Data Structuring, edited by R. T. Yeh, pp. 80-149, Prentice-Hall, 1978.
18. Goodenough J. B., Gerhart S., Towards a theory of test data selection, IEEE Transactions on Software Engineering, vol. SE-1, no. 2, June 1975.
19. Gourlay J., A mathematical framework for the investigation of testing, IEEE Transactions on Software Engineering, vol. SE-9, no. 6, pp. 686-709, Nov. 1983.
20. Hennicker R., Observational implementations of algebraic specifications, Acta Informatica, vol. 28, no. 3, pp. 187-230, 1991.
21. Hsiao N. C., Selection de test de propriétés de sûreté à partir d'une modélisation algébrique de programme Lustre, These de Université de Paris-Sud, Orsay, 1994.
22. Le Gall P., Les Algèbres étiquetées: une sémantique pour les specifications algébriques fondée sur une utilisation systématique des termes. Application au test de logiciel avec traitement d'exceptions, These de université de Paris-Sud, LRI, Orsay, 1993.
23. Marre B., LOFT, a tool for assisting test data selection from algebraic specifications, in these proceedings.
24. Marre B., Thévenod-Fosse P., Waeselink H., Le Gall P., Crouzet Y., An experimental evaluation of formal testing and statistical testing, SAFECOMP'92, Zürich, Oct. 1992.
25. Orejas F., Implementation and behavioural equivalence: a survey, 8th WADT/3rd COMPASS Workshop, Doudan, 1991, LNCS no. 655, Springer-Verlag, 1993, pp. 93-125.
26. Phalippou M., Relations d'implantation et hypotheses de test sur des automates à entrees et sorties, These de université de Bordeaux 1, Sept. 1994.
27. Pitt D. H., Freestone D., " The derivation of conformance tests from LOTOS specifications," IEEE Transactions on Software Engineering, vol. 16, no. 12, Dec. 1990, pp. 1337-1343.
28. Sannella D. T., Tarlecki A., On observational equivalence of algebraic specifications, J. C. S. S., vol. 34, pp. 150-178, 1987.