Topics
State machinePerson
software testingPerson
Abstract—Formal model based test derivation is now widely used in software testing. One of the formal models which is very close to software implementations is the model of an Extended Finite State machine (EFSM). Compared with an FSM the EFSM has predicates for condition representation and context variables. However, when deriving tests for an EFSM very complex reachability and distinguishability problem should be solved. For this reason, when deriving tests from an EFSM a number of FSM slices are used. In this paper, we discuss how to derive a test using an FSM slice with limited number of states and how to represent data in the PC memory for fast generation of such slice. Preliminary experimental results with protocol EFSMs are provided....
This paper presents a feasible transition path (FTP) generation approach for testing extended finite...
Abstract A hybrid specification language µSZ, in which the dynamic behaviour of a system is describe...
In this paper test generation methods and appropriate fault models for testing and analysis of embed...
The Extended Finite State Machine (EFSM) is a commonly used model for specifying software systems. A...
Abstract—In this paper, we consider the problem of test derivation based on an Extended Finite State...
The paper presents a Finite State Machine (FSM) based approach for deriving tests with reduced compl...
Abstract. Model Based Testing (MBT) is a functional testing technique that makes use of information ...
The extended finite state machine is a powerful model that can capture almost all the aspects of a s...
We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (...
Abstract The selection of appropriate test cases is an important issue in software engineering. A nu...
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence o...
Extended finite state machines (EFSMs), and languages such as state-charts that are similar to EFSMs...
AbstractModel-based testing automatically generates test cases from a model describing the behavior ...
ABSTRACT We present a method of generating test sequences for concurrent programs and communication ...
The ability to reverse-engineer models of software behaviour is valuable for a wide range of softwar...
This paper presents a feasible transition path (FTP) generation approach for testing extended finite...
Abstract A hybrid specification language µSZ, in which the dynamic behaviour of a system is describe...
In this paper test generation methods and appropriate fault models for testing and analysis of embed...
The Extended Finite State Machine (EFSM) is a commonly used model for specifying software systems. A...
Abstract—In this paper, we consider the problem of test derivation based on an Extended Finite State...
The paper presents a Finite State Machine (FSM) based approach for deriving tests with reduced compl...
Abstract. Model Based Testing (MBT) is a functional testing technique that makes use of information ...
The extended finite state machine is a powerful model that can capture almost all the aspects of a s...
We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (...
Abstract The selection of appropriate test cases is an important issue in software engineering. A nu...
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence o...
Extended finite state machines (EFSMs), and languages such as state-charts that are similar to EFSMs...
AbstractModel-based testing automatically generates test cases from a model describing the behavior ...
ABSTRACT We present a method of generating test sequences for concurrent programs and communication ...
The ability to reverse-engineer models of software behaviour is valuable for a wide range of softwar...
This paper presents a feasible transition path (FTP) generation approach for testing extended finite...
Abstract A hybrid specification language µSZ, in which the dynamic behaviour of a system is describe...
In this paper test generation methods and appropriate fault models for testing and analysis of embed...