Automatic timing test of physical access control systems
(2014) EDA920 20151Department 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:
http://lup.lub.lu.se/student-papers/record/5268021
- author
- Klauber, Jonas LU
- supervisor
- organization
- course
- EDA920 20151
- year
- 2014
- 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}}, }