Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing

1. Utting, M., Legeard, B.: Practical Model-Based Testing - A tools approach. Elsevier Science (2006) ISBN 0 12 372501 1

   Google Scholar 

2. 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)

   Google Scholar 

3. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley (2004) ISBN 0321245628

   Google Scholar 

4. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley (1996) ISBN 0 201 37940 6

   Google Scholar 

5. 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)

   Google Scholar 

6. 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)

   Google Scholar 

7. Rapps, S., Weyuker, E.: Selecting Software Test Data Using Data Flow Information. Journal of IEEE Transaction on Software Engineering 11(4), 367–375 (1985)

   Article  MATH  Google Scholar 

8. 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)

   Google Scholar 

9. Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann (2009) ISBN 9780123743794

   Google Scholar 

10. Ehmanns, D., Hochstadter, A.: Driver-model of lane change maneuvers. In: 7th World Congress on Intelligent Transportation Systems (November 2000)

    Google Scholar 

11. 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)

    Google Scholar 

12. Petin, J.F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal models for safety requirements verification. Systems Engineering, 1–10 (2010)

    Google Scholar 

13. Bonfé, M., Fantuzzi, C.: Object-oriented modeling of logic control systems for industrial applications. Journal on Automation Technology in Practice 2 (2005)

    Google Scholar 

14. Iqbal, M., Arcuri, A., Briand, L.: Automated system testing of real-time embedded systems based on environment models. Technical Report 2011-19, Simula (2011)

    Google Scholar 

15. 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)

    Google Scholar 

16. 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)

    Chapter  Google Scholar 

17. 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)

    Google Scholar 

18. 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)

    Google Scholar 

19. 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

    Google Scholar 

20. OMG: UML Profile for MARTE. Revised draft 07-03-03L4.1, OMG (April 2007)

    Google Scholar 

21. 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)

    Article  MathSciNet  Google Scholar 

22. 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)

    Google Scholar 

23. 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)

    Google Scholar 

24. Lasalle, J.: Automatic Test Generation from SysML Models to Validate Embedded Systems. PhD thesis, DISC/FEMTO-ST - University of Franche-Comté (2012)

    Google Scholar 

25. 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)

    Google Scholar 

26. 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)

    Google Scholar 

Download references