Close
Banner News Page

Tutorial: Use Formal Requirements to Reduce Test Efforts

Use Formal Requirements in TPT
Use Formal Requirements in TPT

With TPT you can import requirements and/or test cases from the most common application lifecycle management tools (e.g. Codebeamer, Quality Manager, Polarion,  Doors, Excel) or via the ReqIf standard and link them to the test case implementation. But that was not enough for us: with TPT18 you can also add a formal notation for each requirement. You can have the so-called Formal Requirements checked automatically during each test run. The results are of course displayed in the test report for each requirement. 

For the creation of formal requirements, we have defined a clear but very comprehensive language set. The advantage of this type of notation is that they are understood identically by all readers with knowledge of the same vocabulary. Thus, the formal requirements are free of interpretation. Additional work due to misinterpretation can thus be avoided and this saves money in the development.  

The derivation of formal requirements from natural language requirements can largely be understood as a consistent reformulation and refinement of existing requirements. 

In our new tutorial we explain how you can use this feature in TPT 18.

Watch the tutorial on Formal Requirements in TPT:

Related topics

ISO26262 Testing with TPT testing tool
Watch the tutorial. First Steps with TPT.
What is Model-in-the-Loop Testing? Introduction to MiL Testing
What is Model-in-the-Loop Testing? Introduction to MiL Testing.
Software-in-Loop testing and how you do it
What is SiL Testing? Software-in-Loop testing and how you do it.