TL CAT

TL CAT automates all time-consuming and repetitive tasks, offering:

• a systematic test methodology supported by a testing environment;
• support for traceability and coverage assessment;
• compatibility with Common Criteria certifications (ATE class).

With TL CAT, testers are free from repetitive chores, and can focus on the value-added tasks which require their specific know-how: imagining how their product could be misused, and devising tests to find out how it would react.

Use TL CAT for:

• system testing
• unit testing
• Common Criteria evaluations.

Trusted Labs Computer-Assisted Testing

• TL CAT Test Generator: incremental services to efficiently develop high-quality test suites

• TL TM: a user-friendly environment for managing test scripts (selective and incremental execution, generating test reports, etc.)

• TL CAT Docs Generator: toolbox for developing semi-formal documents and specifications, suitable for preparing high-quality documents for evaluations - e.g. generating traceability links, cross-coverage tables, and Common Criteria documentation

• Dedicated libraries for cryptography, automatic test generation, and support of GlobalPlatform features.

About TL TM

TL TM ("Trusted Labs Test Manager") is at the core of TL CAT, and offers:

Smooth transition towards higher levels of automation and coverage

• Level 1: powerful test scripting (standard language constructs augmented by high-level features)
• Level 2: support in defining oracles (by designing models of the application)
• Level 3: automatic generation of test scripts (based on test case patterns, combinatorial variants and APDU description).

High-quality test scripts and documentation

• automatic generation of test documents with browsing facilities and reliable coverage information
• higher levels of coverage through higher levels of automation
• traceability links to facilitate understanding and justification of test scripts.

Easier test script management and maintenance

• structured test scripts for a better management of large testing bases
• test libraries available for GlobalPlatform UICC configuration testing.

• Gemalto
• GIE-Sesam Vitale
• MasterCard
• Pay-TV operators
• Telecom operators