Standardized event pair based test generation method using TSS&TP
In the software engineering test development takes significant resources. A general method for the creation of appropriate test suites could solve the problems of the often ad-hoc and time-consuming test generation process. The recent method uses formal specifications to support systematic derivatio...
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/12701 |
LEADER | 02002nab a2200265 i 4500 | ||
---|---|---|---|
001 | acta12701 | ||
005 | 20220614145426.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 Pap Zoltán | |
245 | 1 | 0 | |a Standardized event pair based test generation method using TSS&TP |h [elektronikus dokumentum] / |c Pap Zoltán |
260 | |c 2002 | ||
300 | |a 653-667 | ||
490 | 0 | |a Acta cybernetica |v 15 No. 4 | |
520 | 3 | |a In the software engineering test development takes significant resources. A general method for the creation of appropriate test suites could solve the problems of the often ad-hoc and time-consuming test generation process. The recent method uses formal specifications to support systematic derivation of complete test suites. From the formal specification using a special procedure a formalized document, the so-called Test Suite Structure (TSS) and Test Purposes (TP) can be created. With the help of this document developers can easily, automatically implement the test suites. The TSS&TP document also enables the persons who perform the tests to understand the test criteria and the steps, even if they do not actually know the protocol itself. We present a thorough picture of our test derivation method and show its efficiency on the Wireless Transaction Protocol (WTP) of the Wireless Application Protocol family (WAP). During our work in the validation phase we also found some operational flaws in the protocol specification. | |
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 Rétháti Zoltán |e aut |
700 | 0 | 1 | |a Horváth Róbert |e aut |
700 | 0 | 1 | |a Adamis Gusztáv |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/12701/1/cybernetica_015_numb_004_653-667.pdf |z Dokumentum-elérés |