Time-optimal test cases for real-time systems

被引：0
|
作者：
Hessel, A
Larsen, KG
Nielsen, B
Pettersson, P
Skou, A
机构：
[1] Uppsala Univ, Dept Informat Technol, SE-75105 Uppsala, Sweden
[2] Aalborg Univ, Dept Comp Sci, DK-9220 Aalborg, Denmark
来源：
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS | 2003年 / 2791卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically generate test cases from formal models of the system under test. We demonstrate how to automatically generate real-time conformance test cases from timed automata specifications. Specifically we demonstrate how to efficiently generate real-time test cases with optimal execution time he test cases that are the fastest possible to execute. Our technique allows time optimal test cases to be generated using manually formulated test purposes or automatically from various coverage criteria of the model.
引用
收藏
页码：234 / 245
页数：12
相关论文
共 50 条
  • [21] Real-time time-optimal control for a nonlinear container crane using a neural network
    van den Boom, T. J. J.
    Klaassens, J. B.
    Meiland, R.
    [J]. INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS II, 2007, : 79 - +
  • [22] Towards Time-Optimal Race Car Driving using Nonlinear MPC in Real-Time
    Verschueren, Robin
    De Bruyne, Stijn
    Zanon, Mario
    Frasch, Janick V.
    Diehl, Moritz
    [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 2505 - 2510
  • [23] Generating real-time software test cases by time Petri nets
    Lin, J.C.
    Ho, I.
    [J]. International Journal of Computers and Applications, 2000, 22 (03) : 151 - 158
  • [24] Near Time-Optimal Real-Time Path Following Under Error Tolerance and System Constraints
    Chang, Yen-Chi
    Chen, Cheng-Wei
    Tsao, Tsu-Chin
    [J]. JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 2018, 140 (07):
  • [25] An optimal checkpointing interval for real-time systems
    Karl, H
    Werner, M
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 605 - 612
  • [26] Real-time optimal control of dynamical systems
    Gabasov, Rafail
    Balashevich, Natalia V.
    Kirillova, Faina M.
    [J]. International Journal of Applied Mathematics and Statistics, 2007, 12 (DO7): : 55 - 75
  • [27] Real-Time Optimal Control of Dynamical Systems
    Gabasov, Rafail
    Balashevich, Natalia V.
    Kirillova, Faina M.
    [J]. INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS & STATISTICS, 2007, 12 (D07): : 55 - 75
  • [28] TIME-OPTIMAL CONTROL OF NONLINEAR SYSTEMS
    OLEINIKO.VA
    SMIRNOV, GM
    [J]. AUTOMATION AND REMOTE CONTROL, 1970, (12) : 2053 - &
  • [29] Experimental test generation for real-time systems
    Fouchal, H
    Rabat, C
    Rollet, A
    Tarhini, A
    [J]. INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 284 - 289
  • [30] TRENDS IN REAL-TIME FLIGHT TEST SYSTEMS
    SHELLEY, L
    [J]. AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 782 - 784
12345