Sökning: "concurrency bugs"

Visar resultat 1 - 5 av 8 uppsatser innehållade orden concurrency bugs.

  1. 1. Syntax-Based Dependency Discovery : Extracting Dependencies Between Integration Test Cases for Passive Testing

    M1-uppsats, KTH/Hälsoinformatik och logistik

    Författare :David Halldoff; Martin Sten; [2023]
    Nyckelord :Software testing; passive testing; integration testing; test case; dependency discovery; guarded assertion; automotive; safety-critical; Mjukvarutestning; passiv testning; integrationstestning; testfall; beroendeupptäckt; fordon; säkerhetskritisk;

    Sammanfattning : Modern-day vehicles consist of numerous electronic computing devices with accompanying software. Since vehicles are generally classified as safety-critical systems, rigorous testing strategies have to be deployed to ensure correct operation of the embedded software. LÄS MER

  3. 2. Software Architecture for Concurrency Analysis on a Virtual Platform

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Brinda Mohan; [2022]
    Nyckelord :;

    Sammanfattning : With the increasing demand for faster processing, a trend of moving towards multi-core and multiprocessor environments for embedded systems is clear. In this context, concurrent programming is also on the rise. LÄS MER

  4. 3. Concurrency model for the Majo language : An analysis of graph based concurrency

    Kandidat-uppsats, Mittuniversitetet/Avdelningen för informationssystem och -teknologi

    Författare :Markus Fält; [2018]
    Nyckelord :Node; Thread; Concurrency; Mandelbrot; Majo;

    Sammanfattning : Today most computers have powerful multi core processors that can perform many calculations simultaneously. However writing programs that take full advan- tage of the processors in modern day computers can be a challenge. This is due to the challenge of managing shared resources between parallel processing threads. LÄS MER

  5. 4. Random testing with sanitizers to detect concurrency bugs in embedded avionics software

    Kandidat-uppsats, Linköpings universitet/Programvara och system

    Författare :Viktor Johansson; Alexander Vallén; [2018]
    Nyckelord :fuzz testing; software testing; AFL; american fuzzy lop; embedded systems; santizer; threadsanitizer;

    Sammanfattning : Fuzz testing is a random testing technique that is effective at finding bugs in large software programs and protocols. We investigate if the technology can be used to find bugs in multi-threaded applications by fuzzing a real-time embedded avionics platform together with a tool specialized at finding data races between multiple threads. LÄS MER

  7. 5. Data Race Detection for Parallel Programs Using a Virtual Platform

    Uppsats för yrkesexamina på avancerad nivå, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Daniel Haverås; [2018]
    Nyckelord :Concurrency; multiprocessing; data race detection; virtual platforms; dynamic analysis; Samtidighet i programvara; multiprocessing; detektion av datakapplöpning; virtuella platformar; dynamisk analys;

    Sammanfattning : Data races are highly destructive bugs found in concurrent programs. Because of unordered thread interleavings, data races can randomly appear and disappear during the debugging process which makes them difficult to find and reproduce. LÄS MER