Towards an automated test generation with delayed transitions for timed systems

被引：0
|
作者：
Vieira, Elisangela Rodrigues [1 ,2 ]
Cavalli, Ana [1 ,2 ]
机构：
[1] CNRS, Lab SAMOVAR, 9 Rue Charles Fourier, F-91011 Evry, France
[2] GET, INT, 9 Rue Charles Fourier, F-91011 Evry, France
来源：
13TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/RTCSA.2007.71
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we analyze the influence of the urgency in the timed transitions, and as consequence, in the test suite generation. As result, we formalize rules to generate sequences where the messages exchanged may be instantaneous or delayed. In addition, the generated scenarios are able to detect timing faults. For test generation, we use a prototype tool called HJ2IF It is based on a test purpose algorithm, called Hit-or-Jump and it is applied for systems specified using Intermediate Format language (IF).
引用
收藏
页码：226 / +
页数：2
相关论文
共 50 条
  • [1] Automated test generation from timed automata
    Brian Nielsen
    Arne Skou
    International Journal on Software Tools for Technology Transfer, 2003, 5 (1) : 59 - 77
  • [2] Towards automated test sequence generation
    Farooq, U.
    Lam, C. P.
    Li, H.
    ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 441 - 450
  • [3] Generation of optimal finite test suites for timed systems
    Merayo, Mercedes G.
    Nunez, Manuel
    Rodriguez, Ismael
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 149 - +
  • [4] Towards Automated Test Case Generation Maturity
    Rueda, Urko
    Kifetew, Fitsum
    Devroey, Xavier
    2019 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2019), 2019, : 9 - 10
  • [5] Towards the Automated Generation of Focused Proof Systems
    Nigam, Vivek
    Reis, Giselle
    Lima, Leonardo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (197): : 1 - 6
  • [6] Towards Automated Exploit Generation for Embedded Systems
    Ruffell, Matthew
    Hong, Jin B.
    Kim, Hyoungshick
    Kim, Dong Seong
    INFORMATION SECURITY APPLICATIONS, WISA 2016, 2017, 10144 : 161 - 173
  • [7] Towards an Automated Test Generation for the Verification of Model Transformations
    Lamari, Maher
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 998 - 1005
  • [8] Automated repair for timed systems
    Koelbl, Martin
    Leue, Stefan
    Wies, Thomas
    FORMAL METHODS IN SYSTEM DESIGN, 2021, 59 (1-3) : 136 - 169
  • [9] Automated repair for timed systems
    Martin Kölbl
    Stefan Leue
    Thomas Wies
    Formal Methods in System Design, 2021, 59 : 136 - 169
  • [10] Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems
    Becker-Kupczok, Jonas
    Herber, Paula
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SOFTWARE ENGINEERING METHODOLOGIES, PT IV, ISOLA 2024, 2025, 15222 : 115 - 131
12345