LBTest: A Learning-based Testing Tool for Reactive Systems
2013 (English)In: Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013, IEEE Computer Society, 2013, 447-454 p.Conference paper (Refereed)
We give an introduction to the LBTest tool which implements learning-based testing for reactive systems. It makes use of incremental learning and model checking algorithms to automate: i) test case generation, ii) test execution and iii) test verdict construction. The paper illustrates the tool by means of a pedagogical case study, to enable the user to setup and learn the tool quickly. We provide a usability exercise to support tool evaluation.
Place, publisher, year, edition, pages
IEEE Computer Society, 2013. 447-454 p.
requirements testing, learning-based testing, black-box testing, LBTest
IdentifiersURN: urn:nbn:se:kth:diva-119088DOI: 10.1109/ICST.2013.62ISI: 000332473300050ScopusID: 2-s2.0-84883443673ISBN: 978-0-7695-4968-2OAI: oai:DiVA.org:kth-119088DiVA: diva2:609696
IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013; Luxembourg; Luxembourg; 18 May 2013 through 20 May 2013
QC 201303122013-03-062013-03-062014-04-10Bibliographically approved