DC Field | Value | Language |
---|---|---|
dc.contributor.author | n.h. lee | ko |
dc.contributor.author | Cha, Sungdeok | ko |
dc.date.accessioned | 2013-03-04T04:01:29Z | - |
dc.date.available | 2013-03-04T04:01:29Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2003 | - |
dc.identifier.citation | COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, v.42, no.3, pp.405 - 417 | - |
dc.identifier.issn | 1389-1286 | - |
dc.identifier.uri | http://hdl.handle.net/10203/81832 | - |
dc.description.abstract | We propose an approach to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent finite state machine for testing reactive and embedded software. Test cases are expressed as a sequence of messages to be exchanged among various system entities. We use scenario activation conditions and state assignments to generate only the feasible states and transitions. This paper uses complex digital TV software to illustrate how test cases are automatically generated. (C) 2003 Elsevier Science B.V. All rights reserved. | - |
dc.language | English | - |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.subject | FINITE-STATE MACHINES | - |
dc.title | Generating test sequences from a set of MSCs | - |
dc.type | Article | - |
dc.identifier.wosid | 000183171800008 | - |
dc.identifier.scopusid | 2-s2.0-0037947553 | - |
dc.type.rims | ART | - |
dc.citation.volume | 42 | - |
dc.citation.issue | 3 | - |
dc.citation.beginningpage | 405 | - |
dc.citation.endingpage | 417 | - |
dc.citation.publicationname | COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING | - |
dc.identifier.doi | 10.1016/S1389-1286(03)00250-0 | - |
dc.contributor.nonIdAuthor | n.h. lee | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | task interaction testing | - |
dc.subject.keywordAuthor | scenario-based testing | - |
dc.subject.keywordAuthor | message sequence charts | - |
dc.subject.keywordPlus | FINITE-STATE MACHINES | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.