Analysis and representation of test cases generated from LOTOS
dc.citation.epage | 506 | en_US |
dc.citation.issueNumber | 7 | en_US |
dc.citation.spage | 493 | en_US |
dc.citation.volumeNumber | 18 | en_US |
dc.contributor.author | Tripathy, P. | en_US |
dc.contributor.author | Sarikaya, B. | en_US |
dc.date.accessioned | 2015-07-28T11:56:15Z | |
dc.date.available | 2015-07-28T11:56:15Z | en_US |
dc.date.issued | 1995 | en_US |
dc.department | Department of Computer Engineering | en_US |
dc.description.abstract | This paper presents a method to generate, analyse and represent test cases from protocol specification. The language of temporal ordering specification (LOTOS) is mapped into an extended finite state machine (EFSM). Test cases are generated from EFSM. The generated test cases are modelled as a dependence graph. Predicate slices are used to identify infeasible test cases that must be eliminated. Redundant assignments and predicates in all the feasible test cases are removed by reducing the test case dependence graph. The reduced test case dependence graph is adapted for a local single-layer (LS) architecture. The reduced test cases for the LS architecture are enhanced to represent the tester's behaviour. The dynamic behaviour of the test cases is represented in the form of control graphs by inverting the events, assigning verdicts to the events in the enhanced dependence graph. © 1995. | en_US |
dc.description.provenance | Made available in DSpace on 2015-07-28T11:56:15Z (GMT). No. of bitstreams: 1 10.1016-0140-3664(95)94376-M.pdf: 1615912 bytes, checksum: 91837a18b9e24344f121190e00769dd7 (MD5) | en |
dc.identifier.doi | 10.1016/0140-3664(95)94376-M | en_US |
dc.identifier.eissn | 1873-703X | en_US |
dc.identifier.issn | 0140-3664 | en_US |
dc.identifier.uri | http://hdl.handle.net/11693/10904 | en_US |
dc.language.iso | English | en_US |
dc.publisher | Elsevier | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1016/0140-3664(95)94376-M | en_US |
dc.source.title | Computer Communications | en_US |
dc.subject | Abstract Data Types | en_US |
dc.subject | Conformance Testing | en_US |
dc.subject | Dependence Graph | en_US |
dc.subject | Lotos | en_US |
dc.subject | Program Slice | en_US |
dc.title | Analysis and representation of test cases generated from LOTOS | en_US |
dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 10.1016-0140-3664(95)94376-M.pdf
- Size:
- 1.54 MB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version