Change search
ReferencesLink to record
Permanent link

Direct link
A Front-end to LBTest for Conformance Testing of Embedded Systems
KTH, School of Information and Communication Technology (ICT).
2014 (English)Independent thesis Basic level (professional degree), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

This report presents the work creating and evaluating a front-end for conformance testing with the LBTest software and the viability of a tool of this kind. LBTest is a tool designed for learning-based testing of embedded systems using model checking. In order to reach a verdict the model checking uses a specification written in linear temporal logic. The front-ends desired functionality is to translate NuSMV-files into linear temporal logic. A .dot-file should also be generated in order to render a visual representation of the Nu- SMV-file. A case study where the front-end translates a model's specification and testing it on a program with LBTest is successful and shows that a frontend is possible to create and use in order to achieve conformance testing in LBTest.

Abstract [sv]

Den här rapporten beskriver arbetet för att skapa och utvärdera en front-end för testningsprogramvaran LBTest och hur användbart ett sådant verktyg är för att använda sig av conformance testing. LBTest använder learning-based testing för att lära sig hur inbyggda system är uppbyggda genom att använda model checking. Det slutgiltiga front-end programmet ska översätta modellspecifikationer skrivna i NuSMV till linear temporal logic som är det logikspråk som LBTest använder sig av. Även en .dot-fil ska skapas som kan användas till att rendera en grafisk representation av modellspecifikationen. En fallstudie av programmet där en modellspecifikation översätts och körs i LBTest visar att mjukvara av den här typen går att skapa och är en lämpligt verktyg för att uppnå conformance testing med LBTest.

Place, publisher, year, edition, pages
2014. , 61 p.
TRITA-ICT-EX, 2014:103
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-177207OAI: diva2:872010
Available from: 2015-12-08 Created: 2015-11-17 Last updated: 2015-12-08Bibliographically approved

Open Access in DiVA

No full text

By organisation
School of Information and Communication Technology (ICT)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
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: 32 hits
ReferencesLink to record
Permanent link

Direct link