mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Model-based test suite generation for function block diagrams using the UPPAAL model checker
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0003-2416-4205
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0002-5032-2310
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0003-4040-3480
2013 (Engelska)Ingår i: Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, 2013, s. 158-167Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

A method for model-based test generation of safety-critical embedded applications using Programmable Logic Controllers and implemented in a programming language such as Function Block Diagram (FBD) is described. The FBD component model is based on the IEC 1131 standard and it is used primarily for embedded systems, in which timeliness is an important property to be tested. Our method involves the transformation of FBD programs with timed annotations into timed automata models which are used to automatically generate test suites. Specifically we demonstrate how to use model transformation for formalization and model checking of FBD programs using the UPPAAL tool. Many benefits emerge from this method, including the ability to automatically generate test suites from a formal model in order to ensure compliance to strict quality requirements including unit testing and specific coverage measurements. The approach is experimentally assessed on a train control system in terms of consumed resources.

Ort, förlag, år, upplaga, sidor
2013. s. 158-167
Nyckelord [en]
function block diagram, model based testing, plc, structural coverage, test case generation, timed automata
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-21442DOI: 10.1109/ICSTW.2013.27ISI: 000332185600028Scopus ID: 2-s2.0-84883372535OAI: oai:DiVA.org:mdh-21442DiVA, id: diva2:647992
Konferens
IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, 18 March 2013 through 20 March 2013, Luxembourg
Tillgänglig från: 2013-09-13 Skapad: 2013-09-13 Senast uppdaterad: 2018-10-31Bibliografiskt granskad
Ingår i avhandling
1. Model Checking-Based Software Testing for Function-Block Diagrams
Öppna denna publikation i ny flik eller fönster >>Model Checking-Based Software Testing for Function-Block Diagrams
2014 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

Software testing becomes more complex, more time-consuming, and more expensive. The risk that software errors remain undetected and cause critical failures increases. Consequently, in safety-critical development, testing software is standardized and it requires an engineer to show that tests fully exercise, or cover, the logic of the software. This method often requires a trained engineer to perform manual test generation, is prone to human error, and is expensive or impractical to use frequently in production. To overcome these issues, software testing needs to be performed earlier in the development process, more frequently, and aided by automated tools.

We devised an automated test generation tool called COMPLETETEST that avoids many of those problems. The method implemented in the tool and described in this thesis, works with software written in Function Block Diagram language, and can provide tests in just a few seconds. In addition, it does not rely on the expertise of a researcherspecialized in automated test generation and model checking. Although COMPLETETEST itself uses a model checker, a complex technique requiring a high level of expertise to generate tests, it provides a straightforward tabular interface to the intended users. In this way, its users do not need to learn the intricacies of using this approach such as how coverage criteria can be formalized and used by a model checker to automatically generate tests. If the technique can be demonstrated to work in production, it could detect and aid in the detection of errors in safety-critical software development, where conventional testing is not always applicable and efficient.

We conducted studies based on industrial use-case scenarios from Bombardier Transportation AB, showing how the approach can be applied to generate tests in software systems used in the safety-critical domain. To evaluate the approach, it was applied on real-world programs. The results indicate that it is efficient in terms of time required to generate tests and scales well for most of the software. There are still issues to resolve before the technique can be applied to more complex software, but we are already working on ways to overcome them. In particular, we need to understand how its usage in practice can vary depending on human and software process factors.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2014
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 182
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-26003 (URN)978-91-7485-166-3 (ISBN)
Presentation
2014-11-07, Zeta, Västerås, 10:15 (Engelska)
Opponent
Tillgänglig från: 2014-09-25 Skapad: 2014-09-24 Senast uppdaterad: 2014-11-03Bibliografiskt granskad

Open Access i DiVA

fulltext(315 kB)124 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 315 kBChecksumma SHA-512
81fb45d8528503c8518c91cbe28a42494bbe93f77e1c2d3a4a0d18f08eee7cec8cd06a8263a0ee10df2f5613f2c58c2d8a9970993fad9e7505d24e3d1d29904f
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Enoiu, Eduard PaulSundmark, DanielPettersson, Paul

Sök vidare i DiVA

Av författaren/redaktören
Enoiu, Eduard PaulSundmark, DanielPettersson, Paul
Av organisationen
Inbyggda system
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 124 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 489 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf