Repository logo
 
Publication

Teste e depuração de software concorrente: Desafios e soluções

datacite.subject.fosEngenharia e Tecnologia
datacite.subject.sdg09:Indústria, Inovação e Infraestruturas
dc.contributor.advisorNogueira, Luis Miguel Pinho
dc.contributor.authorSILVA, HUGO ALEXANDRE SANTOS
dc.date.accessioned2025-10-17T15:58:17Z
dc.date.available2025-10-17T15:58:17Z
dc.date.issued2025-09-08
dc.description.abstractConcurrency refers to the execution of multiple entities simultaneously, and due to current technological advancements, it has seen incorporation of its use in many different types of software development, ever-growing in popularity due to its useful and unique capabilities. Due to its higher complexity when compared to standard sequential processes, concurrency introduces non-determinism to the software world, which can cause new problems to arise, necessitating specialized approaches for correct detection. Despite its usage growth, concurrency concerns are more often than not considered with dedicated urgency, often trusted by system/software architectures or operating systems to correctly manage the non-determinism spectrum of the process. Consequently, developers and testers often lack a comprehensive understanding of various concurrency defects, their associated failure conditions, and events. While many languages support a set of tools for concurrent development, as well as some available debuggers and IDE’s on the market having concurrent defect identification capabilities, most approaches are not really used or known in a real-world scenario or are only briefly explained to developers. Thus, many developers and testers remain unaware of their existence and potential benefits. We aim to deliver a more in-depth view of concurrent development and concurrent defect detection and avoidance for developers and testers by delving into these language tools, concurrent development techniques and concurrent capable debuggers and uncover further usages besides simple cases and show how these tools can contribute to better designed concurrent systems.eng
dc.identifier.tid204019206
dc.identifier.urihttp://hdl.handle.net/10400.22/30633
dc.language.isoeng
dc.rights.uriN/A
dc.subjectConcurrency
dc.subjectDefects
dc.subjectDebuggers
dc.subjectTools
dc.subjectTechniques
dc.subjectSoftware Development
dc.titleTeste e depuração de software concorrente: Desafios e soluçõespor
dc.title.alternativeTesting and debugging concurrent software: Challenges and solutionseng
dc.typemaster thesis
dspace.entity.typePublication
thesis.degree.nameMestrado em Engenharia Informática

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Tese_5772.pdf
Size:
4.63 MB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.03 KB
Format:
Item-specific license agreed upon to submission
Description: