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 testingmodel-based testingParallel Parameterized Extended Finite State MachinesSource 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 checkingassume-guarantee reasoningmodular verificationcomponent evolutionconformance 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: 
protocolconformance testingsynchronization
 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 testingconcurrent systemlogical timeconformance testingasynchronous 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 testingprotocolsUIO sequencestest 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 testingcommunication protocolconformance testingfault localizationtest 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 testinginteroperability testinginterconnectability testing
 Summary | Full Text:PDF