Experimental Evaluation of Coverage Criteria for FSM-based Testing
نویسندگان
چکیده
In order to plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion, that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and thus empirical data are needed. In this paper, we present the results of an experimental evaluation of several commonly used coverage criteria for Finite State Machines.
منابع مشابه
Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols
In this paper, we consider the problem of test derivation based on an Extended Finite State Machine (EFSM) that is widely used for describing the behavior of telecommunication protocols and software. An EFSM augments a classical Finite State Machine (FSM) with context variables, input/output parameters and predicates. Tests based on various coverage criteria for EFSMs do not capture many functi...
متن کاملTest Generation for a System of Communicating Finite State Machines
A system of communicating finite state machines (SCFSM) is a usual design model of a complicated system composed of multiple communicating components. SCFSM testing usually depends on finite state machine (FSM) testing as an SCFSM can be converted to an equivalent FSM. SCFSM testing, however, should consider the properties of SCFSMs which are different from those of component FSMs. This paper p...
متن کاملPolitecnico di Torino Porto Institutional Repository [ Proceeding ] Evolution of Test Programs Exploiting a FSM Processor Model
Microprocessor testing is becoming a challenging task, due to the increasing complexity of modern architectures. Nowadays, most architectures are tackled with a combination of scan chains and Software-Based Self-Test (SBST) methodologies. Among SBST techniques, evolutionary feedback-based ones prove effective in microprocessor testing: their main disadvantage, however, is the considerable time ...
متن کاملEvolution of Test Programs Exploiting a FSM Processor Model
Microprocessor testing is becoming a challenging task, due to the increasing complexity of modern architectures. Nowadays, most architectures are tackled with a combination of scan chains and Software-Based Self-Test (SBST) methodologies. Among SBST techniques, evolutionary feedback-based ones prove effective in microprocessor testing: their main disadvantage, however, is the considerable time ...
متن کاملModeling basic LOTOS by FSMs for conformance testing
A challenging issue is the derivation of a nite test suite from a given LOTOS speci cation modeled by a labeled transition system (LTS) such that complete fault coverage is guaranteed for a certain class of implementations with respect to a particular conformance relation. It is shown in this paper that this problem can be solved by translating an LTS into an input/output nite state machine (FS...
متن کامل