DocumentCode
625547
Title
LBTest: A Learning-Based Testing Tool for Reactive Systems
Author
Meinke, Karl ; Sindhu, Muddassar A.
Author_Institution
Sch. of Comput. Sci. & Commun., R. Inst. of Technol. (KTH), Stockholm, Sweden
fYear
2013
fDate
18-22 March 2013
Firstpage
447
Lastpage
454
Abstract
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.
Keywords
formal verification; learning (artificial intelligence); program testing; software tools; LBTest tool; incremental learning algorithms; learning-based testing tool; model checking algorithms; reactive systems; support tool evaluation; test case generation; test execution; test verdict construction; Computer architecture; Encoding; Learning automata; Model checking; Prediction algorithms; Unified modeling language; LBTest; black box testing; learning-based testing; requirements testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
Conference_Location
Luembourg
Print_ISBN
978-1-4673-5961-0
Type
conf
DOI
10.1109/ICST.2013.62
Filename
6569759
Link To Document