Test sequence generation scheme satisfying the completeness criteria

Hong Se Son; Dae Hun Nyang; Jin Ho Park; Sang Yong Lim; Byung Moon Chin; Jun Won Lee; Joo Seok Song

Test sequence generation scheme satisfying the completeness criteria

Hong Se Son, Dae Hun Nyang, Jin Ho Park, Sang Yong Lim, Byung Moon Chin, Jun Won Lee, Joo Seok Song

College of Computing

Research output: Contribution to conference › Paper › peer-review

Abstract

We present a problem of commonly used characterization sequences and propose a new test sequence to resolve the problem. The proposed test sequence could decide whether the output fault arises in the edge being tested or one of edges in the UIO sequence. Additionally, the fault coverage is much wider than other test sequence generation methods. To achieve the goal, we introduce k-strong FSM, and show that it can be constructed from a characterization sequence. Also, we illustrate our technique on a specific example.

Original language	English
Pages	560-563
Number of pages	4
Publication status	Published - 1997
Event	Proceedings of the 1997 6th IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. Part 1 (of 2) - Victoria, Can Duration: 1997 Aug 20 → 1997 Aug 22

Other

Other	Proceedings of the 1997 6th IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. Part 1 (of 2)
City	Victoria, Can
Period	97/8/20 → 97/8/22

All Science Journal Classification (ASJC) codes

Signal Processing
Computer Networks and Communications

Cite this

@conference{62888343361e4a50ae20bbff20e7093c,

title = "Test sequence generation scheme satisfying the completeness criteria",

abstract = "We present a problem of commonly used characterization sequences and propose a new test sequence to resolve the problem. The proposed test sequence could decide whether the output fault arises in the edge being tested or one of edges in the UIO sequence. Additionally, the fault coverage is much wider than other test sequence generation methods. To achieve the goal, we introduce k-strong FSM, and show that it can be constructed from a characterization sequence. Also, we illustrate our technique on a specific example.",

author = "Son, {Hong Se} and Nyang, {Dae Hun} and Park, {Jin Ho} and Lim, {Sang Yong} and Chin, {Byung Moon} and Lee, {Jun Won} and Song, {Joo Seok}",

year = "1997",

language = "English",

pages = "560--563",

note = "Proceedings of the 1997 6th IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. Part 1 (of 2) ; Conference date: 20-08-1997 Through 22-08-1997",

}

TY - CONF

T1 - Test sequence generation scheme satisfying the completeness criteria

AU - Son, Hong Se

AU - Nyang, Dae Hun

AU - Park, Jin Ho

AU - Lim, Sang Yong

AU - Chin, Byung Moon

AU - Lee, Jun Won

AU - Song, Joo Seok

PY - 1997

Y1 - 1997

N2 - We present a problem of commonly used characterization sequences and propose a new test sequence to resolve the problem. The proposed test sequence could decide whether the output fault arises in the edge being tested or one of edges in the UIO sequence. Additionally, the fault coverage is much wider than other test sequence generation methods. To achieve the goal, we introduce k-strong FSM, and show that it can be constructed from a characterization sequence. Also, we illustrate our technique on a specific example.

AB - We present a problem of commonly used characterization sequences and propose a new test sequence to resolve the problem. The proposed test sequence could decide whether the output fault arises in the edge being tested or one of edges in the UIO sequence. Additionally, the fault coverage is much wider than other test sequence generation methods. To achieve the goal, we introduce k-strong FSM, and show that it can be constructed from a characterization sequence. Also, we illustrate our technique on a specific example.

UR - http://www.scopus.com/inward/record.url?scp=0031364872&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031364872&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0031364872

SP - 560

EP - 563

T2 - Proceedings of the 1997 6th IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. Part 1 (of 2)

Y2 - 20 August 1997 through 22 August 1997

ER -

Test sequence generation scheme satisfying the completeness criteria

Abstract

Other

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this