Digitala Vetenskapliga Arkivet

Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Testing Safety Critical Avionics Software Using LBTest
Linköping University, Department of Computer and Information Science, Software and Systems.
2016 (English)Independent thesis Basic level (degree of Bachelor), 10,5 credits / 16 HE creditsStudent thesis
Abstract [en]

A case study for the tool LBTest illustrating benets and limitations of the tool along the terms of usability, results and costs. The study shows the use of learning based testing on a safety critical application in the avionics industry. While requiring the user to have the oretical knowledge of the tools inner workings, the process of using the tool has benefits in terms of requirement analysis and the possibility of finding design and implementation errors in both the early and late stages of development

Place, publisher, year, edition, pages
2016. , p. 41
Keywords [en]
Learning based testing, LBTest, model based testing, learning algorithm
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:liu:diva-133645ISRN: LIU-IDA/LITH-EX-G--15/077--SEOAI: oai:DiVA.org:liu-133645DiVA, id: diva2:1062309
External cooperation
Saab; KTH
Subject / course
Computer Engineering
Supervisors
Examiners
Available from: 2017-01-10 Created: 2017-01-05 Last updated: 2017-01-10Bibliographically approved

Open Access in DiVA

fulltext(926 kB)454 downloads
File information
File name FULLTEXT01.pdfFile size 926 kBChecksum SHA-512
2c015570014d0d48c939bcf27c5049f1445985803ccc13be7093fdfdba3315b29249616db09b8019db897ff330bc6536a09b882c1049faefec15708adbe18f1f
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Stenlund, Sebastian
By organisation
Software and Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 455 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: 224 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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