Kea2 Test Report

Test Time: {{ timestamp }}

Test Summary

{{ bugs_found }} Bugs Found
{{ total_testing_time }} Total Testing Time
{{ executed_events }} Executed Events
{{ coverage_percent }}% Activity Coverage
{{ all_properties_count }} All Properties
{{ executed_properties_count }} Executed Properties

Coverage Trend

Activities Coverage

Activities Coverage Overview Coverage: {{ coverage_percent }}%
Tested Activities
{{ tested_activities|length }} / {{ total_activities_count }}
{% if tested_activities|length > 0 %}
{% for activity in tested_activities %}
{{ activity }}
{% endfor %}
{% else %}
No tested activities detected
{% endif %}
All Activities Overview
Total: {{ total_activities|length }}
{% if total_activities|length > 0 %}
{% for activity in total_activities %}
{% if activity in tested_activities %} {% else %} {% endif %} {{ activity }}
{% endfor %}
{% else %}
No activities information available
{% endif %}
{% if take_screenshots %}

Test Screenshots

{% for screenshot in screenshots %}
{{ screenshot.caption }}
{% endfor %}
{% endif %} {% if take_screenshots %}

Property Violations

{% for violation in property_violations %} {% endfor %}
Index Property Name Precondition Page Interaction Scenario Pages Postcondition Page
{{ violation.index }} {{ violation.property_name }} {{ violation.precondition_page }} {{ violation.interaction_pages[0] }} ~ {{ violation.interaction_pages[1] }} {{ violation.postcondition_page }}
{% endif %}

Property Checking Statistics

{% for property_name, test_result in property_stats.items() %} {% endfor %}
Index Property Name Precondition Satisfied Executed Fails Errors Error Details
{{ loop.index }} {{ property_name }} {{ test_result.precond_satisfied|default(0) }} {{ test_result.executed|default(0) }} {{ test_result.fail|default(0) }} {{ test_result.error|default(0) }} {% if (test_result.fail|default(0) > 0 or test_result.error|default(0) > 0) and property_name in property_error_details %} {% set error_list = property_error_details[property_name] %} {% set property_index = loop.index %} {% if error_list|length == 1 %}
{{ error_list[0].state|upper }} {% if error_list[0].occurrence_count > 1 %} Occurred {{ error_list[0].occurrence_count }} times {% endif %}
{% if error_list[0].short_description %}
Error: {{ error_list[0].short_description }}
{% endif %}
Show Full Traceback 
{{ error_list[0].traceback }}
{% else %}
Multiple Errors Detected
{% for error in error_list %} {{ error.state|upper }} #{{ loop.index }} {% if error.occurrence_count > 1 %} ({{ error.occurrence_count }}x){% endif %} {% endfor %}
{% for error in error_list %}
{{ error.state|upper }} #{{ loop.index }} Error {{ loop.index }} of {{ loop.length }} {% if error.occurrence_count > 1 %} {{ error.occurrence_count }} occurrences {% endif %}
{% if error.short_description %}
Error: {{ error.short_description }}
{% endif %}
{{ 'Hide' if loop.first else 'Show' }} Full Traceback 
{{ error.traceback }}
{% endfor %}
{% endif %} {% else %} - {% endif %}