Conference Paper

Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.

Dept. de Comput., Univ. Fed. de Sao Carlos
DOI: 10.1109/SCCC.1999.810159 Conference: 19th International Conference of the Chilean Computer Science Society (SCCC '99), 11-13 November 1999, Talca, Chile
Source: DBLP


The quality of the VV&T-Verification, Validation and
Testing-activity is extremely relevant to the software development
process. Testing techniques and criteria have been investigated in the
context of VV&T of reactive systems specifications, providing
mechanisms to the VV&T activity quality assessment. The
establishment of a low-cost, effective testing and validation strategy
and the development of supporting tools have been pursued by many
researchers for coding and specification as well. This paper discusses
the main architectural and operational aspects of a tool, named
Proteum/FSM, that supports the application of mutation testing for
validating reactive systems specifications based on finite state
machines (FSM). Further improvements and research issues are briefly

16 Reads
  • Source
    • "Let us consider a simple drink vending machine, whose behaviour is represented by the original transition system on left of Figure 1. We consider the application of three transition systems mutation operators [15], removing a state, (see a) StateMissing), changing an event by another one (see b) EventExchanged) and changing the initial state of the system (see c) WrongStartState). These three mutants together with the original transition system can be compactly modelled using the FTS formalism presented in the previous section as depicted on the right of Figure 1. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Mutation testing is an effective technique for either improving or generating fault-finding test suites. It creates defective or incorrect program artifacts of the program under test and evaluates the ability of test suites to reveal them. Despite being effective, mutation is costly since it requires assessing the test cases with a large number of defective artifacts. Even worse, some of these artifacts are behaviourally "equivalent" to the original one and hence, they unnecessarily increase the testing effort. We adopt a variability perspective on mutation analysis. We model a defective artifact as a transition system with a specific feature selected and consider it as a member of a mutant family. The mutant family is encoded as a Featured Transition System, a compact formalism initially dedicated to model-checking of software product lines. We show how to evaluate a test suite against the set of all candidate defects by using mutant families. We can evaluate all the considered defects at the same time and isolate some equivalent mutants. We can also assist the test generation process and eciently consider higher-order mutants.
    22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Hong Kong; 11/2014
  • Source
    • "The quality of a test set is related to the ability of that test set to differentiate the program being tested from a set of marginally different, and presumably incorrect, alternate programs. Thus, the goal of the tester during mutation analysis is to create test cases that differentiate each mutant program from the original program by causing the mutant to produce different output [32]. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Software testing plays a crucial role in software development life cycle. Without testing, quality of software product is questionable. Mutation testing, widely accepted fault based testing technique. Aspect Oriented Programming is a new methodology that introduces the concept of modularization. AspectJ is an aspect oriented programming language that provides the concept of pointcut and advice. With new features, AOP introduces new faults that can be easily handled by mutation testing. In this paper, we evaluate the available AspectJ based mutation testing tools and identify the basic requirements that must be satisfied by any developed tool.
    International Journal of Computer Applications 10/2011; 31(1):33-38. DOI:10.5120/3791-5220
  • [Show abstract] [Hide abstract]
    ABSTRACT: PLAVIS project aims at establishing the basis for a platform (an integrated set of tools) to support the VV&T activities, providing an environment that improves the validation and verification process applied to space software systems. This paper introduces an environment, named Plavis/FSM, which integrates the tools Condado, MGASet and Proteum/FSM. These tools were developed in previous research projects by
Show more