Software Testing, Verification and Reliability

Model-based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of the MBT and defines a taxonomy that covers the key aspects of the MBT approaches. It is intended to help in understanding the characteristics, similarities and differences of those approaches, and in classifying the approach used in a particular MBT tool. Copyright © 2011 John Wiley & Sons, Ltd.

Model-based testing has not been widely deployed in the industry yet. A survey among mobile software testing professions in Finland was conducted that aimed at investigating the possible obstacles and opportunities towards the wider deployment of this technology. This paper discusses the results and provides the conclusions that indicate that at least in this context, there is much interest among practitioners towards the technology. Based on the survey findings, an agenda for the future model-based testing research is outlined. Copyright © 2011 John Wiley & Sons, Ltd.

This paper presents the experimental results in applying formal methods to an industrial protocol for constraint-based path computation, called Path Computation Element Communication Protocol (PCEP). A number of major activities in model-based testing are included in the experiments from modeling to test generation where PCEP is described in the IF language and a number of tools are used for validation, verification, and test generation. As a result, some errors and ambiguities have been found in the PCEP standard specification. Copyright © 2011 John Wiley & Sons, Ltd.