Sökning: "coverage model"

Visar resultat 1 - 5 av 303 avhandlingar innehållade orden coverage model.

  1. 1. Model-Based Test Case Generation for Real-Time Systems

    Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
    Nyckelord :Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

    Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER

  3. 2. Dynamic Modelling of Transit Operations and Passenger Decisions

    Författare :Oded Cats; Haris Koutsopoulos; Tomer Toledo; Wilson Nigel; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Public Transport; Transit Operations; Simulation Model; Traffic Simulation; Route Choice; Dynamic Model; Assignment Model; Control; SRA - Transport; SRA - Transport;

    Sammanfattning : Efficient and reliable public transport systems are fundamental in promoting green growth developments in metropolitan areas. A large range of Advanced Public Transport Systems (APTS) facilitates the design of real-time operations and demand management. LÄS MER

  4. 3. On dependability validation of safety critical systems

    Författare :Sven Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; VHDL; fault tolerance; coverage model; experimental validation; jet engine control; fault injection; FADEC; error detection; Markov model;

    Sammanfattning : .... LÄS MER

  5. 4. Paleoclimate and seasonality on Sumatra during the Late Glacial and Holocene : Insights from biomarkers and climate model simulations

    Författare :Lars Petter Hällberg; Malin Kylander; Frederik Schenk; Rienk Smittenberg; David Naafs; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Holocene; Late Glacial; biomarkers; organic geochemistry; climate model; hydrogen isotopes; stable isotopes; paleoclimate; alkanes; GDGT; brGDGT; H-GDGT; bacterial community shifts; paleothermometry; precipitation reconstruction; peat; geokemi; Geochemistry;

    Sammanfattning : Deep atmospheric convection in the Indo-Pacific Warm Pool (IPWP) is a key driver of the Hadley and Walker Circulations that modulate the Asian-Australian monsoons and the El Niño Southern Oscillation (ENSO). Temperature and rainfall seasonality, i.e. LÄS MER

  7. 5. Model-Based Protocol Testing in an Erlang Environment

    Författare :Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

    Sammanfattning : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. LÄS MER