Abstract
Model-Based Testing (MBT) uses a model of the System Under Test as reference to automatically derive test cases. Since it is often not reasonable to cover all the behaviours formalized in the model, coverage criteria are applied to select a relevant subset of model behaviours. In this paper, we propose a dedicated test coverage criterion, based on Def-Use criteria on signal exchange, to implement MBT approach from Systems Modeling Language (SysML) test models to validate mechatronic systems. This novel criterion is introduced and the relevance of the approach from SysML models is discussed regarding results obtained with a dedicated MBT toolchain implementing this criterion.
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
Utting, M., Legeard, B.: Practical Model-Based Testing - A tools approach. Elsevier Science (2006) ISBN 0 12 372501 1
Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F.: A test generation solution to automate software testing. In: Proceedings of the 3rd Int. Workshop on Automation of Software Test (AST 2008), Leipzig, Germany, pp. 45–48. ACM (May 2008)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley (2004) ISBN 0321245628
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley (1996) ISBN 0 201 37940 6
Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: Proc. of the Int. Work. on Advances in Model Based Testing, London, UK, pp. 95–104. ACM Press (July 2007)
Offutt, A., Xiong, Y., Liu, S.: Criteria for generating specification-based tests. In: Proc. of the IEEE Int. Conf. on Engineering of Complex Computer Systems, Las Vegas, USA, pp. 119–131. IEEE Computer Society Press (October 1999)
Rapps, S., Weyuker, E.: Selecting Software Test Data Using Data Flow Information. Journal of IEEE Transaction on Software Engineering 11(4), 367–375 (1985)
Vilkomir, S., Bowen, J.: Formalization of software testing criteria using the Z notation. In: Proceedings of the 25th Int. Conf. on Computer Software and Applications (COMPSAC 2001), Chicago, USA. IEEE Computer Society Press (October 2001)
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann (2009) ISBN 9780123743794
Ehmanns, D., Hochstadter, A.: Driver-model of lane change maneuvers. In: 7th World Congress on Intelligent Transportation Systems (November 2000)
Glaser, S., Mammar, S., Sainte-Marie, J.: Lateral driving assistance using embedded driver-vehicle-road model. In: Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, July 8-11 (2002)
Petin, J.F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal models for safety requirements verification. Systems Engineering, 1–10 (2010)
Bonfé, M., Fantuzzi, C.: Object-oriented modeling of logic control systems for industrial applications. Journal on Automation Technology in Practice 2 (2005)
Iqbal, M., Arcuri, A., Briand, L.: Automated system testing of real-time embedded systems based on environment models. Technical Report 2011-19, Simula (2011)
Thacker, R., Myers, C., Jones, K., Little, S.: A new verification method for embedded systems. In: Proceedings of the 2009 IEEE Int. Conference on Computer design, ICCD 2009, Piscataway, NJ, USA, pp. 193–200. IEEE Press (2009)
Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: Methodology and industrial case studies. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 286–300. Springer, Heidelberg (2010)
Mueller, W., Bol, A., Krupp, A., Lundkvist, O.: Generation of executable testbenches from natural language requirement specifications for embedded real-time systems. In: Hinchey, M., Kleinjohann, B., Kleinjohann, L., Lindsay, P.A., Rammig, F.J., Timmis, J., Wolf, M. (eds.) DIPES 2010. IFIP AICT, vol. 329, pp. 78–89. Springer, Heidelberg (2010)
Evrot, D., Pétin, J.F., Morel, G., Lamy, P.: Using SysML for identification and refinement of machinery safety properties. In: Proceedings of IFAC Workshop on Dependable Control of Discretes Systems, Cachan, France (June 2007)
Faria, J., Mahomad, S., Silva, N.: Tactical results from the application of model checking and test generation from UML/SysML model of on-board space applications. In: Proceedings of the Int. Conference on DAta Systems In Aerospace (DASIA 2009), Istanbul, Turkey, ESA Press (May 2009) ESA SP-669
OMG: UML Profile for MARTE. Revised draft 07-03-03L4.1, OMG (April 2007)
Frankl, P., Weyuker, E.: An Applicable Family of Data Flow Testing Criteria. The Journal of IEEE Transaction on Software Engineering 14(10), 1483–1498 (1988)
Weißleder, S.: Simulated satisfaction of coverage criteria on UML state machines. In: Proceedings of the 3rd Int. Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, pp. 117–126. IEEE Computer Society (April 2010)
Lasalle, J., Bouquet, F., Legeard, B., Peureux, F.: SysML to UML model transformation for test generation purpose. In: 3rd Int. Workshop on UML and Formal Methods (UML&FM 2010), Shanghai, China, pp. 1–8. ACM SIGSOFT (November 2010)
Lasalle, J.: Automatic Test Generation from SysML Models to Validate Embedded Systems. PhD thesis, DISC/FEMTO-ST - University of Franche-Comté (2012)
Lasalle, J., Peureux, F., Guillet, J.: Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems. In: Proc. of the 1st Int. Work. on End-to-End Test Script Engineering, Toronto, Canada, pp. 16–23. ACM (2011)
Ambert, F., Bouquet, F., Lasalle, J., Legeard, B., Peureux, F.: Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports. In: Proceedings of the 4th Int. Conference on Advances in System Testing and Validation Lifecycle (VALID 2012), Lisbon, Portugal, pp. 139–144 (November 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambert, F., Bouquet, F., Lasalle, J., Legeard, B., Peureux, F. (2013). Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. In: Van Gorp, P., Ritter, T., Rose, L.M. (eds) Modelling Foundations and Applications. ECMFA 2013. Lecture Notes in Computer Science, vol 7949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39013-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-39013-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39012-8
Online ISBN: 978-3-642-39013-5
eBook Packages: Computer ScienceComputer Science (R0)