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
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;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
Conference_Location :
Luembourg
Print_ISBN :
978-1-4673-5961-0
DOI :
10.1109/ICST.2013.62
