TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 323
  • Download : 0
Although a great deal of research activities in protocol testing have focused on formal method for protocol test generation in recent years, in practice many test suites are still developed in a heuristic manner. This gives rise to a strong need for test case (suite) validation before they can be used in the conformance testing of implementations under test (IUT). In this paper, we discuss the basic idea of test validation, and present an overview of TESTVAL, a tool for test case validation based on Estelle specifications. The paper also demonstrates the validity of TESTVAL by applying it to the LAPB standard test suite. From the experiments performed we find TESTVAL a useful, practical tool for test case (suite) validation. Some redundancies in the LAPB standard test suite were uncovered.
Publisher
ELSEVIER SCIENCE BV
Issue Date
1996-08
Language
English
Article Type
Article
Citation

COMPUTER COMMUNICATIONS, v.19, no.9-10, pp.804 - 812

ISSN
0140-3664
DOI
10.1016/S0140-3664(96)01109-7
URI
http://hdl.handle.net/10203/67892
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0