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 dene a proxy-tester as a product between the specication 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 dene a non conformance relation between the implementation, its specication 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 benets.
목차
Abstract 1: Introduction 2: Related work on passive testing 3: Model Denition and notations 4: Passive testing with proxy-tester 4.1: Proxy-tester denition 4.2: Passive conformance 5: Experimentation and discussion 6: Conclusion References
보안공학연구지원센터(IJSEIA) [Science & Engineering Research Support Center, Republic of Korea(IJSEIA)]
설립연도
2006
분야
공학>컴퓨터학
소개
1. 보안공학에 대한 각종 조사 및 연구
2. 보안공학에 대한 응용기술 연구 및 발표
3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최
4. 보안공학 기술의 상호 협조 및 정보교환
5. 보안공학에 관한 표준화 사업 및 규격의 제정
6. 보안공학에 관한 산학연 협동의 증진
7. 국제적 학술 교류 및 기술 협력
8. 보안공학에 관한 논문지 발간
9. 기타 본 회 목적 달성에 필요한 사업
간행물
간행물명
International Journal of Software Engineering and Its Applications
간기
월간
pISSN
1738-9984
수록기간
2008~2016
등재여부
SCOPUS
십진분류
KDC 505DDC 605
이 권호 내 다른 논문 / International Journal of Software Engineering and Its Applications Vol.5 No.4