Test selection based on implementation specification

The standard of FMCT (Formal Methods in Conformance Testing) [ISO DIS 13245-1] defines rules set for the use of formal methods in conformance testing. ATS (Abstract Test Suite) is usually described in a special language. One such language-TTCN (Tree and Tabular Combined Notation) is a test notation, standardized by ISO [ISO 9646-3] and widely used for specification of tests for protocol implementations. Testing of protocol implementation depends on number of features, realized in a protocol or not realized. This is described in a PICS (Protocol Implementation Conformance Statement) proforma that must be provided for every complex protocol and test specification. The Test Purposes and the Test Suite Structure (TSS&TP) is a document recommended in the X.291 standard. This document can be the key in test case selection according to the PICS values. The paper describes an algorithm for automated selection of test cases. This algorithm allows selection of whole test cases or parts of them using information only from PICS, if TSS&TP documents are missing. Recommendation for making PICS computer usable is given.