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 条
  • [1] Time-optimal real-time test case generation using UPPAAL
    Hessel, A
    Larsen, KG
    Nielsen, B
    Pettersson, P
    Skou, A
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 114 - 130
  • [2] Timed test case generation using labeled prioritized time petri nets
    Adjir, Noureddine
    de Saqui Sannes, Pierre
    Rahmouni, M. Kamel
    Adla, Abdelkader
    [J]. International Journal of Computer Science Issues, 2012, 9 (2 2-2): : 123 - 132
  • [3] Time-optimal test cases for real-time systems
    Hessel, A
    Larsen, KG
    Nielsen, B
    Pettersson, P
    Skou, A
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 234 - 245
  • [4] 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
  • [5] REAL-TIME SPECIFICATION USING PETRI NETS
    SACHA, K
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
  • [6] Time-point-interval Prioritized Time Petri Nets Modelling Real-time Systems and TCTL Checking
    He, Lei-Feng
    Liu, Guan-Jun
    [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2947 - 2963
  • [7] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    [J]. Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
  • [8] Reachability analysis of real-time systems using time Petri nets
    Wang, JC
    Deng, Y
    Xu, G
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 725 - 736
  • [9] Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTLx
    He, Leifeng
    Liu, Guanjun
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, 19 (08) : 8784 - 8794
  • [10] Real-time synchronised Petri nets
    Serugendo, GD
    Mandrioli, D
    Buchs, D
    Guelfi, N
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 142 - 162
12345