Advancing Radio Testing Methodology via Formal Notations

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.