Kea2 Merged Test Report

Test Time: {{ timestamp }}

Test Summary

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

Activities Coverage

{% if total_activities|length > 0 %} {% for activity in total_activities %} {% endfor %} {% else %} {% endif %}
Activity Name Visit Count
{% if activity in tested_activities %} {% else %} {% endif %} {{ activity }} {% if activity in activity_count_history %} {{ activity_count_history[activity] }} times {% else %} 0 times {% endif %}
No activities found
{% 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) }}
{% if property_source_mapping %}

Property Source Mapping

Source Directory Information:

This section shows which test directories contain properties with failures or errors. Use this information to locate the original test reports for detailed error analysis.

{% for property_name, source_dirs in property_source_mapping.items() %} {% endfor %}
Index Property Name Source Directories
{{ loop.index }} {{ property_name }} {% set max_visible = 3 %} {% if source_dirs|length <= max_visible %} {% for dir_name in source_dirs %} {{ dir_name }} {% endfor %} {% else %}
{% for dir_name in source_dirs[:max_visible] %} {{ dir_name }} {% endfor %}
{% endif %}
{% endif %}