Sökning: "ekvivalensanalys"

Hittade 1 uppsats innehållade ordet ekvivalensanalys.

  1. 1. Filtering equivalent changes from dependency updates with CBMC

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Jonas Mårtensson; [2022]
    Nyckelord :CBMC; change impact analysis; equivalence analysis; auto-generation; CBMC; konsekvensanalys; ekvivalensanalys; autogenerering;

    Sammanfattning : Background. Open source dependencies have become ubiquitous in software development and the risk of regressions during an update are a key concern facing developers. Change impact analysis (CIA) can be used to assess the effects of a dependency update and aid in addressing this challenge. LÄS MER