Abstract
We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an efficient way. On top of that we provide a statistical stopping rule, that is independent of the underlying way of walking through the system, which allows us to stop earlier with a certain statistical reliability.
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
Andrews, A., Offutt, J., Alexander, R.: Testing web applications by modeling with FSMs. Softw. Syst. Model 4(3), 326–345 (2005)
Belli, F., Budnik, C., White, L.: Event-based modelling, analysis and testing of user interactions: approach and case study. Software Testing, Verification and Reliability 16(1), 3–32 (2006)
Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991)
Brinksma, E.: A theory for the derivation of tests. In: van Eijk, P.H.J., Vissers, C.A., Diaz, M. (eds.) The Formal Description Technique LOTOS: Results of the ESPRIT/SEDOS Project, pp. 235–247. Elsevier Science Publishers, North-Holland (1989)
Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M., et al. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 187–195. Springer, Heidelberg (2001)
Chen, T., von Mayrhauser, A., Hajjar, A., Anderson, C., Sahinoglu, M.: How much testing is enough? Applying stopping rules to behavioral model testing. In: HASE 1999: The 4th IEEE International Symposium on High-Assurance Systems Engineering, Washington, DC, USA, pp. 249–256. IEEE Computer Society, Los Alamitos (1999)
Chow, T.: Testing software designs modeled by finite-state machines. IEEE Trans. Softw. Eng. 4(3), 178–187 (1978)
De Nicola, R., Hennessy, M.: Testing equivalence for processes. In: Díaz, J. (ed.) ICALP 1983. LNCS, vol. 154, pp. 548–560. Springer, Heidelberg (1983)
Denise, A., Gaudel, M.-C., Gouraud, S.-D.: A generic method for statistical testing. In: ISSRE 2004: Proceedings of the 15th International Symposium on Software Reliability Engineering, Washington, DC, USA, pp. 25–34. IEEE Computer Society, Los Alamitos (2004)
Di Bucchianico, A., Groote, J.F., van. Hee, K., Kruidhof, R.: Statistical certification of software systems. Comm. Stat. C 37(2), 346–359 (2008)
El-Far, I.K., Whittaker, J.A.: Model-based Software Testing. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering. Wiley, Chichester (2001)
van Hee, K., Oanea, O., Post, R., Somers, L., van de Werf, J.M.: Yasper: a tool for workflow modeling and analysis. In: ACSD 2006: Proceedings of the 6th International Conference on Application of Concurrency to System Design, Washington, DC, USA, pp. 279–282. IEEE Computer Society, Los Alamitos (2006)
Howden, W.: Methodology for the generation of program test data. IEEE Trans. Softw. Eng. 24, 208–215 (1975)
Huang, J.: An approach to program testing. ACM Comp. Surveys 7(3), 113–128 (1975)
Lee, C., Nam, K., Park, D.H.: Optimal software release policy based on Markovian perfect debugging model. Comm. Statist. Theory Methods 30(11), 2329–2342 (2001)
Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-A survey. Proceedings of the IEEE 84, 1090–1126 (1996)
Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Morali, N., Soyer, R.: Optimal stopping rules for software testing. Naval Research Logistics 50, 88–104 (2003)
Plotkin, G.D.: An operational semantics for CSP. In: Bjørner, D. (ed.) Formal Description of Programming Concepts II, pp. 199–223. North-Holland, Amsterdam (1983)
Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985)
Thevenod-Fosse, P., Waeselynck, H., Crouzet, Y.: Software statistical testing. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B. (eds.) Predictably Dependable Computing Systems, pp. 253–272. Springer, Heidelberg (1995)
Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede, The Netherlands (1992)
Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv. 29(4), 366–427 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Corro Ramos, I., Di Bucchianico, A., Hakobyan, L., van Hee, K. (2008). Model Driven Testing Based on Test History. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds) Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, vol 5100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89287-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-89287-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89286-1
Online ISBN: 978-3-540-89287-8
eBook Packages: Computer ScienceComputer Science (R0)