Sökning: "Michael G. Hinchey"

Hittade 1 avhandling innehållade orden Michael G. Hinchey.

  1. 1. A Mutation-based Framework for Automated Testing of Timeliness

    Författare :Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Sammanfattning : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. LÄS MER