Abstract
Due to practical limitations in software and hardware, data type implementations are always bounded. Such limitations are a frequent source of faults which are difficult to find out. As soon as boundaries are clearly identified in a specification, functional testing should be able to address any boundary fault.
We propose to enrich a data type specification formalism, namely algebraic specifications, allowing a natural description of data type boundaries. This enhancement allows us to adapt the existing testing theory, the method and the tool, initially dedicated to functional testing from unbounded data type specifications.
Several examples of test data selection with the LOFT tool, from two bounded data type specifications, will illustrate the benefit of our approach: an assisted test selection process, formally defined in a functional testing theory, allowing adequate coverage of both data types bounds and the definition domain of the specified operations.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Arnould, P. Le Gall, and B. Marre. Dynamic testing from bounded data type specifications. Technical report, L.R.I, Université Paris-Sud, 1996.
G. Bernot. Testing against formal specifications: a theoretical view. In TAP-SOFT'91, LNCS 494, pages 99–119, Brighton UK, 1991. Springer Verlag.
G. Bernot, M.C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387–405, 1991.
G. Bernot, P. Le Gall, and M. Aiguier. Label algebras and exception handling. Journal of Science of Computer Programming, 23:227–286, 1994.
M. Breu. Bounded implementation of algebraic specifications. In Recent Trends in Data Type Specification, LNCS 655, pages 181–198, Dourdan, France, 1991. Springer Verlag.
E. Brinksma. A theory for the derivation of tests. 8th International Conference on Protocol Specification, Testing and Verification, North-Holland, 1988.
P. Dauchy, M.-C. Gaudel, and B. Marre. Using algebraic specifications in software testing: a case study on the software of an automatic subway. Journal of Systems and Software, 21(3):229–244, 1993.
J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In FME'93, LNCS 670, pages 268–284. Springer-Verlag, 1993.
R.K. Dong and P.G. Frankl. The astoot approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2), 1994.
H. Ehrig and B. Mahr. Fundamentals of algebraic specification. EATCS Monographs on Theoretical Computer Science, 6, 1985.
M.C. Gaudel. Testing can be formal, too. In TAPSOFT'95, LNCS 915, Aarhus, Denmark, 1995. Springer Verlag.
M. Gogolla, K. Drosten, U. Lipeck, and H. Ehrig. Algebraic and operational semantics of specification allowing exceptions and errors. Theorical Computer Science 34, p. 289–313, 1984.
B. Jeng and E.J. Weyuker. A simplified domain-testing strategy. ACM Transactions on Software Engineering and Methodology, 3(3):254–270, July 1994.
P. Le Gall and A. Arnould. Formal specification and test: correctness and oracle. In Recent Trends in Data Type Specification, Oslo, Norway, LNCS, 1996.
B. Marre. Toward automatic test data set selection using Algebraic Specifications and Logic Programming. ICLP'91, Paris, 25–28, MIT Press, 1991.
B. Marre, P. Thevenod-Fosse, H. Waeselynck, P. Le Gall, and Y. Crouset. An Experimental Evaluation of Formal Testing and Statistical Testing. SAFECOMP'92, Switzerland, Ed. Heinz H. Frey, Pergamon Press, 1992.
D.H. Pitt and Freestone D. The derivation of conformance tests from lotos specifications. IEEE Transactions on Software Engineering, 16(12): 1337–1343, 1990.
M. Presburger. Über die Vollständingen einer gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. In Comptes Rendus du premier Congrès des Mathématiciens des Pays slaves, Warszawa, 1929.
Dssouli R. and Bochmann G. Conformance testing with multiple observers. In In Protocol Specification Testing and Verification, North-Holland, pages 217–229, 1987.
D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specification: implementation revisited. Acta Informatica, 25:233–281, 1988.
P. Stocks and D.A. Carrington. Test template: A specification-based testing framework. In 15th ICSE, pages 405–414, 1993.
L.J. White and I.A. Perrera. An alternative measure for error analysis of the domain testing strategy. In Workshop on Software Testing, IEEE Computer Society Order 723, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arnould, A., Le Gall, P., Marre, B. (1996). Dynamic testing from bounded data type specifications. In: Hlawiczka, A., Silva, J.G., Simoncini, L. (eds) Dependable Computing — EDCC-2. EDCC 1996. Lecture Notes in Computer Science, vol 1150. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61772-8_44
Download citation
DOI: https://doi.org/10.1007/3-540-61772-8_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61772-3
Online ISBN: 978-3-540-70677-9
eBook Packages: Springer Book Archive