Smartesting CertifyIt: Model-Based Testing for Enterprise IT

This paper presents Smartesting CertifyIt, a general-purpose model-based testing solution dedicated to the IT domain. In the process supported by this model-based testing solution, test generation models are developed using a subset of UML and BPMN notations. The automated test generation phase is led by several kinds of test selection criteria such as requirements coverage or scenario-based criteria. It targets both manually executed and automated test cases generation, and supports the publication of generated tests in a test management tool. In this paper, we describe the model-based testing process with Smartesting Certify-It for Enterprise IT applications based on composing business process and behavioral models.

[1]  Elfriede Dustin,et al.  Implementing Automated Software Testing: How to Save Time and Lower Costs While Raising Quality , 2009 .

[2]  Andreas Hoffmann,et al.  Model-Based Testing , 2012, IEEE Software.

[3]  James A. Whittaker,et al.  Building software securely from the ground up , 2002, IEEE Software.

[4]  Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[5]  Pieter J. Mosterman,et al.  Model-Based Testing for Embedded Systems , 2011, Computational Analysis, Synthesis, & Design Dynamic Systems.

[6]  Fabrice Bouquet,et al.  A subset of precise UML for model-based testing , 2007, A-MOST '07.

[7]  Bruno Legeard,et al.  A taxonomy of model‐based testing approaches , 2012, Softw. Test. Verification Reliab..

[8]  Ina Schieferdecker.  Model-Based Testing , 2012, IEEE Software.