A virtual testing method for event-driven real-time applications

Myung Joon Lee; Sang H. Son

doi:10.1109/RTA.1994.316163

A virtual testing method for event-driven real-time applications

Myung Joon Lee
, Sang H. Son

Department of Electrical Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We present a method for testing real-time applications, i.e., implementations of real-time systems, specified formally by Modechart. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implementation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.

Original language	English
Title of host publication	Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	147-150
Number of pages	4
ISBN (Electronic)	0818663758, 9780818663758
DOIs	https://doi.org/10.1109/RTA.1994.316163
State	Published - 1994
Event	2nd IEEE Workshop Real-Time Applications, RTA 1994 - Washington, United States Duration: 21 Jul 1994 → 22 Jul 1994

Publication series

Name	Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994

Conference

Conference	2nd IEEE Workshop Real-Time Applications, RTA 1994
Country/Territory	United States
City	Washington
Period	21/07/94 → 22/07/94

Bibliographical note

Publisher Copyright:
© 1994 IEEE.

Access to Document

10.1109/RTA.1994.316163

Cite this

@inproceedings{136d3ef7eecf44569ab8c0cd3d797b55,

title = "A virtual testing method for event-driven real-time applications",

abstract = "We present a method for testing real-time applications, i.e., implementations of real-time systems, specified formally by Modechart. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implementation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.",

author = "Lee, \{Myung Joon\} and Son, \{Sang H.\}",

note = "Publisher Copyright: {\textcopyright} 1994 IEEE.; 2nd IEEE Workshop Real-Time Applications, RTA 1994 ; Conference date: 21-07-1994 Through 22-07-1994",

year = "1994",

doi = "10.1109/RTA.1994.316163",

language = "English",

series = "Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "147--150",

booktitle = "Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994",

}

Lee, MJ & Son, SH 1994, A virtual testing method for event-driven real-time applications. in Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994., 316163, Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994, Institute of Electrical and Electronics Engineers Inc., pp. 147-150, 2nd IEEE Workshop Real-Time Applications, RTA 1994, Washington, United States, 21/07/94. https://doi.org/10.1109/RTA.1994.316163

A virtual testing method for event-driven real-time applications. / Lee, Myung Joon; Son, Sang H.
Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994. Institute of Electrical and Electronics Engineers Inc., 1994. p. 147-150 316163 (Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A virtual testing method for event-driven real-time applications

AU - Lee, Myung Joon

AU - Son, Sang H.

PY - 1994

Y1 - 1994

N2 - We present a method for testing real-time applications, i.e., implementations of real-time systems, specified formally by Modechart. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implementation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.

AB - We present a method for testing real-time applications, i.e., implementations of real-time systems, specified formally by Modechart. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implementation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.

UR - https://www.scopus.com/pages/publications/85064542661

U2 - 10.1109/RTA.1994.316163

DO - 10.1109/RTA.1994.316163

M3 - Conference contribution

AN - SCOPUS:85064542661

T3 - Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994

SP - 147

EP - 150

BT - Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2nd IEEE Workshop Real-Time Applications, RTA 1994

Y2 - 21 July 1994 through 22 July 1994

ER -

A virtual testing method for event-driven real-time applications

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this