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...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Pap Zoltán
Rétháti Zoltán
Horváth Róbert
Adamis Gusztáv
Testületi szerző: Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged)
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