Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
Series
TRITA-ICT-EX, 2014:103
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-177207OAI: oai:DiVA.org:kth-177207DiVA: diva2:872010
Examiners
Available from: 2015-12-08 Created: 2015-11-17 Last updated: 2017-07-31Bibliographically approved

Open Access in DiVA

fulltext(765 kB)5 downloads
File information
File name FULLTEXT01.pdfFile size 765 kBChecksum SHA-512
4809a1d5802e4580fcea1e81d7ea016adf819ad187b6b0e38166e999144678bb151cc841f07d0e9cb5f2143e34fb129c549af51db21767e1ee5988aa21c1cbcf
Type fulltextMimetype application/pdf

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 5 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

urn-nbn

Altmetric score

urn-nbn
Total: 49 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf