mdh.sePublikasjoner
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
Concurrency defect localization in embedded systems using static code analysis: An evaluation
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. ABB, Västeras, Sweden.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-1364-8127
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-6132-7945
2019 (engelsk)Inngår i: Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019, Institute of Electrical and Electronics Engineers Inc. , 2019, s. 7-12Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Defects with low manifestation probability, such as concurrency defects, are difficult to find during testing. When such a defect manifests into an error, the low likelihood can make it time-consuming to reproduce the error and find the root cause. Static Code Analysis (SCA) tools have been used in the industry for decades, mostly for compliance checking towards guidelines such as MISRA. Today, these tools are capable of sophisticated data and execution flow analysis. Our work, presented in this paper, evaluates the feasibility of using SCA tools for concurrency defect detection and localization. Earlier research has categorized concurrency defects. We use this categorization and develop an object-oriented C++ based test suite containing defects from each category. Secondly, we use known and real defects in existing products' source code. With these two approaches, we perform the evaluation, using tools from some of the largest commercial actors in the field. Based on our results, we provide a discussion about how to use static code analysis tools for concurrency defect detection in complex embedded real-Time systems.

sted, utgiver, år, opplag, sider
Institute of Electrical and Electronics Engineers Inc. , 2019. s. 7-12
Emneord [en]
Concurrency, Defects, Real Time, RTOS, SCA, Static Code Analysis, C++ (programming language), Codes (symbols), Compliance control, Embedded systems, Interactive computer systems, Object oriented programming, Real time systems, Software reliability, Technical presentations, Compliance checking, Defect localizations, Embedded real time systems, Static code analysis tools
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-47390DOI: 10.1109/ISSREW.2019.00034Scopus ID: 2-s2.0-85080936338ISBN: 9781728151380 (tryckt)OAI: oai:DiVA.org:mdh-47390DiVA, id: diva2:1415555
Konferanse
30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019; Berlin; Germany; 28 October 2019 through 31 October 2019; Category numberCFP1979F-ART; Code 157721
Tilgjengelig fra: 2020-03-19 Laget: 2020-03-19 Sist oppdatert: 2020-03-19bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Johansson, BjarnePapadopoulos, AlessandroNolte, Thomas

Søk i DiVA

Av forfatter/redaktør
Johansson, BjarnePapadopoulos, AlessandroNolte, Thomas
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

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