Keyword : conformance testing

Modeling and Testing of Network Protocols with Parallel State Machines
Xia YIN Jiangyuan YAO Zhiliang WANG Xingang SHI Jun BI Jianping WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/12/01
Vol. E98-D  No. 12 ; pp. 2091-2104
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Network
Keyword: 
conformance testing, model-based testing, Parallel Parameterized Extended Finite State Machines, Source Address Validation Improvements, 
 Summary | Full Text:PDF
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
Ngoc Hung PHAM Toshiaki AOKI Takuya KATAYAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A  No. 11 ; pp. 2772-2780
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
model checking, assume-guarantee reasoning, modular verification, component evolution, conformance testing, 
 Summary | Full Text:PDF
E-Synchronizable Test Sequence for the Protocol Data Portion
Wen-Huei CHEN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2000/07/25
Vol. E83-B  No. 7 ; pp. 1580-1583
Type of Manuscript:  LETTER
Category: Network
Keyword: 
protocol, conformance testing, synchronization, 
 Summary | Full Text:PDF
An Approach for Testing Asynchronous Communicating Systems
Myungchul KIM Jaehwi SHIN Samuel T. CHANSON Sungwon KANG 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1999/01/25
Vol. E82-B  No. 1 ; pp. 81-95
Type of Manuscript:  PAPER
Category: Signaling System and Communication Protocol
Keyword: 
protocol testing, concurrent system, logical time, conformance testing, asynchronous communicating finite state machines, 
 Summary | Full Text:PDF
Obtaining Unique Input/Output Sequences of Communication Protocols
Wen-Huei CHEN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1997/10/25
Vol. E80-B  No. 10 ; pp. 1509-1513
Type of Manuscript:  Special Section PAPER (Special Issue on Network Interworking)
Category: Communication protocol
Keyword: 
conformance testing, protocols, UIO sequences, test sequence, 
 Summary | Full Text:PDF
A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
Yoshiaki KAKUDA Hideki YUKITOMO Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/07/25
Vol. E78-D  No. 7 ; pp. 802-810
Type of Manuscript:  Special Section PAPER (Special Issue on Verification, Test and Diagnosis of VLSI Systems)
Category: 
Keyword: 
software testing, communication protocol, conformance testing, fault localization, test sequence, 
 Summary | Full Text:PDF
Design and Implementation of Interconnectability Testing System
Keiichi KAZAMA Shinji SUZUKI Masatoshi HATAFUKU 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1995/03/25
Vol. E78-B  No. 3 ; pp. 344-349
Type of Manuscript:  PAPER
Category: Switching and Communication Processing
Keyword: 
conformance testing, interoperability testing, interconnectability testing, 
 Summary | Full Text:PDF