Sökning: "software model checking"

Visar resultat 1 - 5 av 51 uppsatser innehållade orden software model checking.

  1. 1. Dimensionering av platta på mark : En jämförelse mellan hand- och datorberäkningar

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad/Akademin för företagande, innovation och hållbarhet

    Författare :Alba Dimashki; [2022]
    Nyckelord :PEPS; kantförstyvad; platta på mark; grundplatta; EPS; cellplastisolering;

    Sammanfattning : The digital revolution has introduced several tools for structural engineers in the form of computer programs. These computer tools have partly transformed the role of structural engineers from their performing manual calculations to using different computer programs, evaluating the results, and checking codes. LÄS MER

  2. 2. The impact of expiration date tracking software in grocery stores : A task-technology fit review of information systems used for date-checking in grocery stores

    Master-uppsats, Uppsala universitet/Institutionen för informatik och media

    Författare :Anna Enstam; [2022]
    Nyckelord :expiration date tracking software; food waste; information system; task- technology fit; case study;

    Sammanfattning : Each year, 1.3 billion tons of food produced for human consumption are lost or go to waste globally throughout the food supply chain (FSC). Increasing the efficiency of the entire FSC is an essential action in achieving food security for the global population, which includes reducing the amount of food lost and wasted. LÄS MER

  3. 3. Understanding Test Case Design: An Exploratory Survey of the Testers’ Routine and Behavior

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Jameel Esber; [2022]
    Nyckelord :Software testing; Test cases; Survey;

    Sammanfattning : Testing is an important component of every software since it enables the delivery of reliable solutions that meet the needs of end-users. Valuable testing is represented by the results of the test cases, which may provide knowledge into the presence of software system flaws. LÄS MER

  4. 4. Applying Stateless Model Checking to Work-Stealing libraries

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Robert Markovski; [2021]
    Nyckelord :;

    Sammanfattning : Software verification by testing does not always detect concurrency errors. Software verification by Stateless Model Checking searches the state space more systematically than testing and can therefore detect concurrency errors which may not be found by testing alone. LÄS MER

  5. 5. Measuring Coverage of Attack Simulations on MAL Attack Graphs

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

    Författare :Nicklas Hersén; [2021]
    Nyckelord :;

    Sammanfattning : With the transition from traditional media and the increasing number of digital devices, the threats against digital infrastructure is greater than ever before. New and stricter security requirements are placed on digital platform in order to protect sensitive information against external cyber threats. LÄS MER