The Formal Description of the Protocol and the Design and Implementation of Automatically Generating Protocol Test Suite

2010 ◽  
Author(s):  
Chunmei Hai ◽  
Yulan Zhao ◽  
Xiaoqing Guo ◽  
Chenguang Zhang ◽  
Rengaowa Sa
Keyword(s):  
Test Suite ◽  
Formal Description ◽  
Design And Implementation ◽  
Protocol Test

The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos

2011 ◽  
Vol 225-226 ◽  
pp. 1050-1053
Author(s):  
Xiao Qing Guo ◽  
Yu Lan Zhao ◽  
Chao Ji ◽  
Feng Xian Jiang ◽  
Le Le Feng
Keyword(s):  
Software Development ◽  
System Design ◽  
Formal Methods ◽  
Symbolic Execution ◽  
Formal Description ◽  
Formal Description Technique ◽  
Design And Implementation ◽  
Java Swing ◽  
Description Technique

Formal methods (FM) are mathematically based techniques that provide a rigorous basis for software development: the application of FMs makes it possible to achieve provable correctness and reliability in the various steps of system design and implementation. Generally, Formal methods need the support of formal description technique (FDT). Because the FDL has strict syntax and semantics. It is the realization of the abstract to the concrete, strictly, can be symbolic execution, unambiguous. E-LOTOS formal description is an important technology. This paper describes the design and the implement of the editor that support syntax highlighting of E-LOTOS. The editor is implemented using java Swing and JFlex.

TESTGEN: An environment for protocol test suite generation and selection

1994 ◽  
Vol 17 (4) ◽  
pp. 257-270 ◽  
Author(s):  
S.T. Vuong ◽  
H Janssen ◽  
Y Lu ◽  
C Mathieson ◽  
B Do
Keyword(s):  
Test Suite ◽  
Test Suite Generation ◽  
Protocol Test

TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example

1996 ◽  
Vol 19 (9-10) ◽  
pp. 804-812
Author(s):  
Son T. Vuong ◽  
Sangho Lee ◽  
Myung Chul Kim
Keyword(s):  
Test Validation ◽  
Test Suite ◽  
Protocol Test

scholarly journals Design and Implementation of Training Management Software for General Simulation Training System

2018 ◽  
Vol 176 ◽  
pp. 01015
Author(s):  
Wei Xiang ◽  
Sun Chunsheng ◽  
Dong Yanhong
Keyword(s):  
Simulation Training ◽  
Training Programs ◽  
Training System ◽  
Group Training ◽  
Formal Description ◽  
Management Software ◽  
Design And Implementation ◽  
Depth Analysis ◽  
The Common ◽  
Training Resources

The common simulation training system realizes the common design of hardware and software, and also increases the difficulty of group training management. In order to solve the problem of flexible group training of multiple training modes for general simulation training system of a certain type of naval combat system, this paper puts forward a formal description method of group training resources and group training programs based on an in-depth analysis of training management requirements. Design and implementation of a general simulation training system training management software.

scholarly journals Design and Implementation of the Structural Conformance Test Suite for OPRoS Component

2010 ◽  
Vol 10 (6) ◽  
pp. 144-155
Author(s):  
Tae-Hee Lee ◽  
June Kim ◽  
Dae-Young Ahn ◽  
Jeong-Min Shim ◽  
Byung-Yeol Song ◽  
...  
Keyword(s):  
Test Suite ◽  
Conformance Test ◽  
Design And Implementation
Sign in / Sign up

Export Citation Format

Share Document