Ä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
Bugs and Debugging of Concurrent and Multicore Software
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-5058-7351
2016 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
Mälardalen University Press , 2016.
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 230
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-31421ISBN: 978-91-7485-261-5 (tryckt)OAI: oai:DiVA.org:mdh-31421DiVA: diva2:919051
Presentation
2016-05-23, Gamma, Mälardalens högskola, Västerås, 10:15 (Engelska)
Handledare
Projekt
SYNOPSIS Project
Tillgänglig från: 2016-04-13 Skapad: 2016-04-12 Senast uppdaterad: 2016-04-27Bibliografiskt granskad
Delarbeten
1. A Study on Concurrency Bugs in an Open Source Software
Öppna denna publikation i ny flik eller fönster >>A Study on Concurrency Bugs in an Open Source Software
Visa övriga...
2016 (Engelska)Ingår i: IFIP Advances in Information and Communication Technology, vol. 472, 2016, Vol. 472, 16-31 s.Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Concurrent programming puts demands on software debugging and testing, as concurrent software may exhibit problems not present in sequential software, e.g., deadlocks and race conditions. In aiming to increase efficiency and effectiveness of debugging and bug-fixing for concurrent software, a deep understanding of concurrency bugs, their frequency and fixingtimes would be helpful. Similarly, to design effective tools and techniques for testing and debugging concurrent software understanding the differences between non-concurrency and concurrency bugs in real-word software would be useful.

Nationell ämneskategori
Datorsystem
Identifikatorer
urn:nbn:se:mdh:diva-31417 (URN)10.1007/978-3-319-39225-7_2 (DOI)000383203700002 ()2-s2.0-84971537277 (Scopus ID)978-3-319-39224-0 (ISBN)
Konferens
12th IFIP WG 2.13 International Conference on Open Source Systems: Integrating Communities, OSS 2016; Gothenburg; Sweden; 30 May 2016 through 2 June 2016
Tillgänglig från: 2016-04-12 Skapad: 2016-04-12 Senast uppdaterad: 2016-10-06Bibliografiskt granskad
2. 10 Years of research on debugging concurrent and multicore software: a systematic mapping study
Öppna denna publikation i ny flik eller fönster >>10 Years of research on debugging concurrent and multicore software: a systematic mapping study
Visa övriga...
(Engelska)Ingår i: Software quality journal, ISSN 0963-9314, E-ISSN 1573-1367Artikel i tidskrift (Refereegranskat) Epub ahead of print
Abstract [en]

Debugging – the process of identifying, localizing and fixing bugs – is a key activity in software development. Due to issues such as non-determinism and difficulties of reproducing failures, debugging concurrent software is significantly more challenging than debugging sequential software. A number of methods, models and tools for debugging concurrent and multicore software have been proposed, but the body of work partially lacks a common terminology and a more recent view of the problems to solve. This suggests the need for a classification, and an up-to-date comprehensive overview of the area. 

This paper presents the results of a systematic mapping study in the field of debugging of concurrent and multicore software in the last decade (2005– 2014). The study is guided by two objectives: (1) to summarize the recent publication trends and (2) to clarify current research gaps in the field.

Through a multi-stage selection process, we identified 145 relevant papers. Based on these, we summarize the publication trend in the field by showing distribution of publications with respect to year , publication venues , representation of academia and industry , and active research institutes . We also identify research gaps in the field based on attributes such as types of concurrency bugs, types of debugging processes , types of research  and research contributions.

The main observations from the study are that during the years 2005–2014: (1) there is no focal conference or venue to publish papers in this area, hence a large variety of conferences and journal venues (90) are used to publish relevant papers in this area; (2) in terms of publication contribution, academia was more active in this area than industry; (3) most publications in the field address the data race bug; (4) bug identification is the most common stage of debugging addressed by articles in the period; (5) there are six types of research approaches found, with solution proposals being the most common one; and (6) the published papers essentially focus on four different types of contributions, with ”methods” being the type most common one.

We can further conclude that there is still quite a number of aspects that are not sufficiently covered in the field, most notably including (1) exploring correction  and fixing bugs  in terms of debugging process; (2) order violation, suspension  and starvation  in terms of concurrency bugs; (3) validation and evaluation research  in the matter of research type; (4) metric  in terms of research contribution. It is clear that the concurrent, parallel and multicore software community needs broader studies in debugging.This systematic mapping study can help direct such efforts.

Nationell ämneskategori
Datorsystem
Identifikatorer
urn:nbn:se:mdh:diva-31419 (URN)10.1007/s11219-015-9301-7 (DOI)000394524400003 ()2-s2.0-84955305408 (Scopus ID)
Projekt
SYNOPSIS project
Tillgänglig från: 2016-04-12 Skapad: 2016-04-12 Senast uppdaterad: 2016-04-20Bibliografiskt granskad
3. Towards Classification of Concurrency Bugs Based on Observable Properties
Öppna denna publikation i ny flik eller fönster >>Towards Classification of Concurrency Bugs Based on Observable Properties
2015 (Engelska)Ingår i: Proceedings - 1st International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015, 2015, 41-47 s.Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nationell ämneskategori
Datorsystem
Identifikatorer
urn:nbn:se:mdh:diva-28159 (URN)10.1109/COUFLESS.2015.14 (DOI)000380460500007 ()2-s2.0-84960328955 (Scopus ID)978-147991934-5 (ISBN)
Externt samarbete:
Konferens
First International Workshop on Complex Faults and Failures in Large Software systems, COUFFLESS 2015, May 23, 2015
Projekt
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems
Tillgänglig från: 2015-06-12 Skapad: 2015-06-08 Senast uppdaterad: 2016-09-01Bibliografiskt granskad

Open Access i DiVA

fulltext(1528 kB)298 nedladdningar
Filinformation
Filnamn FULLTEXT02.pdfFilstorlek 1528 kBChecksumma SHA-512
fb6a36c30c85cabc32e615fa7312db15324107e00c54bbe6b1ca8c2e33d9a59fe080f1d23df8c964fe11f00c0734027c861c66a18d0394f8abf0da3c6be26d27
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Abbaspour Asadollah, Sara
Av organisationen
Inbyggda system
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 298 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.

Totalt: 574 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