Reliable real-time applications - and how to use tests to model and understand

Peter Krogsgaard Jensen

Reliable real-time applications - and how to use tests to model and understand

Peter Krogsgaard Jensen

Institut for Elektroniske Systemer

Publikation: Ph.d.-afhandling

1051 Downloads (Pure)

Abstract

Test and analysis of real-time applications, where temporal properties are inspected, analyzed, and verified in a model developed from timed traces originating from measured test result on a running application

Originalsprog	Engelsk
Udgiver	Aalborg Universitet
Status	Udgivet - 2001

Emneord

verification
real-time
inspection
test
modeling

Adgang til dokumentet

Krogsgaard-peterForlagets udgivne version, 2,84 MB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@misc{9bab86e0003411dab4d5000ea68e967b,

title = "Reliable real-time applications - and how to use tests to model and understand",

abstract = "Test and analysis of real-time applications, where temporal properties are inspected, analyzed, and verified in a model developed from timed traces originating from measured test result on a running application",

keywords = "verification, real-time, inspection, test, modeling",

author = "Jensen, {Peter Krogsgaard}",

year = "2001",

language = "English",

series = "Publication",

publisher = "Aalborg Universitet",

number = "13",

}

TY - GEN

T1 - Reliable real-time applications - and how to use tests to model and understand

AU - Jensen, Peter Krogsgaard

PY - 2001

Y1 - 2001

N2 - Test and analysis of real-time applications, where temporal properties are inspected, analyzed, and verified in a model developed from timed traces originating from measured test result on a running application

AB - Test and analysis of real-time applications, where temporal properties are inspected, analyzed, and verified in a model developed from timed traces originating from measured test result on a running application

KW - verification

KW - real-time

KW - inspection

KW - test

KW - modeling

M3 - PhD thesis

T3 - Publication

PB - Aalborg Universitet

ER -