Anomaly Removal for Efficient Conformance Test


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 3, pp. 750-757, Mar. 1999
10.3745/KIPSTE.1999.6.3.750,   PDF Download:

Abstract

The protocol conformance testing is to check whether an implementation of a protocol conforms to its specification. And it is important to improve the interoperability of protocol and the efficiency of cost. In general, protocol is composed of the control flow representing observable behaviors and the data flow representing internally used variables. Until now, research for generation of test suite has been realized only consideration the control flow or protocol or separation control flow from data flow. Case of considering control flow, contents of test was simple and definite. Length of test was short. But it was of little application, and it didn't manage each kind errors in data flow. Therefore, we must generate test case that can manage control and data flow simultaneously. If errors was included in protocol, anomaly of variable showed in processing data flow. So, anomaly of variable must be removed for efficient conformance testing. Therefore in this dissertation, we proposed algorithm which can remove anomaly of variable for efficient conformance testing. And it showed that anomaly of variable was got rid of applying this algorithm to real protocol.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
L. H. Chul and H. G. Taek, "Anomaly Removal for Efficient Conformance Test," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 3, pp. 750-757, 1999. DOI: 10.3745/KIPSTE.1999.6.3.750.

[ACM Style]
Lee Hyun Chul and Hur Gi Taek. 1999. Anomaly Removal for Efficient Conformance Test. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 3, (1999), 750-757. DOI: 10.3745/KIPSTE.1999.6.3.750.