Verification of test cases for protocol conformance testing

Verification of test cases for protocol conformance testing

This thesis is concerned with verifying the correctness of human designed test cases for determining the conformance of protocol implementation with its formal specification.

Bibliographic Details
Main Author:	Naik, Kshirasagar
Format:	Others
Published:	1992
Online Access:	http://spectrum.library.concordia.ca/5523/1/NN81014.pdf Naik, Kshirasagar <http://spectrum.library.concordia.ca/view/creators/Naik=3AKshirasagar=3A=3A.html> (1992) Verification of test cases for protocol conformance testing. PhD thesis, Concordia University.

Similar Items

Verification and Test Platform for OFDM Wireless Device Conformation
by: Shang-Jan Lin, et al.
Published: (2010)

The study on test sequence generation for protocol conformance testing
by: Wen-huei Chen, et al.
Published: (1994)

Synchronizable test sequence generation for protocol conformance testing.
by: Wang, Zhiping.
Published: (2009)

Automation of conformance testing for communication protocols
by: Nikolay Pakulin, et al.
Published: (2018-10-01)

On the formal methods for protocol conformance testing.
by: Lu, Yueping.
Published: (2009)

Bounds on the length of test sequences for conformance testing of communication protocols.
by: Zhu, Keqin.
Published: (2009)

An X window environment for protocol conformance test case generation
by: CHENG,YU-MING, et al.
Published: (1991)

An X window environment for protocol conformance test case generation
by: Cheng, Yu-Ming, et al.
Published: (1991)

Automatic test case generation of conformance testing for communication protocols specified in extended models /
by: Wang, Chang-Jia
Published: (1994)

Conformance testing of Extensible Authentication Protocol implementations
by: A. V. Nikeshin, et al.
Published: (2019-02-01)

Coverage analysis for conformance testing of communication protocols
by: Zhu, Jinsong
Published: (2009)

Conformance Testing and Fault Diagnosis for Communication Protocols
by: Lin, Rong-Syh, et al.
Published: (1998)

Coverage analysis for conformance testing of communication protocols
by: Zhu, Jinsong
Published: (2009)

Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things
by: Weiwei Lin, et al.
Published: (2018-01-01)

Test Suite development for verification of TLS security protocol
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Advanced Orbiting Systems Test-Bedding and Protocol Verification
by: Noles, James, et al.
Published: (1989)

Conformance testing of OSI protocols : the class O transport protocol as an example
by: Kou, Tian
Published: (2010)

A Method of Protocol Conformance Testing on Estelle Model
by: I-Hui Li, et al.
Published: (1995)

Guidelines for assessing the completeness of protocol conformance test suites.
by: Boyce, Teddy T.
Published: (2009)

A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case
by: Lin Wei-Wei, et al.
Published: (2021-01-01)

Development of Adaptor for WiMAX TTCN-3 Protocol Conformance Test Cases
by: Hung-Hsin Liao, et al.
Published: (2008)

Correctly ordered postman tours and synchronizable test sequence generation for protocol conformance testing.
by: Perez, Maria Eugenia.
Published: (2009)

Investigation and development of a verification protocol test tool for LTE
by: Georgis, Jolian
Published: (2011)

Cross-fertilizing formal approaches for protocol conformance and performance testing
by: Che, Xiaoping
Published: (2014)

Port-Specified Synchronizable Test Sequence Generation Method for Multi-party Protocol Conformance Testing
by: Yang Kuei-Ju, et al.
Published: (1999)

Conformance testing of the STP-ISS protocol implementation by means of temporal logic
by: Nadezhda Chumakova, et al.
Published: (2017-11-01)

Conformance test suite for implementations of the security protocol suite IPsec v2
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

The study on conformance test between IEDs based on IEC 61850 communication Protocol
by: Che-Kai Chung, et al.
Published: (2014)

Testing and verification of the LHCb Simulation
by: Popov Dmitry
Published: (2019-01-01)

HDL slicing for verification and test
by: Vedula, Vivekananda Murthy
Published: (2008)

Mining constraints for Testing and Verification
by: Wu, Weixin
Published: (2014)

Testing an implementation's conformance to a formal specification: the SNR high speed transport protocol
by: Grier, Robert Baxter
Published: (2013)

A protocol conformance test case generator based on U10v and rural Chinese postman tours
by: ZENG,SHAO-ZHANG, et al.
Published: (1991)

System Upgrade Verification : An automated test case study
by: Rotting Tjädermo, Viktor, et al.
Published: (2019)

Test-inspired runtime verification : Using a unit test-like specification syntax for runtime verification
by: RENBERG, ADAM
Published: (2014)

Verification of the vapor chamber standard test and the establishment of the test parameters
by: Chu, Pin Yen, et al.
Published: (2015)

Construction and verification of an integrated test system for underwater vehicle testing
by: Nan Jiang, et al.
Published: (2019-10-01)

A Localized Adaptive Strategy to Calculate the Backoff Interval in Contention-Based Vehicular Networks
by: Tamer Abdelkader, et al.
Published: (2014-01-01)

Test-Based Falsification and Conformance Testing for Cyber-Physical Systems
Published: (2015)

Automatic Program Verification and Test Case Generation of Ruby Programs
by: Segal, Loren J.
Published: (2012)

Cannot write session to /tmp/vufind_sessions/sess_37qlfhghpr5mh6g9hdedv7vi05