Test case selection for simulations in the maintenance of real-time systems

被引：0
|
作者：
Henry, Joel E. [1 ]
机构：
[1] Department of Computer Science, Social Science 401, University of Montana, Missoula, MT 59812, United States
来源：
Journal of Software Maintenance | 2000年 / 12卷 / 04期
关键词：
D O I：
10.1002/1096-908X(200007/08)12:43.0.CO;2-S
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
页码：229 / 248
相关论文
共 50 条
  • [1] Test case selection for simulations in the maintenance of real-time systems
    Henry, JE
    JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 2000, 12 (04): : 229 - 248
  • [2] A test case generation algorithm for real-time systems
    Hessel, A
    Pettersson, P
    QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 268 - 273
  • [3] Test Case Generation for Flexible Real-Time Control Systems
    Nilsson, Robert
    Henriksson, Dan
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
  • [4] Open Access Library of Benchmark Test Systems for Offline and Real-Time Simulations
    Valles, Jose M.
    Gonzalez-Longatt, Francisco
    Riquelme-Dominguez, Jose Miguel
    Angeles-Camacho, Cesar
    Rueda, Jose L.
    2023 IEEE 41ST CENTRAL AMERICA AND PANAMA CONVENTION, CONCAPAN XLI, 2023, : 161 - 165
  • [5] EVALUATION OF MAINTENANCE SOFTWARE IN REAL-TIME SYSTEMS
    GAY, FA
    IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (06) : 576 - 582
  • [6] Test of preemptive real-time systems
    Adjir, Noureddine
    de Saqui-Sannes, Pieffe
    Rahmouni, K. Mustapha
    2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 734 - +
  • [7] Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems
    Almeida, Diego R.
    Moraes, Alan
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, 2015, 8941 : 48 - 63
  • [8] Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    Alves, Everton L. G.
    Almeida, Diego R.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 54 - 69
  • [9] A real-time predictive maintenance system for machine systems
    Bansal, D
    Evans, DJ
    Jones, B
    INTERNATIONAL JOURNAL OF MACHINE TOOLS & MANUFACTURE, 2004, 44 (7-8): : 759 - 766
  • [10] Experimental test generation for real-time systems
    Fouchal, H
    Rabat, C
    Rollet, A
    Tarhini, A
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 284 - 289
12345