Digitala Vetenskapliga Arkivet

Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Towards Classification of Concurrency Bugs Based on Observable Properties
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-5058-7351
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-7235-6888
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-5032-2310
Ericsson AB, Kista, Sweden.ORCID-id: 0000-0002-5070-9312
2015 (engelsk)Inngår i: Proceedings - 1st International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015, 2015, s. 41-47Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

In software engineering, classification is a way to find an organized structure of knowledge about objects. Classification serves to investigate the relationship between the items to be classified, and can be used to identify the current gaps in the field. In many cases users are able to order and relate objects by fitting them in a category. This paper presents initial work on a taxonomy for classification of errors (bugs) related to concurrent execution of application level software threads. By classifying concurrency bugs based on their corresponding observable properties, this research aims to examine and structure the state of the art in this field, as well as to provide practitioner support for testing and debugging of concurrent software. We also show how the proposed classification, and the different classes of bugs, relates to the state of the art in the field by providing a mapping of the classification to a number of recently published papers in the software engineering field.

sted, utgiver, år, opplag, sider
2015. s. 41-47
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-28159DOI: 10.1109/COUFLESS.2015.14ISI: 000380460500007Scopus ID: 2-s2.0-84960328955ISBN: 9781479919345 (tryckt)OAI: oai:DiVA.org:mdh-28159DiVA, id: diva2:820643
Konferanse
First International Workshop on Complex Faults and Failures in Large Software systems, COUFFLESS 2015, May 23, 2015
Prosjekter
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsTilgjengelig fra: 2015-06-12 Laget: 2015-06-08 Sist oppdatert: 2020-10-22bibliografisk kontrollert
Inngår i avhandling
1. Bugs and Debugging of Concurrent and Multicore Software
Åpne denne publikasjonen i ny fane eller vindu >>Bugs and Debugging of Concurrent and Multicore Software
2016 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
sted, utgiver, år, opplag, sider
Mälardalen University Press, 2016
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 230
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-31421 (URN)978-91-7485-261-5 (ISBN)
Presentation
2016-05-23, Gamma, Mälardalens högskola, Västerås, 10:15 (engelsk)
Veileder
Prosjekter
SYNOPSIS Project
Tilgjengelig fra: 2016-04-13 Laget: 2016-04-12 Sist oppdatert: 2016-04-27bibliografisk kontrollert
2. Concurrency Bugs: Characterization, Debugging and Runtime Verification
Åpne denne publikasjonen i ny fane eller vindu >>Concurrency Bugs: Characterization, Debugging and Runtime Verification
2018 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. Thus, testing techniques and handling of concurrency bugs need to focus on exposing the bugs in this large space. However, existing solutions typically do not provide debugging information to developers (and testers) for understanding the bugs.

Our work focuses on improving concurrent software reliability via three contributions: 1) An investigation of concurrent software challenges with the aim to help developers (and testers) to better understand concurrency bugs. We propose a classification of concurrency bugs and discuss observable properties of each type of bug. In addition, we identify a number of gaps in the body of knowledge on concurrent software bugs and their debugging. 2) Exploring concurrency related bugs in real-world software with respect to the reproducibility of bugs, severity of their consequence and effort required to fix them. Our findings here is that concurrency bugs are different from other bugs in terms of their fixing time and severity, while they are similar in terms of reproducibility. 3) A model for monitoring concurrency bugs and the implementation and evaluation of a related runtime verification tool to detect the bugs. In general, runtime verification techniques are used to (a) dynamically verify that the observed behaviour matches specified properties and (b) explicitly recognize understandable behaviors in the considered software. Our implemented tool is used to detect concurrency bugs in embedded software and is in its current form tailored for the FreeRTOS operating system. It helps developers and testers to automatically identify concurrency bugs and subsequently helps to reduce their finding and fixing time.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2018
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 278
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-41237 (URN)978-91-7485-412-1 (ISBN)
Disputas
2018-12-04, Kappa, Mälardalens högskola, Västerås, 13:30 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2018-10-29 Laget: 2018-10-29 Sist oppdatert: 2018-11-02bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Abbaspour Asadollah, SaraHansson, HansSundmark, DanielEldh, Sigrid
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 1494 treff
RefereraExporteraLink to record
Permanent link

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