Külli Sarna
ABSTRACT
We introduce an approach to exploiting aspects in model-based testing and describe how an aspect-oriented model for testing purposes can be constructed. At first, we introduce the aspects to be addressed in testing safety and time critical systems and describe how the aspects enhance in defining test cases. We present a way how behavioural aspect models are defined formally as refinements of extended timed automata models, and how the aspect models are used for generating abstract online testers. Applying these techniques aspect-wise allows one to structure the model-based testing process in terms of well-defined model transformation steps. The approach is illustrated with an ATM case study.
- Vain, J., et al. 2011. Online testing of nondeterministic systems with reactive planning tester. Dependability and Computer Engineering: Concepts for Software-Intensive Systems (113--150). Hershey, PA: IGI Global.Google Scholar
- Kuusik, A., et al. 2010. Software architecture for modern telehome care systems. In Proceedings of the 6th International Conference on Networked Computing. IEEE Computer Society Press (326--331).Google Scholar
- Pfaller, C. 2008. Requirements-based test case specification by using information from model construction. In Proceedings of the 3rd international workshop on Automation of software test. ACM, New York, NY, USA 7--16. Google ScholarDigital Library
- J. Bengtsson, W. Yi. 2004. Timed automata: Semantics, algorithms and tools. Lecture Notes on Concurrency and Petri Nets, Lecture Notes in Computer Science vol. 3098.Google Scholar
- Yedduladoddi, R. 2009. Aspect Oriented Software develop-ment: An Approach to Composing UML Design Models. VDM Verlag Dr. Müller.Google Scholar
- Schauerhuber, A., et al. 2006. A Survey on aspect-oriented modeling approaches.Google Scholar
- Kienzle, J., et al. 2010. Aspect-Oriented Design with Reusable Aspect Models. In Transactions on aspect-oriented software development VII. Springer-Verlag, Berlin, Heidelberg 272--320. Google ScholarDigital Library
- Rashid, A. 2008. Aspect-Oriented Requirements Engineering: An Introduction. In Proceedings of 16th IEEE. Google ScholarDigital Library
- Disenfeld, C and Katz, S. 2011. Compositional verification of events and observers. In Proceeding of 10th FOAL. ACM, New York, NY, USA, 1--5. Google ScholarDigital Library
Index Terms
- Exploiting aspects in model-based testing
Recommendations
State-based testing of integration aspects
WTAOP '06: Proceedings of the 2nd workshop on Testing aspect-oriented programsAspect-oriented programming supports a variety of composition strategies, from the clearly acceptable to the questionable. One of the strategies is to make an aspect integrate separate concerns. Such integration aspects, like other aspects, may ...
Increasing test efficiency by risk-driven model-based testing
Highlights- A novel approach is introduced for refining models used for model-based testing.
AbstractWe introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise a set of ...
Online Model-Based Behavioral Fuzzing
ICSTW '13: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation WorkshopsFuzz testing or fuzzing is interface robustness testing by stressing the interface of a system under test (SUT) with invalid input data. It aims at finding security-relevant weaknesses in the implementation that may result in a crash of the system-under-...
Comments