Kea2 Merged Test Report

Test Time: {{ timestamp }}

Test Summary

{% if merge_info %}
Merged Directories
{% for dir_name in merge_info.source_directories %}
{{ dir_name }}
Directory {{ loop.index }}
{% endfor %}
{% endif %}
{{ bugs_found }} Total Bugs
{{ total_crash_count|default(0) }} Crashes
{{ total_anr_count|default(0) }} ANRs
{{ "%.2f"|format(coverage_percent) }}% Coverage
{{ all_properties_count }} All Properties
{{ executed_properties_count }} Executed

Activities Coverage

Activities Coverage Overview Coverage: {{ "%.2f"|format(coverage_percent) }}%
Visit Count Explanation: The number after the icon indicates how many times each Activity was visited during testing.
Tested Activities
{{ tested_activities|length }} / {{ total_activities_count }}
Sort:
{% if tested_activities|length > 0 %}
{% for activity in tested_activities %}
{{ activity }}
{% if activity in activity_count_history %} {{ activity_count_history[activity] }} times {% endif %}
{% endfor %}
{% else %}
No tested activities detected
{% endif %}
All Activities Overview
Total: {{ total_activities|length }}
Sort:
{% if total_activities|length > 0 %}
{% for activity in total_activities %}
{% if activity in tested_activities %} {% else %} {% endif %} {{ activity }}
{% if activity in activity_count_history %} {{ activity_count_history[activity] }} times {% endif %}
{% endfor %}
{% else %}
No activities information available
{% endif %}
{% if crash_events or anr_events %}

Crash Analysis

Crash & ANR Events {{ (crash_events|length) + (anr_events|length) }} events
{% for crash in crash_events %} {% endfor %} {% for anr in anr_events %} {% endfor %}
Type Time Exception Process Details
CRASH {{ crash.time }} {{ crash.exception_type }} {{ crash.process }}
Stack Trace:
{{ crash.stack_trace }}
ANR {{ anr.time }} {{ anr.reason }} {{ anr.process }}
ANR Details:
{{ anr.trace }}
{% else %}

Crash Analysis

No crash or ANR events detected in this test session.
{% endif %}

Property Checking Statistics

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