Kea2 Test Report

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

Coverage Statistics

Total Activities

Tested Activities

Tested Activities ({{ tested_activities|length }}) {{ tested_activities|length }} / {{ total_activities_count }}

{% if tested_activities|length > 0 %}

{% for activity in tested_activities %}

{% 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 %}

{% for screenshot in screenshots %}

{% endfor %}

{% endif %}

{% if take_screenshots %}

{% 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 %}

{% for property_name, test_result in property_stats.items() %} {% endfor %}

Index	Property Name	Precondition Satisfied	Executed	Fails	Errors
{{ 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) }}