2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops, 2012
Modeling has been one of the most significant obstacles to why model-based testing has not been t... more Modeling has been one of the most significant obstacles to why model-based testing has not been taken into use by industry on a large scale. Therefore, generating models automatically is an attractive way of thinking. In wellstructured application domains, such as graphical user interface (GUI), this method can be used successfully. This paper gives a state-of-the-art overview of GUI model generation methods. The paper analyzes the methods from the point of view of model-based testing of GUI applications, where generated GUI models are used for generating the tests.
The paper describes a full procedure of executable test code generation from specification models... more The paper describes a full procedure of executable test code generation from specification models using the Uppaal model checker. Test cases are generated for black-box testing of reactive software that is connected to the tester via an asynchronous message-based interface. For specifying the observable behaviour of the software under test we define a modelling language that is based on extended finite state machines. A model in such a language is transformed to a Uppaal model taking a structural coverage criterion as a parameter. Uppaal is used to find an abstract test sequence that is suboptimal in terms of length. Next, we present the rules for transforming the abstract test sequences to TTCN-3.
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07, 2007
We describe a model-based construction of an online tester for black-box testing of implementatio... more We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output observable nondeterministic EFSM with the assumption that all transition paths are feasible. A test purpose is attributed to the IUT model by a set of Boolean variables called traps that are used to measure the progress of the test run. These variables are associated with the transitions of the IUT model. The situation where all traps have been reached means that the test purpose has been achieved. We present a way to construct a tester that at runtime selects a suboptimal test path from trap to trap by finding the shortest path to the next unvisited trap. The principles of reactive planning are implemented in the form of the decision rules of selecting the shortest paths at run-time. The decision rules are constructed in advance from the IUT model and the test purpose. Preliminary experimental results confirm that this method outperforms random choice and is comparable to anti-ant algorithms.
2008 11th International Biennial Baltic Electronics Conference, 2008
IP Multimedia Subsystem (IMS) is an architectural framework for delivering Internet protocol mult... more IP Multimedia Subsystem (IMS) is an architectural framework for delivering Internet protocol multimedia to mobile users. The functionality of the system is specified and standardised to allow interoperability between equipment from different vendors. We study how to build the system models for model-based testing of an IMS configuration in a way which provides easy means of linking a requirement, i.e. some paragraph in the specification to a specific part of the model. In addition, it allows to find out which requirements listed in the specification are violated in case of an error. Requirements-based approach in testing is extensively used in the industry in manual and scriptbased testing. The same should be possible for modelbased testing. The current case study describes how to model a fragment of the IMS protocols from the point of view of the requirements and provides solutions using either a network of Uppaal automata or NModel model programs.
Case study-based performance evaluation of reactive planning tester
... 6], Uppaal-Tron [7],[8] and also in the on-the-fly testing mode of SpecExplorer [9]. 3.2 ... ... more ... 6], Uppaal-Tron [7],[8] and also in the on-the-fly testing mode of SpecExplorer [9]. 3.2 ... L., Schulte, W., Tillmann, N.: Model-based testing of object-oriented reactive systems with Spec Explorer, Tech. ... Li, H., Lam, CP: Using anti-ant-like agents to generate test threads from the UML ...
Uploads
Papers by Andres Kull