Skip to main content

LUP Student Papers

LUND UNIVERSITY LIBRARIES

Automatic timing test of physical access control systems

Klauber, Jonas LU (2014) EDA920 20151
Department of Computer Science
Abstract
The testing of a real-time system involves more challenges than in a regular
one. Real-time system testing must deal with issues such as concurrency and
timings. The difficulty increases further if the tests should be automated. Automatic
tests tend to be static and use identical configurations for each test run
and therefore have problems dealing with mutable parameters such as time.
This thesis presents a method for generating automatic testing of an eventtriggered
real-time system by using a model-based testing approach. Modelbased
testing is focused on comparing a system under test to a model. The
comparison consists of automatically generating tests from the model, executing
them, and comparing the output to the expected... (More)
The testing of a real-time system involves more challenges than in a regular
one. Real-time system testing must deal with issues such as concurrency and
timings. The difficulty increases further if the tests should be automated. Automatic
tests tend to be static and use identical configurations for each test run
and therefore have problems dealing with mutable parameters such as time.
This thesis presents a method for generating automatic testing of an eventtriggered
real-time system by using a model-based testing approach. Modelbased
testing is focused on comparing a system under test to a model. The
comparison consists of automatically generating tests from the model, executing
them, and comparing the output to the expected result. In the model
variables such as time and probability are included in order to mimic real-life
usage and deal with the problems in classic automatic real-time system testing. (Less)
Please use this url to cite or link to this publication:
author
Klauber, Jonas LU
supervisor
organization
course
EDA920 20151
year
type
H3 - Professional qualifications (4 Years - )
subject
keywords
Automatic test, Model-based testing, Real-time systems, Event-flow Graphs, Markov chains
report number
LU-CS-EX 2014-40
ISSN
1650-2884
language
English
id
5268021
alternative location
http://sam.cs.lth.se/ExjobGetFile?id=704
date added to LUP
2015-04-08 08:21:53
date last changed
2015-04-08 08:21:53
@misc{5268021,
  abstract     = {{The testing of a real-time system involves more challenges than in a regular
one. Real-time system testing must deal with issues such as concurrency and
timings. The difficulty increases further if the tests should be automated. Automatic
tests tend to be static and use identical configurations for each test run
and therefore have problems dealing with mutable parameters such as time.
This thesis presents a method for generating automatic testing of an eventtriggered
real-time system by using a model-based testing approach. Modelbased
testing is focused on comparing a system under test to a model. The
comparison consists of automatically generating tests from the model, executing
them, and comparing the output to the expected result. In the model
variables such as time and probability are included in order to mimic real-life
usage and deal with the problems in classic automatic real-time system testing.}},
  author       = {{Klauber, Jonas}},
  issn         = {{1650-2884}},
  language     = {{eng}},
  note         = {{Student Paper}},
  title        = {{Automatic timing test of physical access control systems}},
  year         = {{2014}},
}