Title
Advancing Radio Testing Methodology via Formal Notations
Abstract
Mandatory verification of the correct operation of equipment in public environments will increase the complexity of test equipment due to the high number of new vendors in the foreseen scenarios. Protocol and radio conformance tests are usually thought to be two separated fields, which makes that the test system design process is different for both cases. However, the only lack of radio test cases is the formalization of tests using a formal test notation. In this paper, it is shown how the design process can be merged for both protocol and radio test systems by modelling radio tests in TTCN. In this case, the same architecture and development tools can be used in the whole testing process, and a reduction of costs and time can be achieved. Abstraction of the instrumentation equipment and standardization of a control interface are required.
Year
DOI
Venue
2010
10.1007/s11277-010-9954-2
Wireless Personal Communications
Keywords
Field
DocType
Conformance testing,Radio tests,Protocol tests,TTCN
Notation,Abstraction,Software engineering,TTCN,Computer science,Conformance testing,Real-time computing,Dynamic testing,Test case,Engineering design process,Standardization
Journal
Volume
Issue
ISSN
53
3
0929-6212
Citations 
PageRank 
References 
0
0.34
5
Authors
3
Name
Order
Citations
PageRank
J. Poncela13914.64
J. T. Entrambasaguas26913.50
M. C. Aguayo3202.79