earticle

영어

Passive testing is an alternative testing approach whose purpose is to passively analyze
an implementation behaviour without disturbing it. Usually, passive testing methods extract
traces by means of snier-based tools, running in the same environment as the implementa-
tion. Nevertheless, many implementation environments prevent from setting a snier-based
tool for security or technical reasons. We propose a passive testing method based on the
notion of proxy-tester which represents an intermediary between client applications and the
implementation. We dene a proxy-tester as a product between the specication and its
canonical tester, which is able to receive the client trac and to forward it to the imple-
mentation and vice versa. It also aims to analyze the implementation traces to detect faults.
We dene a non conformance relation between the implementation, its specication and the
external environment from which is received the client trac. We also provide some pre-
liminary results on the Amazon E-commerce Web service and discuss about the proxy-tester
benets.