Test Case Generation Strategy for Timing Diagram 


Vol. 17,  No. 4, pp. 283-296, Aug.  2010
10.3745/KIPSTD.2010.17.4.283


PDF
  Abstract

Timing diagram is a useful tool for describing the specification of system, but there is no study for test case strategy of a timing diagram. To solve this problem, we followed the steps to generate test cases from timing diagram in this paper. 1) We defined a timing diagram formally. 2) We describe the method of transforming from a timing diagram model into a Stateflow model which has an equivalent relationship between a timing diagram model and a transformed Stateflow model. 3) We generated test cases from a transformed Stateflow model using SDV which is plugged in Simulink. To show that our approach is useful, we made an experiment with a surveillance model and arbitrary timing diagram models. In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results. The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model.

  Statistics
  Cite this article

[IEEE Style]

H. S. Lee, K. H. Chung, K. H. Choi, "Test Case Generation Strategy for Timing Diagram," The KIPS Transactions:PartD, vol. 17, no. 4, pp. 283-296, 2010. DOI: 10.3745/KIPSTD.2010.17.4.283.

[ACM Style]

Hong Seok Lee, Ki Hyun Chung, and Kyung Hee Choi. 2010. Test Case Generation Strategy for Timing Diagram. The KIPS Transactions:PartD, 17, 4, (2010), 283-296. DOI: 10.3745/KIPSTD.2010.17.4.283.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals