<P><SPAN class=style11><FONT face=Arial size=2>The current industrial trend to increasing complexity and functionality in software and electronic components leads to an ever–growing demand for software quality – combined with an increasing error–proneness which is also related to shortened development times. In order to remain competitive, an early and continuous consideration and assurance of system quality becomes an asset of ever–increasing importance in industrial software development. Model–based approaches help not only in effective quality assurance, but help also to evaluate and control the coverage, costs, and risks related to the testing efforts. Both – the effectiveness and the efficiency of testing – can be handled by model–based approaches within integrated system and test development for software–intense systems. Currently, model–based testing considers selected aspects of system models in isolation, e.g. structural or behavioural models. This means that the methods are of limited applicability and that they also do not scale with respect to the size and conceptual complexity of real systems. The Testing Workshop at ECMDA seeks to provide answers to the many open issues related to model–driven testing. </FONT></SPAN></P> <P><B>Keywords:</B> </P> <P class=style8><SPAN class=style17><STRONG>· </STRONG></SPAN>Innovative model–based approaches to design and define test specifications<BR><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Test languages and methodologies (e.g. TTCN–3, UML2 testing profile)<BR><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Guidelines for model–based testing<BR><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Model–based approaches for component, integration and system testing<BR><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Executable test models and simulation<BR></SPAN><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Derivation of test models from system models<BR></SPAN><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Validation of test models<BR></SPAN><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Test models for non–functional quality properties (e.g. reliability, safety, performance)<BR></SPAN><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Optimization of test sets<BR></SPAN><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Cost and economic impact of model–based testing<BR></SPAN><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Tool automation and tool support<BR></SPAN><SPAN class=style8><SPAN class=style11><SPAN class=style17><STRONG>· </STRONG></SPAN></SPAN>Experience reports from related case studies in various domains</SPAN></P>
Abbrevation
MoTiP
City
Berlin
Country
Germany
Deadline Paper
Start Date
End Date
Abstract