Introduction

The assertion manager aims at linking Requirements (assertions) to the entity covering them.

An assertion can be covered by a:

Test
Test step
Technical framework rule
Model based validation

The assertion manager is linked to gazelle Test Management in order to link assertions to test, test steps and technical framework rules.

The assertion manager can be linked to multiple model based validation services.

The assertion Manager provides a web service to query assertions, the api is described here.

Concepts

Assertions

An assertion is the expression of a requirement.

An assertion is linked to an IdScheme.

An assertion is composed of:

AssertionId
Predicate
Prescription level
Section
Page
A document

Click on “Assertions” link in the menu bar.

The page displayed lists all registered assertions and the seach criteria area to filter according to Assertion parameters, Applies to and/or Coverage:

Create assertion

The administrator user can create a new assertion:

Click on the button , it will open a window containing a new assertion properties:

Fill the properties and click on button to register the new assertion.

Click on button to register and display a new assertion creation window.

Update deprecated coverage

To check and update the links between assertion and coverage tests click on the button .

View assertion

Choose the first assertion of the list and click on the button .

It will display properties and document belonging to the selected assertion:

You can edit the assertion details by clicking on the Edit button (refer to chapter Edit assertion for more details).

Click on button to view the selected assertion XML (refer to chapter View XML for more details).

Edit assertion

Choose the first assertion of the list and click on the button .

It will open a new window containing the selected assertion details to edit.

View assertion XML

Choose an assertion from list and click on the button .

It will open a new window containing the XML that describes the assertion. An example of assertion XML is shown below:

<testAssertionSet xsi:schemaLocation="http://docs.oasis-open.org/ns/tag/taml-201002/ http://gazelle.ihe.net/XSD/OASIS/TAML/testAssertionMarkupLanguage.xsd">
    
    <common>
        <normativeSource>
        <refSourceItem srcname="IHE IT Infrastructure (ITI) Technical Framework   Volume 1  (ITI TF-1) Integration Profiles" uri="https://www.ihe.net/uploadedFiles/Documents/ITI/IHE_ITI_TF_Vol1.pdf" documentId="" versionId="" revisionId="13.0" resourceProvenanceId="IHE.net"/>
        </normativeSource>
        <target idscheme="ATNA"/>
    </common>
    
    <testAssertion id="ATNA-1">
        <predicate>
            The Audit Trail and Node Authentication Integration Profile 
            requires the use of bi-directional certificate-based node authentication 
            for connections to and from each node.
        </predicate>
        <prescription level="mandatory"/>
        <tag tname="Page">76</tag>
        <tag tname="Section">9.4</tag>
        <comment>I think this is redundant to ATNA-11.  
            This is just a generic statement about the ITI-19 transaction.
        </comment>
        <status>TO_BE_REVIEWED</status>
        <testable>true</testable>
    </testAssertion>
    
</testAssertionSet>

View assertion document

Choose the first assertion of the list and click on the button .

It will display the pdf document belonging to the selected assertion.

Delete assertion

To delete selected assertion, click on the delete icon .

A confirmation panel will appear then click on the delete button.

Import assertions

Assertions can be imported into the AssertionManager. One assertionId must be unique in one idScheme.

Please use the following template to create your assertion file: https://gazelle.ihe.net/files/AssertionTemplate.xml.

Then go to the IdSchemes page and click the button:

Select your XML file containing your assertions.

If the uploaded xml file contains an assertion that is already in assertion manager, then the assertion properties will be updated.

IdSchemes

An IdScheme is used to group assertions from one document.

It is used to import assertions.

It provides coverage feedback.

Click on “Id schemes” link in the menu bar.

The page displayed lists all registered IdSchemes and the seach criteria area to filter according to Scope Id Scheme and/or Model-based Validator Sevice:

Create IdScheme

As shown on picture above, the administrator user can create a new IdScheme.

Click on the button .

It will open a window containing a new IdScheme properties:

Fill the properties and click on button to register the new IdScheme.

Click on the button to go back to IdSchemes main page without registring.

View IdScheme

Choose the first IdSheme of the list and click on the button .

It will display the properties of selected IdScheme:

You can edit the IdScheme details by clicking on the Edit button (refer to chapter Edit IdScheme for more details).

Edit IdScheme

Choose the first IdSheme of the list and click on the button .

It will open a new window containing the selected IdScheme details to edit:

Click on button to register the modified IdScheme.

Review IdScheme

Choose the first IdSheme of the list and click on the button .

It will open a window containing the list of the selected IdScheme assertions. It also offers the possibility to browse this list and to display each assertion with its properties.

View IdScheme XML

Choose the first IdSheme of the list and click on the button .

It will open a window containing the XML that describes the IdScheme and its assertions.

An example of IdSchme XML is shown below:

<testAssertionSet xsi:schemaLocation="http://docs.oasis-open.org/ns/tag/taml-201002/ http://gazelle.ihe.net/XSD/OASIS/TAML/testAssertionMarkupLanguage.xsd">
    
    <common>
        <normativeSource>
            <refSourceItem srcname="IHE IT Infrastructure (ITI) Technical Framework   Volume 1  (ITI TF-1) Integration Profiles" uri="https://www.ihe.net/uploadedFiles/Documents/ITI/IHE_ITI_TF_Vol1.pdf" documentId="" versionId="" revisionId="13.0" resourceProvenanceId="IHE.net"/>
        </normativeSource>
        <target idscheme="ATNA"/>
    </common>
    
    <testAssertion id="ATNA-1">
        <predicate>
            The Audit Trail and Node Authentication Integration Profile requires the use of bi-directional 
            certificate-based node authentication for connections to and from each node.
         </predicate>
        <prescription level="mandatory"/>
        <tag tname="Page">76</tag>
        <tag tname="Section">9.4</tag>
        <comment>I think this is redundant to ATNA-11.</comment>
        <status>TO_BE_REVIEWED</status>
        <testable>true</testable>
    </testAssertion>
    
    <testAssertion id="ATNA-10">
        <predicate>
            Audit Record Repository actor which claims support 
            of the Audit Trail and Node Authentication (ATNA) integration profile shall support 
            the Record Audit Event [ITI-20] transaction.
        </predicate>
        <prescription level="mandatory"/>
        <tag tname="Page">74</tag>
        <tag tname="Table">9.4-1</tag>
        <status>REVIEWED</status>
        <testable>true</testable>
    </testAssertion>
    ...
    
</testAssertionSet>

View IdScheme documents

Choose the first IdSheme from list and click on the button .

It list documents belonging to assertions in this IdScheme.

You can edit the document details by clicking on the Edit button :

Delete IdScheme

Deleting one idScheme will delete all the assertions it contains.

To delete one IdScheme, click on the delete icon .

A confirmation panel will appear then click on the delete button.

Scopes

A scope provides a way to group assertions that are in different IdScheme.

A scope contains assertions and one assertion can be in 0 or multiple scopes.

Click on “Scopes” link in the menu bar.

The page displayed lists all registered scopes and the scope filter area according to the keyword.

Create Scope

As shown on picture above, the administrator user can create a new Scope.

Click on the button .

It will open a window containing a new Scope properties:

Fill the properties and click on button to register the new Scope.

Click on the button to go back to Scope main page without registring.

View Scope

Choose the first Scope of the list and click on the button .

It will display the properties of selected Scope:

You can edit the Scope details by clicking on the Edit button (refer to chapter Edit Scope for more details).

Edit Scope

Choose the first Scope of the list and click on the button .

It will open a window containing the selected Scope details to edit:

To remove IdSchemes from Scope, select the available IdSchemes and click on button .

To add IdSchemes to scope, select the available IdSchemes and click on button .

And to link IdSchemes to Scope, select available IdSchemes and click on button .

Click on button to register the modified Scope.

Delete Scope

Deleting one Scope will not delete the assertions it contains.

To delete one scope, click on the delete icon .

A confirmation panel will appear then click on the delete button.

Assertion Coverage

An Assertion can be covered by:

A test
A test step
A rule
A Model based validation

Assertion manager queries gazelle test managment to list all tests, test steps and rules available.

Configure gazelle_test-managment-url into administration page to point to your test managment instance (example: https://gazelle.ihe.net/GMM/rest/).

Touch the deployed package so that new configuration are taken into account.

In the following chapters you will learn how to cover an assertion.

Test

Click on “Coverage” then “Test to Assertions” link in the menu bar.

To link a test to an assertion:

Select a domain and integration profile.

Select a test by clicking the select link on the test row.

It will display the test description and enable “Link to” and “Unlink” buttons in the right pane.

Click on the “Link to” in the assertion row to link to the selected test.

The button will become an unlink button in red.

Test Step

Click on “Coverage” then the “Test steps to assertions” menu link

A test step belongs to test so as linking a test to an assertion, select the test.

Then select the test step by clicking on the test step row.

Rules

Click to “Coverage” then the “Rules to assertions” menu link.

To link a rule to an assertion:

Search the rule to link with the rules filtering
Rules will appear in the Filtered rules section, Select the rule to link, by clicking the select link in the rule row.
Assertion linked to the rule will appear
Search the assertion to link with the rule
Link the assertion to the rule by clicking the Link to button.

Assertion Applies to

Assertion can be applied to: an Actor, an AIPO, an Audit message, an Integration profile, a Standard, a Transaction. It works the same way for linking all the entities mentioned above, so only one will be demonstrated. Click to ”Apply to” then “Actors” menu link.

Filter and/or Select an “actor”

The actor description appears

Filter to select the assertion to link. Click “Link to” button

Model based validation service (MBVservice)

Assertion manager can fetch assertion coverage from services that provides coverage services.

To provide a coverage service implement: net.ihe.gazelle.assertion.coverage.provider.WsInterface

from:

<parent>
    <groupId>net.ihe.gazelle.assertion.coverage</groupId>
    <artifactId>gazelle-assertion-coverage-provider</artifactId>
    <version>5.0.1</version>
</parent>

List of services that provides an assertion coverage service:

CDAGenerator
GazelleHL7Validator
XdStarClient

Configuration

Go to Administration -> Mbv Services

The page lists all registered Mbv Services.

You can add, update, Delete a mbv Service and synchronize coverages.

Add a MbvService

To add a new Mbv Service click Add new mbv service :

Set the keyword.

Set the url to the service without trailing slash, example: https://gazelle.ihe.net/CDAGenerator.

Click the Add new mbv service button

Edit

Click the edit button in the service row .

Click the update this mbv service button

Delete

Click the delete cross in the mbv service row .

Coverage Synchronization

Click on the synchronize button .

It will fetch the assertions covered by the service and display the synchronization status:

Covered assertions: Assertions that are covered by the service and in Assertion manager.

No more covered: Assertions that are no longer covered by the service and in Assertion manager.

Missing assertions: Assertions that are covered by the service but not in Assertion manager.

Coverage FeedBack

Assertion manager provides coverage details.

Idscheme Page

For each idScheme coverage statistics are displayed, and a progress bar to visualize assertion coverage.

#Covered throuh tests

Number of assertions covered by a test or testStep or more

#Covered throuh rules

Number of assertions covered by a rule or more

#Covered throuh MBV

Number of assertions covered by MbvService validation or more

Assertions list page

This page lists all assertions and displays coverage statistics by assertion.

#Covered by tests

Number of test or testSteps covering the assertion

#Covered by rules

Number of rules covering the assertion

#Covered by MBV

Number of validations perfromed by MbvServices covering the assertion

Assertion detail page

When viewing an assertion, a coverage section is visible.

The coverage section lists all the entities covering the assertion and provides a link to the entity.

It is possible to unlink a Test, Test step, rule from this page. When clicking the Unlink button, a confirmation panel is displayed.

Assertion Manager Administration manual 4.x User manual 4.x

Introduction

Concepts

Assertions

Create assertion

Update deprecated coverage

View assertion

Edit assertion

View assertion XML

View assertion document

Delete assertion

Import assertions

IdSchemes

Create IdScheme

View IdScheme

Edit IdScheme

Review IdScheme

View IdScheme XML

View IdScheme documents

Delete IdScheme

Scopes

Create Scope

View Scope

Edit Scope

Delete Scope

Assertion Coverage

Test

Test Step

Rules

Assertion Applies to

Model based validation service (MBVservice)

Configuration

Add a MbvService

Edit

Delete

Coverage Synchronization

Coverage FeedBack

Idscheme Page

Assertions list page

Assertion detail page

Assertion Manager