Abstract
In principle, automated test case generation – both from source code and models – is a fairly evolved technology, which is on the way to common use in industrial testing and quality assessment of safety-related, software-intensive systems. However, common coverage measures such as branch or MC/DC for source code and states or transitions for state-based models provide only very limited information about the covered (implementation) faults. Fault-based test case generation tries to improve this situation by looking for detecting faults explicitly. This paper describes an approach combining fault- and model-based testing which has been realized in the European project MOGENTES, using UML state machines for representing requirements, and discusses results of its application to a use case from the automotive domain.
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., Brandl, H., Jöbstl, E., Krenn, W.: Efficient Mutation Killers in Action. In: Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation, ICST (March 2011) (in press)
Aichernig, B.K., Krenn, W.: Model-Based Generation of Test-Cases (for Embedded Systems) – State of the Art Survey. Deliverable 1.2 of EU FP7 project MOGENTES, http://www.mogentes.eu/public/deliverables/MOGENTES_1-19a_1.1r_D1.2_Survey_Part-a.pdf
Aichernig, B.K., He, J.: Mutation testing in UTP. Journal of Formal Aspects of Computing 21(1-2) (February 2009)
Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Protocol conformance testing a SIP registrar: An industrial application of formal methods. In: Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods, pp. 215–224. IEEE, London (2007)
Back, R.J.R., Kurki-Suonio, F.: Distributed cooperation with action systems. ACM Trans. Program. Lang. Syst. 10(4), 513–554 (1988) ISSN 0164-0925
Bonsangue, M.M., Kok, J.N., Sere, K.: An approach to object-orientation in action systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol. 1422, pp. 68–95. Springer, Heidelberg (1998)
Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated Conformance Verification of Hybrid Systems. In: Proceedings of the 2010 10th International Conference on Quality Software (QSIC 2010), pp. 3–12. IEEE Computer Society, Los Alamitos (2010) ISBN 978-0-7695-4131-0
Briand, L.C., Di Penta, M., Labiche, Y.: Assessing and improving state-based class testing: a series of experiments. IIEEE Trans. Software Eng. 30, 770–783 (2004)
Chaki, S., Clarke, S., Groce, A., Jha, S., Veith, H.: Formal Verification of Software Components in C. Trans. of SW Engineering 30(6), 388–402 (2004)
Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., Masiero, P.C.: Mutation testing applied to validate specifications based on statecharts. In: Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), Boca Raton, FL, USA, pp. S.210–219
Fröhlich, P., Link, J.: Automated test case generation from dynamic models. In: Hwang, J. (ed.) ECOOP 2000. LNCS, vol. 1850, pp. 472–492. Springer, Heidelberg (2000)
Gnesi, S., Latella, D., Massink, M., Moruzzi, V., Pisa, I.: Formal test-case generation for uml statecharts. In: Proc. 9th IEEE Int. Conf. on Engineering of Complex Computer Systems 2004, pp. 75–84 (2004)
Jia, Y., Harman, M.: An Analysis and Survey of the Development of Mutation Testing. IEEE Transactions on Software Engineering PP(99), 1
Myers, G.J., Sandler, C.: The Art of Software Testing. John Wiley & Sons, Chichester (2004) ISBN 0471469122
Oster, N., Saglietti, F.: Automatic test data generation by multi-objective optimisation. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 426–438. Springer, Heidelberg (2006) ISBN 3-540-45762-3
Seifert, D., Helke, S., Santen, T.: Test Case Generation for UML Statecharts. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 462–468. Springer, Heidelberg (2004)
Shao, Z.: Certified Software. Comm. ACM 53(12), 56–66 (2010)
Tretmans, J.: Test generation with inputs, outputs, and quiescence. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 127–146. Springer, Heidelberg (1996)
VIATRA, http://dev.eclipse.org/viewcvs/indextech.cgi/gmt-home/subprojects/VIATRA2
Walter, D., Täubig, H., Lüth, C.: Experiences in applying formal verification in robotics. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 347–360. Springer, Heidelberg (2010)
Weißleder, S., Schlingloff, B.H.: Deriving input partitions from UML models for automatic test generation. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 151–163. Springer, Heidelberg (2008)
Yang, Q., Ma, D., Zhao, Y., Li, Z.: Towards a Formal Verification Approach for Implementation of Web Services Specifications. In: Proc. of 2010 IEEE Asia-Pacific Services Computing Conf., pp. 269–276 (December 2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schlick, R., Herzner, W., Jöbstl, E. (2011). Fault-Based Generation of Test Cases from UML-Models – Approach and Some Experiences. In: Flammini, F., Bologna, S., Vittorini, V. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2011. Lecture Notes in Computer Science, vol 6894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24270-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-24270-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24269-4
Online ISBN: 978-3-642-24270-0
eBook Packages: Computer ScienceComputer Science (R0)