Time-optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets

被引：0
|
作者：
Adjir, Noureddine [1 ]
De Saqui-Sannes, Pierre [1 ,2 ]
Rahmouni, Mustapha Kamel [3 ]
机构：
[1] Univ Toulouse ISAE, 31 Ave Edward Belin,BP 44032, F-31055 Toulouse 4, France
[2] Univ Toulouse, F-31055 Toulouse, France
[3] Univ Oran, Hangzhou 31000, Zhejiang, Peoples R China
来源：
2009 FIRST INTERNATIONAL CONFERENCE ON ADVANCES IN SYSTEM TESTING AND VALIDATION LIFECYCLE | 2009年
关键词：
real-time system; Prioritzed Time petri Nets; conformance testing; time optimal test cases; ABSTRACT STATE-SPACES; AUTOMATA; TOOL;
D O I：
10.1109/VALID.2009.31
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses the application of model checking to test generation from specifications written in Prioritized Time Petri Nets. We demonstrate how to automatically generate conformance test cases, specially timed test cases with optimal execution time, using the model checker selt and the path analysis tool plan of the TINA toolbox. Properties are described in the SE-LTL temporal logic. Test cases are generated using manually formulated test purposes or automatically from various coverage criteria of the model.
引用
收藏
页码：110 / +
页数：3
相关论文
共 50 条
  • [31] Analysis of real-time system conflict based on fuzzy time Petri nets
    Tian, Zhao
    Zhang, Zun-Dong
    Ye, Yang-Dong
    Jia, Li-Min
    [J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2014, 26 (02) : 983 - 991
  • [32] 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
  • [33] 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 - +
  • [34] Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets
    Bucci, G
    Sassoli, L
    Vicario, E
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005, 31 (11) : 913 - 927
  • [35] A test case generation algorithm for real-time systems
    Hessel, A
    Pettersson, P
    [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 268 - 273
  • [36] Casting preemptive time Petri nets in the development life cycle of real-time software
    Carnevali, Laura
    Sassoli, Luigi
    Vicario, Enrico
    [J]. 19TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2007, : 291 - +
  • [37] Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets
    Singh, Lalit Kumar
    Rajput, Hitesh
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (02) : 415 - 426
  • [38] Control synthesis for a class of controlled time Petri nets with hard real-time deadlines
    Xi'an Jiaotong Univ, Xi'an, China
    [J]. Kongzhi yu Juece Control Decis, 3 (245-249):
  • [39] Off-line computation of real-time schedules using Petri nets
    Grolleau, E
    Choquet-Geniet, A
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2002, 12 (03): : 311 - 333
  • [40] Real-time implementation of hybrid Petri nets into PLC by using program sketcher
    Chomat, L.
    Pivonka, P.
    [J]. ANNALS OF DAAAM FOR 2007 & PROCEEDINGS OF THE 18TH INTERNATIONAL DAAAM SYMPOSIUM: INTELLIGENT MANUFACTURING & AUTOMATION: FOCUS ON CREATIVITY, RESPONSIBILITY, AND ETHICS OF ENGINEERS, 2007, : 141 - 142
12345