Form Tester

Effective Integration of Model-Based and Manually Specified Test Cases

Rahul Dixit, Christof Lutteroth, Gerald Weber

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Whilst Model Based Testing (MBT) is an improvement over manual test specification, the leap from it to MBT can be hard. Only recently MBT tools for Web applications have emerged that can recover models from existing manually specified test cases. However, there are further requirements for supporting both MBT and manually specified tests. First, we need support for the generation of test initialization procedures. Also, we want to identify areas of the system that are not testable due to defects. We present Form Tester, a new MBT tool addressing these limitations. An evaluation with real Web applications shows that Form Tester helps to reduce the time spent on developing test cases.
Original languageEnglish
Title of host publicationProceedings of the the 37th International Conference on Software Engineering (ICSE), 2015
PublisherIEEE
Pages745-748
Number of pages4
ISBN (Electronic)9781479919345
DOIs
Publication statusPublished - 2015

Fingerprint

Testing
Specifications
Defects

Cite this

Dixit, R., Lutteroth, C., & Weber, G. (2015). Form Tester: Effective Integration of Model-Based and Manually Specified Test Cases. In Proceedings of the the 37th International Conference on Software Engineering (ICSE), 2015 (pp. 745-748). IEEE. https://doi.org/10.1109/ICSE.2015.237

Form Tester : Effective Integration of Model-Based and Manually Specified Test Cases. / Dixit, Rahul; Lutteroth, Christof; Weber, Gerald.

Proceedings of the the 37th International Conference on Software Engineering (ICSE), 2015. IEEE, 2015. p. 745-748.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dixit, R, Lutteroth, C & Weber, G 2015, Form Tester: Effective Integration of Model-Based and Manually Specified Test Cases. in Proceedings of the the 37th International Conference on Software Engineering (ICSE), 2015. IEEE, pp. 745-748. https://doi.org/10.1109/ICSE.2015.237
Dixit R, Lutteroth C, Weber G. Form Tester: Effective Integration of Model-Based and Manually Specified Test Cases. In Proceedings of the the 37th International Conference on Software Engineering (ICSE), 2015. IEEE. 2015. p. 745-748 https://doi.org/10.1109/ICSE.2015.237
Dixit, Rahul ; Lutteroth, Christof ; Weber, Gerald. / Form Tester : Effective Integration of Model-Based and Manually Specified Test Cases. Proceedings of the the 37th International Conference on Software Engineering (ICSE), 2015. IEEE, 2015. pp. 745-748
@inproceedings{61d5a840c7714bbeae438958e5f3444d,
title = "Form Tester: Effective Integration of Model-Based and Manually Specified Test Cases",
abstract = "Whilst Model Based Testing (MBT) is an improvement over manual test specification, the leap from it to MBT can be hard. Only recently MBT tools for Web applications have emerged that can recover models from existing manually specified test cases. However, there are further requirements for supporting both MBT and manually specified tests. First, we need support for the generation of test initialization procedures. Also, we want to identify areas of the system that are not testable due to defects. We present Form Tester, a new MBT tool addressing these limitations. An evaluation with real Web applications shows that Form Tester helps to reduce the time spent on developing test cases.",
author = "Rahul Dixit and Christof Lutteroth and Gerald Weber",
year = "2015",
doi = "10.1109/ICSE.2015.237",
language = "English",
pages = "745--748",
booktitle = "Proceedings of the the 37th International Conference on Software Engineering (ICSE), 2015",
publisher = "IEEE",
address = "USA United States",

}

TY - GEN

T1 - Form Tester

T2 - Effective Integration of Model-Based and Manually Specified Test Cases

AU - Dixit, Rahul

AU - Lutteroth, Christof

AU - Weber, Gerald

PY - 2015

Y1 - 2015

N2 - Whilst Model Based Testing (MBT) is an improvement over manual test specification, the leap from it to MBT can be hard. Only recently MBT tools for Web applications have emerged that can recover models from existing manually specified test cases. However, there are further requirements for supporting both MBT and manually specified tests. First, we need support for the generation of test initialization procedures. Also, we want to identify areas of the system that are not testable due to defects. We present Form Tester, a new MBT tool addressing these limitations. An evaluation with real Web applications shows that Form Tester helps to reduce the time spent on developing test cases.

AB - Whilst Model Based Testing (MBT) is an improvement over manual test specification, the leap from it to MBT can be hard. Only recently MBT tools for Web applications have emerged that can recover models from existing manually specified test cases. However, there are further requirements for supporting both MBT and manually specified tests. First, we need support for the generation of test initialization procedures. Also, we want to identify areas of the system that are not testable due to defects. We present Form Tester, a new MBT tool addressing these limitations. An evaluation with real Web applications shows that Form Tester helps to reduce the time spent on developing test cases.

UR - http://dx.doi.org/10.1109/ICSE.2015.237

U2 - 10.1109/ICSE.2015.237

DO - 10.1109/ICSE.2015.237

M3 - Conference contribution

SP - 745

EP - 748

BT - Proceedings of the the 37th International Conference on Software Engineering (ICSE), 2015

PB - IEEE

ER -