This example is used for our demos, it is the result of the following operations:
- AccessConctrol: Design an Access Control model.
- Deploy: Create a deployment diagram for deploying several instances of bLocal and run scenario.csv against it (Generate/Execute Deployment profile).
- Create three different architecture: MonoCore, Balanced, and Unbalanced.
- xLIA0001: Generate the TTCN-3 with PragmaList tool (Validation/Checking...).
- OptimizedPerformance is a performance analysis configuration of the three different architecture against the generated test cases.
- MyDoc is an automatically generated document.
- CustomerRequirements is a traceability table with test information coming from the CodeCoverage1 information, result of the execution of the test cases coming from PragmaList on the model.
