|
|||||
|
|
Temporal property patterns for model-based testing from UML/OCL |
|
| Authors: | Dadeau Frédéric Fourneret Elizabeta Bouchelaghem Abir |
| Affiliation: | 1.CNRS UMR 6174, FEMTO-ST Institute, University of Bourgogne Franche-Comté, 16 route de Gray, 25030, Besançon Cedex, France ;2.Smartesting Solutions & Services, 18 rue Alain Savary, 25000, Besançon Cedex, France ; |
| Abstract: | Software and Systems Modeling - This article describes a new property- and model-based testing approach using UML/OCL models, driven by temporal property patterns and a tool for assisting the... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |