Abstract
The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive test cases in the RAISE method whose specification language RSL combines the model-based and algebraic style. Our approach integrates the testing techniques of algebraic specifications and model-based specifications. In this testing strategy, first, every function definition is partitioned by Disjunctive Normal Form (DNF) rewriting and then test arguments are generated. Next, sequences of function calls are formed. Finally, the test cases are built by replacing the variables, on both sides of the axioms, with the sequences of functions calls. These kinds of test cases not only provide the data for testing, but also serve as test oracles. Based on this combined approach, a test case generation tool has been developed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aichernig, B.K.: Contract-based mutation testing in the refinement calculus. In: REFINE 2002, the British Computer Society - Formal Aspects of Computing refinement workshop. Elsevier, Amsterdam (2002)
Behnia, S., Waeselynck, H.: Test Criteria Definition for B Models. In: FM 1999. LNCS, vol. 1709, pp. 509–529. Springer, Heidelberg (1999)
Legeard, B., Peureux, F., Utting, M.: Automated Boundary Testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 21–40. Springer, Heidelberg (2002)
Chen, H.Y., Tse, T.H., Chan, F.T., Chen, T.Y.: In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. ACM Transactions on Software Engineering and Methodology 7(3), 250–295 (1998)
Derrick, J., Boiten, E.: Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability 9, 27–50 (1999)
Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670. Springer, Heidelberg (1993)
Doong, R.-K., Frankl, P.G.: The ASTOOT Approach to Testing Object-Oriented Programs. ACM Transactions on Software Engineering and Methodology 3(2), 101–130 (1994)
Gaudel, M.-C., James, P.R.: Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Aspects of Computing 10(5-6), 436–451 (1998)
Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M.: Conditional slicing supports partition testing. Software Testing, Verification and Reliability 12, 23–28 (2002)
Hierons, R.M.: Testing from a Z Specification. Software Testing, Verification and Reliability 7, 19–33 (1997)
Hughes, M., Stotts, D.: Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. In: ISSTA 1996 (1996)
Janowski, T., Van, H.D., George, C., Moore, R.: Specification Case Studies in RAISE. FACIT series. Springer, Heidelberg (2002)
Meudec, C.: Automatic Generation of Software Test Cases From Formal Specifications. PhD thesis, The Queen’s University of Belfast (May 1998)
Peraire, C., Barbey, S., Buchs, D.: Test Selection for Object-Oriented Software Based on Formal Specifications
Pretschner, A., Slotosch, O., Otzbeyer, H., Aiglstorfer, E., Kriebel, S.: Model Based Testing for Real: The Inhouse Card Case Study (2001)
The RAISE Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, Englewood Cliffs (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dan, L., Aichernig, B.K. (2005). Combining Algebraic and Model-Based Test Case Generation. In: Liu, Z., Araki, K. (eds) Theoretical Aspects of Computing - ICTAC 2004. ICTAC 2004. Lecture Notes in Computer Science, vol 3407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31862-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-31862-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25304-4
Online ISBN: 978-3-540-31862-0
eBook Packages: Computer ScienceComputer Science (R0)