Kea2 Test Report

Test Time: {{ timestamp }}

Test Summary

{{ bugs_found }} Bugs Found
{{ (total_testing_time / 60)|int }} min: {{ (total_testing_time % 60)|int }} sec Total Testing Time
{{ executed_events }} Executed Events
{{ coverage_percent }}% Activity Coverage
Time Statistics
First Bug Discovery Time: {{ (first_bug_time / 60)|int }} min: {{ (first_bug_time % 60)|int }} sec
First Precondition Satisfaction Time: {{ (first_precondition_time / 60)|int }} min: {{ (first_precondition_time % 60)|int }} sec
Total Testing Time: {{ (total_testing_time / 60)|int }} min: {{ (total_testing_time % 60)|int }} sec
Coverage Statistics
Activity Coverage: {{ coverage_percent }}%
{{ total_activities_count }}
Total Activities
{{ tested_activities_count }}
Tested Activities

Activities Coverage

Tested Activities ({{ tested_activities|length }}) {{ 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 ({{ total_activities|length }}) Coverage: {{ coverage_percent }}%
{% 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 %}

Coverage Trend

{% 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 stat in property_stats %} {% endfor %}
Index Property Name Precondition Satisfied Executed Fails Errors
{{ stat.index }} {{ stat.property_name }} {{ stat.precond_satisfied }} {{ stat.precond_checked }} {{ stat.postcond_violated }} {{ stat.error }}