International audienceThe work introduced in this paper is in line with an original Model-Based Testing approach by taking as input a SysML specification of a system under test and automatically translating it into an equivalent behavioural UML model. This generated UML model is finally used to derive test cases and executable test scripts. This test generation process is supported by an existing UML/OCL Model-Based Test generation tool. This paper focuses on the definition of the subset of SysML notation supported by this Model-Based Testing approach, and proposes rewriting rules to derive UML test model from SysML model
International audienceThis paper reports about the VETESS project results and experience with building a model-based testing toolchain to validate automotive embedded systems. This approach, based on existing test generation and test execution tools, makes it possible to automatically derive and execute functional test cases from UML or SysML models. This process is composed of the following steps: modelling (UML or SysML functional view), abstract test case generation (symbolic execution of the model), concretization (generation of executable test scripts from abstract test cases) and analysis (assignation of the test verdict). This process is automated by a toolchain based on Topcased modeler, Smartesting test generator and Clemessy TestInView. This developed prototype made it possible to demonstrate that model-based testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts
International audienceModel-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
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.