mdh.sePublications
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
Efficient FBD Test Generation Through Program Slicing
Mälardalen University, School of Innovation, Design and Engineering.
2018 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Program slicing has been used as a way to improve the efficiency of debugging and program analysis. Nowadays, automated test generation is being used to create tests automatically by analysing the program structure and suggesting necessary tests. This kind of techniques are prone to efficiency problems when applied to large programs containing many lines of code. This is especially true for software in industrial practice, such as the ones running on Programmable logic controllers (PLC) that are used in a wide variety of tasks from toys to avionics and rail transport. Function Block Diagram (FBD) is a language used for programming PLCs that has gained lots of attention in industrial practice due to its graphical nature. These FBD programs are often used in real time and safety critical systems, and these systems require extensive testing in order to prove that they pass safety requirements of their respective domains. In order to improve the efficiency of applying automated test generation on FBD programs we propose two FBD program slicing algorithms based on the structure of these diagrams and how they are programmed. These FBD program slicing algorithms are applied on several industrial programs for PLCs in order to evaluate their feasibility and what effect slicing has on test generation. Six FBD programs were selected out of 189 provided by Bombardier Transportation Sweden AB. The six programs were sliced according to these FBD slicing algorithms and then evaluated in terms of efficiency and applicability. Our results suggest that slicing can be used to reduce the needed generation time and memory usage required for automated test generation. However, our observations show that slicing can also increase the number of test cases generated and how this test cases are merged into one test suite for the entire program.

Place, publisher, year, edition, pages
2018. , p. 68
Keywords [en]
Function Block Diagram, Testing, FBD, PLC
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-38568OAI: oai:DiVA.org:mdh-38568DiVA, id: diva2:1181047
Subject / course
Computer Science
Presentation
2018-01-25, Lambda, Högskoleplan 1, 721 23 Västerås, 14:48 (English)
Supervisors
Examiners
Available from: 2018-02-13 Created: 2018-02-07 Last updated: 2018-02-13Bibliographically approved

Open Access in DiVA

fulltext(960 kB)20 downloads
File information
File name FULLTEXT01.pdfFile size 960 kBChecksum SHA-512
aac813ba95c90653679b0302026f8ef1b94711063743d27441899241ba1d038bcb65e6e25aad06ad8192bb2be41f4903ae673ef418d9ff03d3d8a6f7588417ef
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Hurtig, Christian
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

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