![](bg8.png)
model connecting dedicated activities of the testing
life cycle via model artifacts, the basis for consistent
automation throughout all steps of the testing process
is given. Second, the model-based nature of all
activities gives testers the possibility to perform
tests on early development artifacts and thus gain
information about the presence of defects as soon
as possible. Additionally, the model-based way of
specifying information, in turn, enables testers to
focus on the conceptual tasks by abstracting from
details. The abstraction from details, which is
carried out consistently, prevents effects like test
case explosion to take place during testing, due
to steadily encapsulating details and concentrating
on the essential. Further, our approach is not
only focused on the Dynamic Test Processes of
the ISO/IEC/IEEE 29119 standard. Organizational
and Test Management aspects are also aligned
to the model-based way of specifying and using
information. The testers view and the management
view on the project are thereby harmonized, to
produce high-quality products. All over, we
introduced a new model-based approach, aiming for
the detection of defects, introduced in early stages
of software development, which is applicable to
design-time artifacts as well as code.
Nevertheless, we previously discussed the
shortcomings, potentially hindering the practical
application as well as the acceptance by the testing
community.
REFERENCES
ANSI/IEEE 1008 (1987). IEEE Standard for Software Unit
Testing. Standard, IEEE Computer Society Press,
Washington, USA.
ANSI/IEEE 1012 (2012). IEEE Standard for System and
Software Verification and Validation. Standard, IEEE
Computer Society Press, Washington, USA.
Apfelbaum, L. and Doyle, J. (1997). Model based testing.
In Software Quality Week Conference, pages 296–300.
BS 7925-1 (1998). Software testing. Vocabulary. Standard,
BSI British Standards, London, UK.
BS 7925-2 (1998). Software testing. Software Component
Testing. Standard, BSI British Standards, London,
UK.
Daoudagh, S., Kateb, D. E., Lonetti, F., Marchetti,
E., and Mouelhi, T. (2015). A toolchain for
model-based design and testing of access control
systems. In 2015 3rd International Conference
on Model-Driven Engineering and Software
Development (MODELSWARD), pages 411–418.
de Lara, J., Guerra, E., and Cuadrado, J. S. (2015).
Model-driven engineering with domain-specific
meta-modelling languages. Software & Systems
Modeling, 14(1):429–459.
DeMillo, R. A., Lipton, R. J., and Sayward, F. G. (1978).
Hints on test data selection: Help for the practicing
programmer. Computer, 11(4):34–41.
Elbaum, S., Malishevsky, A. G., and Rothermel, G.
(2002). Test case prioritization: A family of empirical
studies. IEEE transactions on software engineering,
28(2):159–182.
Felderer, M. and Schieferdecker, I. (2014). A taxonomy of
risk-based testing. International Journal on Software
Tools for Technology Transfer (STTT), 16(5):559–568.
IEEE 829 (2008). IEEE Standard for Software and System
Test Documentation. Standard, IEEE Computer
Society Press, Washington, USA.
ISO 29119-1 (2013). Software and systems engineering
– Software testing – Part 1: Concepts and
definitions. Standard, International Organization for
Standardization, Geneva, CH.
ISO 29119-2 (2013). Software and systems engineering –
Software testing – Part 2: Test Processes. Standard,
International Organization for Standardization,
Geneva, CH.
ISO 29119-3 (2013). Software and systems
engineering – Software testing – Part 3: Test
Documentation. Standard, International Organization
for Standardization, Geneva, CH.
ISO 29119-4 (2015). Software and systems engineering –
Software testing – Part 4: Test Techniques. Standard,
International Organization for Standardization,
Geneva, CH.
ISO 29119-5 (2016). Software and systems engineering
– Software testing – Part 5: Keyword-Driven
Testing. Standard, International Organization for
Standardization, Geneva, CH.
Jia, Y. and Harman, M. (2011). An analysis and survey
of the development of mutation testing. IEEE
transactions on software engineering, 37(5):649–678.
Krenn, W., Schlick, R., Tiran, S., Aichernig, B.,
Jobstl, E., and Brandl, H. (2015). Momut::uml
model-based mutation testing for uml. In 2015 IEEE
8th International Conference on Software Testing,
Verification and Validation (ICST), pages 1–8.
Rumpold, A., Pröll, R., and Bauer, B. (2017). A
domain-aware framework for integrated model-based
system analysis and design. In MODELSWARD17,
pages 157–168.
Saad, C. and Bauer, B. (2013). Data-flow based model
analysis and its applications. In International
Conference on Model Driven Engineering Languages
and Systems, pages 707–723. Springer.
Utting, M., Pretschner, A., and Legeard, B. (2012).
A taxonomy of model-based testing approaches.
Software Testing, Verification and Reliability,
22(5):297–312.
Zschaler, S., Kolovos, D. S., Drivalos, N., Paige, R. F., and
Rashid, A. (2009). Domain-specific metamodelling
languages for software language engineering. SLE,
9:334–353.
AMARETTO 2018 - Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
706