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
Symbolic simulation for debugging and analysis of REKO models using KLEE
2013 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The verification of embedded software plays an important role in the design process of dependable and/or real-time systems. Testing remains an important means to validate desired system operation and offers accurate results (as we are examining the actual system and not a model thereof). However, coming up with test cases that stress possible errors is a difficult and time-consuming task. To this end, automatic test case generation offers an attractive solution. This thesis is based on the expansion of the REKO models validation, being REKO a component-based software which supports building system models for resource-constrained embedded systems based on Concurrent Reactive Objects and Components. The use of KLEE has been studied in order to generate test cases revealing both common errors (arithmetic and pointer dereferencing) and giving high code coverage (exciting feasible execution paths) in the existing REKO models. Furthermore, framework has been developed which automatically produce test that can be used to perform execution time measurements based on the KLEE tests.

Place, publisher, year, edition, pages
2013. , 46 p.
Keyword [en]
Technology
Keyword [sv]
Teknik
Identifiers
URN: urn:nbn:se:ltu:diva-42898Local ID: 0d939770-45c8-4b58-a67a-fe8529ff7e47OAI: oai:DiVA.org:ltu-42898DiVA: diva2:1016124
Subject / course
Student thesis, at least 30 credits
Educational program
Computer Science and Engineering, master's level
Supervisors
Examiners
Note
Validerat; 20130619 (global_studentproject_submitter)Available from: 2016-10-04 Created: 2016-10-04Bibliographically approved

Open Access in DiVA

fulltext(1035 kB)87 downloads
File information
File name FULLTEXT02.pdfFile size 1035 kBChecksum SHA-512
76ca73dd893b38cfec624eb3d8ef6343fa5d0d1258e858f4017e8025c3fe05f50d6a232f3aa60271b06918f479737d4b374a2fba4c2be6581bd55d194dacd3b9
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Vicente Romero, Marta

Search outside of DiVA

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