https://www.mdu.se/

mdu.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
MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0003-2416-4205
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0003-2234-1255
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0003-1597-6738
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0002-5032-2310
Visa övriga samt affilieringar
2013 (Engelska)Ingår i: 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE 2013 - Proceedings, 2013, s. 55-60Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach. Many benefits emerge from this tool, including the ability to automatically generate test suites from an FBD program in order to comply to quality requirements such as component testing and specific coverage measurements. Search-based testing methods are used to generate test data based on executable code rather than the FBD program, alleviating any problems that may arise from the ambiguities that occur while creating FBD programs. Test cases generated by both approaches are executed and used as a way of cross validation. In the current work, we describe the architecture of the tool, its workflow process, and a case study in which the tool has been applied in a real industrial setting to test a train control management system.

Ort, förlag, år, upplaga, sidor
2013. s. 55-60
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-21334DOI: 10.1109/CMSBSE.2013.6605711ISI: 000333166900013Scopus ID: 2-s2.0-84886543950ISBN: 978-1-4673-6284-9 (tryckt)OAI: oai:DiVA.org:mdh-21334DiVA, id: diva2:650069
Konferens
First International Workshop on Combining Modelling and Search-Based Software Engineering, 20th May 2013. In conjunction with ICSE 2013, San Francisco, California, USA
Projekt
ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova)ITS-EASY Post Graduate School for Embedded Software and SystemsTillgänglig från: 2013-09-19 Skapad: 2013-09-11 Senast uppdaterad: 2018-10-31Bibliografiskt granskad
Ingår i avhandling
1. Applications of Optimization Methods in Industrial Maintenance Scheduling and Software Testing
Öppna denna publikation i ny flik eller fönster >>Applications of Optimization Methods in Industrial Maintenance Scheduling and Software Testing
2014 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

As the world is getting more and more competitive, efficiency has become a bigger concern than ever for many businesses. Certain efficiency concerns can naturally be expressed as optimization problems, which is a well studied field in the academia. However, optimization algorithms are not as widely employed in industrial practice as they could. There are various reasons for the lack of widespread adoption. For example, it can be difficult or even impossible for non-experts to formulate a detailed mathematical model of the problem. On the other hand, a scientist usually does not have a deep enough understanding of critical business details, and may fail to capture enough details of the real- world phenomenon of concern. While a model at an arbitrary abstraction level is often good enough to demonstrate the optimization approach, ignoring relevant aspects can easily render the solution impractical for the industry. This is an important problem, because applicability concerns hinder the possible gains that can be achieved by using the academic knowledge in industrial practice. In this thesis, we study the challenges of industrial optimization problems in the form of four case studies at four different companies, in the domains of maintenance schedule optimization and search-based software testing. Working with multiple case studies in different domains allows us to better understand the possible gains and practical challenges in applying optimization methods in an industrial setting. Often there is a need to trade precision for applicability, which is typically very context dependent. Therefore, we compare our results against base values, e.g., results from simpler algorithms or the state of the practice in the given context, where applicable. Even though we cannot claim that optimization methods are applicable in all situations, our work serves as an empirical evidence for the usability of optimization methods for improvements in different industrial contexts. We hope that our work can encourage the adoption of optimization techniques by more industrial practitioners.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2014
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 180
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-25944 (URN)978-91-7485-163-2 (ISBN)
Presentation
2014-10-14, R3-131, Mälardalens högskola, Västerås, 13:30 (Engelska)
Opponent
Handledare
Tillgänglig från: 2014-09-15 Skapad: 2014-09-14 Senast uppdaterad: 2018-01-11Bibliografiskt granskad
2. 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(309 kB)250 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 309 kBChecksumma SHA-512
c0893575d270370a69445352e05ed450b4eb892f9d05bbaca3efe14414e211c445334c0e33fac581edcb9c31ce404784d2c449c017ff061ee004f4ffa76ebf61
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Person

Enoiu, Eduard PaulDoganay, KivancBohlin, MarkusSundmark, DanielPettersson, Paul

Sök vidare i DiVA

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

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 250 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
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 252 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