Change search
ReferencesLink to record
Permanent link

Direct link
Implementing and Evaluating Automaton Learning Algorithms for a Software Testing Platform
Halmstad University, School of Information Technology. Theoretical computer science group at the School of Computer Science and Communication (CSC),KUNGLIGA TEKNISKA HÖGSKOLAN(KTH university ).
2015 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The Software Reliability group at KTH-CSC has designed and built a novel test platform LBTest for black-box requirements testing of reactive and embedded software systems (e.g. web servers, automobile control units, etc). The main concept of LBTest is to create a large number of test cases by incorporation of an automata learning algorithm with a model checking algorithm (NuSMV). This platform aims to support different learned automata, learning algorithms and different model checking algorithms which can be combined to implement the paradigm of learning-based testing (LBT).This thesis project investigates an existing published algorithm for learning deterministic finite automata (DFA)known as Kearns algorithm. The aimof this thesis is to investigate how effective Kearns algorithm is from a software testing perspective.Angluin’s well-known L* DFA learning algorithm has a simple structure and implementation. On the other hand, Kearnsalgorithm has more complex, difficult structure and harder implementation than L* algorithm, however it is more efficient and faster. For this reason, the plan is to implement an advanced DFA learning algorithm, Kearns algorithm[4], from a description in the literature (using Java).We consider a methodology to compare Kearns algorithm with Angluin’s DFA learning algorithm based on the master thesis of Czerny[8].The comparisonsbetween the Kearns and the L* algorithmsare based on the number of membership and equivalence queriesto investigate the difficulty of learning

Place, publisher, year, edition, pages
Keyword [en]
Automaton learning algorithms, software testing, machine learning, computational learning, DFA
Keyword [fa]
الگوریتم های یادگیری . تست نرم افزار . یادگیری ماشینی
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:hh:diva-28285OAI: diva2:812454
Subject / course
Information Technology
Available from: 2015-05-20 Created: 2015-05-18 Last updated: 2015-05-20Bibliographically approved

Open Access in DiVA

Final thesis report(2946 kB)219 downloads
File information
File name FULLTEXT01.pdfFile size 2946 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
School of Information Technology
Other Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 219 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 619 hits
ReferencesLink to record
Permanent link

Direct link