Automatic test selection based on CEFSM specifications
Mutation analysis is a fault based testing method used initially for code based software testing. In this paper, this method is applied to formal specifications and used for automatic conformance test selection. This paper defines formally a set of mutation operators for CEFSM (Communicating Extende...
Elmentve itt :
| Szerzők: | |
|---|---|
| Testületi szerző: | |
| Dokumentumtípus: | Cikk |
| Megjelent: |
2002
|
| Sorozat: | Acta cybernetica
15 No. 4 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12697 |
| LEADER | 01745nab a2200253 i 4500 | ||
|---|---|---|---|
| 001 | acta12697 | ||
| 005 | 20220614142250.0 | ||
| 008 | 161015s2002 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Kovács Gábor | |
| 245 | 1 | 0 | |a Automatic test selection based on CEFSM specifications |h [elektronikus dokumentum] / |c Kovács Gábor |
| 260 | |c 2002 | ||
| 300 | |a 583-599 | ||
| 490 | 0 | |a Acta cybernetica |v 15 No. 4 | |
| 520 | 3 | |a Mutation analysis is a fault based testing method used initially for code based software testing. In this paper, this method is applied to formal specifications and used for automatic conformance test selection. This paper defines formally a set of mutation operators for CEFSM (Communicating Extended Finite State Machine) systems to enable the automated creation of mutant specifications. Mutants of a specification are used as selection criteria to pick out adequate test cases. Two different algorithms are proposed for the generation and selection of efficient test suites. Additionally, the operators and algorithms provide the basis of an automatic tool developed at the Budapest University of Technology and Economics. We present the results of an empirical study on the well-known INRES protocol acquired using the tool. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Kibernetika | ||
| 700 | 0 | 1 | |a Pap Zoltán |e aut |
| 700 | 0 | 1 | |a Csopaki Gyula |e aut |
| 710 | |a Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged) | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12697/1/cybernetica_015_numb_004_583-599.pdf |z Dokumentum-elérés |