Abstract
We introduce an approach for the construction of feature test models expressed in the CSP process algebra, from use cases described in a controlled natural language. From these models, our strategy automatically generates test cases for both individual features and feature interactions, in the context of an industrial cooperation with Motorola Inc., where each feature represents a mobile device functionality. The test case generation can be guided by test purposes, which allow selection based on particular traces of interest. More generally, we characterise a testing theory in terms of CSP: test models, test purposes, test cases, test execution, test verdicts and soundness are entirely defined in terms of CSP processes and refinement notions. We have also developed a tool, ATG, which mechanises the entire generation process.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Andrade, W., et al.: Interruption Test Case Generation for Mobile Phone Applications (in Portuguese). In: XXV Brazilian Symposium in Computer Networks and Distributed Systems (2007)
Cabral, G., Sampaio, A.: Formal Specification Generation from Requirement Documents. Electron. Notes Theor. Comput. Sci. 195, 171–188 (2008); Best Paper Award
Cavalcanti, A., Gaudel, M.-C.: Testing for Refinement in CSP. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 151–170. Springer, Heidelberg (2007)
Hierons, R.: Checking states and transitions of a set of communicating finite state. Microprocessors and Microsystems, Special Issue on Testing and testing techniques for real-time embedded software systems 24(9), 443–452 (2001)
Jard, C., Jéron, T.: TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transf. 7(4), 297–315 (2005)
Bogdanov, K., et al.: Working together: Formal Methods and Testing. ACM Computing Surveys (December 2003)
Ledru, Y., et al.: Test Purposes: Adapting the Notion of Specification to Testing. In: ASE 2000, p. 127 (2001)
Leitão, D., Torres, D., Barros, F.A.: Nlforspec: Translating natural language descriptions into formal test case specifications. In: SEKE, Knowledge Systems Institute Graduate School, pp. 129–134 (2007)
Formal Systems. Failures-Divergence Refinement - FDR2 User Manual. Formal Systems (Europe) Ltd (June 2005)
ISO 8807:1989. LOTOS: A formal description technique based on the temporal ordering of observational behaviour. ISO (1989)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Nogueira, S., Sampaio, A., and Mota, A. Guided Test Generation from CSP Models. Tech. rep., CIn-UFPE (July 2007), http://www.cin.ufpe.br/~scn/reports/TR-Mar08.pdf
Peleska, J., Siegel, M.: Test automation of safety-critical reactive systems. South African Computer Journal 19, 53–77 (1997)
Ramos, R., Sampaio, A., Mota, A.: Framework composition conformance via refinement checking. In: SAC 2008: Proceedings of the, ACM symposium on Applied computing, vol. 23, pp. 119–125 (2008)
Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR (1997)
Sampaio, A., et al.: Software test program: a software residency experience. In: ICSE 2005, pp. 611–612. ACM Press, New York (2005)
Schneider, S.: Abstraction and testing. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 738–757. Springer, Heidelberg (1999)
Torres, D., Leitão, D., Barros, F.A.: Motorola SpecNL: A Hybrid System to Generate NL Descriptions from Test Case Specifications. HIS 0, 45 (2006)
Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)
Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)
Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review, November 8–12, pp. 8–12 (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nogueira, S., Sampaio, A., Mota, A. (2008). Guided Test Generation from CSP Models. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds) Theoretical Aspects of Computing - ICTAC 2008. ICTAC 2008. Lecture Notes in Computer Science, vol 5160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85762-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-85762-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85761-7
Online ISBN: 978-3-540-85762-4
eBook Packages: Computer ScienceComputer Science (R0)