Testing and testing techniques for real-time embedded software systems

被引：0
|
作者：
Tracey, N [1 ]
McDermid, J [1 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
来源：
MICROPROCESSORS AND MICROSYSTEMS | 2001年 / 24卷 / 09期
关键词：
D O I：
10.1016/S0141-9331(00)00096-X
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：441 / 441
页数：1
相关论文
共 50 条
  • [21] Testing real-time embedded systems using high level architecture
    Junior, Jose Claudio V. S.
    Brito, Alisson V.
    Silva Costa, Luis Feliphe
    Nascimento, Tiago P.
    Kurt Melcher, Elmar Uwe
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2016, 20 (04) : 289 - 309
  • [22] Testing real-time embedded systems using high level architecture
    Jose Claudio V. S. Junior
    Alisson V. Brito
    Luis Feliphe Silva Costa
    Tiago P. Nascimento
    Elmar Uwe Kurt Melcher
    Design Automation for Embedded Systems, 2016, 20 : 289 - 309
  • [23] A SIMULATOR FOR REAL-TIME SOFTWARE DEBUGGING AND TESTING
    HUANG, JC
    HO, M
    LAW, T
    SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (09): : 845 - 855
  • [24] A new framework for testing real-time software
    Lin, JC
    Ho, I
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 337 - 342
  • [25] DESIGN AND TESTING OF REAL-TIME SYSTEMS
    KARJALAINEN, J
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 109 - 109
  • [26] The integrated application based on real-time extended UML and improved formal method in real-time embedded software testing
    Yin Y.
    Liu B.
    Li Z.
    Zhang C.
    Wu N.
    Journal of Networks, 2010, 5 (12) : 1410 - 1416
  • [27] Real-time and hybrid systems testing
    Berkenkötter, K
    Kirner, R
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 355 - 387
  • [28] Conformance testing for real-time systems
    Moez Krichen
    Stavros Tripakis
    Formal Methods in System Design, 2009, 34 : 238 - 304
  • [29] Testing distributed real-time systems
    Thane, H
    Hansson, H
    MICROPROCESSORS AND MICROSYSTEMS, 2001, 24 (09) : 463 - 478
  • [30] Conformance testing for real-time systems
    Krichen, Moez
    Tripakis, Stavros
    FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (03) : 238 - 304
12345