Kea2-python 0.3.2__py3-none-any.whl → 0.3.4__py3-none-any.whl

kea2/assets/quicktest.py

@@ -52,7 +52,7 @@ class Omni_Notes_Sample(unittest.TestCase):
         assert self.d(resourceId="it.feio.android.omninotes.alpha:id/search_src_text").exists()
 
 
-URL = "https://raw.githubusercontent.com/ecnusse/Kea2/refs/heads/dev_test_hidden_algorithm/omninotes.apk"
+URL = "https://github.com/federicoiosue/Omni-Notes/releases/download/6.2.0_alpha/OmniNotes-alphaRelease-6.2.0.apk"
 PACKAGE_NAME = "it.feio.android.omninotes.alpha"
 FILE_NAME = "omninotes.apk"
 

kea2/bug_report_generator.py

@@ -388,6 +388,10 @@ class BugReportGenerator:
         data["all_properties_count"] = len(self.test_result)
         data["executed_properties_count"] = sum(1 for result in self.test_result.values() if result.get("executed", 0) > 0)
 
+        # Calculate detailed property statistics for table headers
+        property_stats_summary = self._calculate_property_stats_summary(self.test_result)
+        data["property_stats_summary"] = property_stats_summary
+
         # Process coverage data
         data["coverage_trend"] = self.cov_trend
 
@@ -567,7 +571,8 @@ class BugReportGenerator:
             'property_execution_data': json.dumps(data["property_execution_trend"]),
             'activity_count_history': data["activity_count_history"],
             'crash_events': data["crash_events"],
-            'anr_events': data["anr_events"]
+            'anr_events': data["anr_events"],
+            'property_stats_summary': data["property_stats_summary"]
         }
 
         # Check if template exists, if not create it
@@ -822,6 +827,38 @@ class BugReportGenerator:
         
         return property_execution_trend
 
+    def _calculate_property_stats_summary(self, test_result: TestResult) -> Dict[str, int]:
+        """
+        Calculate summary statistics for property checking table headers
+
+        Args:
+            test_result: Test result data containing property statistics
+
+        Returns:
+            Dict: Summary statistics for each column
+        """
+        stats_summary = {
+            "total_properties": 0,
+            "total_precond_satisfied": 0,
+            "total_executed": 0,
+            "total_fails": 0,
+            "total_errors": 0,
+            "properties_with_errors": 0
+        }
+
+        for property_name, result in test_result.items():
+            stats_summary["total_properties"] += 1
+            stats_summary["total_precond_satisfied"] += result.get("precond_satisfied", 0)
+            stats_summary["total_executed"] += result.get("executed", 0)
+            stats_summary["total_fails"] += result.get("fail", 0)
+            stats_summary["total_errors"] += result.get("error", 0)
+
+            # Count properties that have errors or fails
+            if result.get("fail", 0) > 0 or result.get("error", 0) > 0:
+                stats_summary["properties_with_errors"] += 1
+
+        return stats_summary
+
     def _load_crash_dump_data(self) -> Tuple[List[Dict], List[Dict]]:
         """
         Load crash and ANR events from crash-dump.log file

kea2/keaUtils.py

@@ -198,6 +198,9 @@ class PropStatistic:
     executed: int = 0
     fail: int = 0
     error: int = 0
+    
+
+PBTTestResult = NewType("PBTTestResult", Dict[PropName, PropStatistic])
 
 
 PropertyExecutionInfoStore = NewType("PropertyExecutionInfoStore", Deque["PropertyExecutionInfo"])
@@ -209,11 +212,6 @@ class PropertyExecutionInfo:
     tb: str
 
 
-class PBTTestResult(dict):
-    def __getitem__(self, key) -> PropStatistic:
-        return super().__getitem__(key)
-
-
 def getFullPropName(testCase: TestCase):
     return ".".join([
         testCase.__module__,
@@ -277,10 +275,15 @@ class JsonResult(TextTestResult):
             self.lastExecutedInfo.state = "pass"
 
         self.executionInfoStore.append(self.lastExecutedInfo)
-        
 
     def getExcuted(self, test: TestCase):
         return self.res[getFullPropName(test)].executed
+    
+    def logSummary(self):
+        fails = sum(_.fail for _ in self.res.values())
+        errors = sum(_.error for _ in self.res.values())
+
+        logger.info(f"[Property Exectution Summary] Errors:{errors}, Fails:{fails}")
 
 
 class KeaTestRunner(TextTestRunner):
@@ -465,6 +468,8 @@ class KeaTestRunner(TextTestRunner):
         else:
             self.stream.write("\n")
         self.stream.flush()
+        
+        result.logSummary()
         return result
 
     @property

kea2/templates/bug_report_template.html

@@ -211,35 +211,39 @@
             text-align: left !important;
         }
 
-        /* Enhanced Error Details styling */
-        .table-custom td:nth-child(7) .collapse {
+        /* Enhanced Error Details styling for Property Statistics */
+        .table-custom tr.collapse {
             position: relative;
             z-index: 10;
         }
 
-        .table-custom td:nth-child(7) .card {
-            max-width: none;
-            box-shadow: 0 4px 6px rgba(0, 0, 0, 0.1);
+        .table-custom tr.collapse td {
+            border-top: none;
+            padding-top: 0;
         }
 
-        .table-custom td:nth-child(7) .card-body {
-            padding: 1rem;
-            max-height: 400px;
-            overflow-y: auto;
+        .table-custom tr.collapse .bg-light {
+            max-width: none;
+            box-shadow: 0 4px 6px rgba(0, 0, 0, 0.1);
+            border: 1px solid #e9ecef;
         }
 
-        .table-custom td:nth-child(7) pre {
-            max-height: 200px;
+        .table-custom tr.collapse pre {
+            max-height: 300px;
             overflow-y: auto;
-            font-size: 0.8rem;
+            font-size: 0.85rem;
             line-height: 1.4;
+            background-color: #f8f9fa;
+            border: 1px solid #e9ecef;
+            border-radius: 4px;
+            padding: 0.75rem;
         }
 
-        .table-custom td:nth-child(7) details {
+        .table-custom tr.collapse details {
             margin-top: 0.5rem;
         }
 
-        .table-custom td:nth-child(7) summary {
+        .table-custom tr.collapse summary {
             cursor: pointer;
             margin-bottom: 0.5rem;
         }
@@ -1270,7 +1274,7 @@
                 <table class="table table-custom table-activities">
                     <thead>
                         <tr>
-                            <th>Activity Name</th>
+                            <th>Activity Name <span class="badge bg-primary ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ tested_activities_count }}/{{ total_activities_count }}</span></th>
                             <th>Visit Count <i class="bi bi-arrow-down-up text-muted sort-icon activities-sort-icon" id="visit-count-sort" data-column="visit-count" data-order="none" style="cursor: pointer;"></i></th>
                         </tr>
                     </thead>
@@ -1576,11 +1580,11 @@
                     <thead>
                         <tr>
                             <th>Index</th>
-                            <th>Property Name</th>
-                            <th>Precondition Satisfied</th>
-                            <th>Executed</th>
-                            <th>Fails <i class="bi bi-arrow-down-up text-muted sort-icon" id="fails-sort" data-column="fails" data-order="none" style="cursor: pointer;"></i></th>
-                            <th>Errors <i class="bi bi-arrow-down-up text-muted sort-icon" id="errors-sort" data-column="errors" data-order="none" style="cursor: pointer;"></i></th>
+                            <th>Property Name <span class="badge bg-primary ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_properties }}</span></th>
+                            <th>Precondition Satisfied <span class="badge bg-success ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_precond_satisfied }}</span></th>
+                            <th>Executed <span class="badge bg-info ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_executed }}</span></th>
+                            <th>Fails <span class="badge bg-danger ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_fails }}</span> <i class="bi bi-arrow-down-up text-muted sort-icon" id="fails-sort" data-column="fails" data-order="none" style="cursor: pointer;"></i></th>
+                            <th>Errors <span class="badge bg-warning ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_errors }}</span> <i class="bi bi-arrow-down-up text-muted sort-icon" id="errors-sort" data-column="errors" data-order="none" style="cursor: pointer;"></i></th>
                             <th>Error Details</th>
                         </tr>
                     </thead>
@@ -1605,127 +1609,140 @@
                                     {% set property_index = loop.index %}
                                     {% if error_list|length == 1 %}
                                         <!-- Single error - simple display -->
-                                        <button class="btn btn-sm btn-outline-danger" type="button" data-bs-toggle="collapse" 
-                                                data-bs-target="#single-error-detail-{{ property_index }}" aria-expanded="false" 
+                                        <button class="btn btn-sm btn-outline-danger" type="button" data-bs-toggle="collapse"
+                                                data-bs-target="#single-error-detail-{{ property_index }}" aria-expanded="false"
                                                 aria-controls="single-error-detail-{{ property_index }}">
                                             <i class="bi bi-exclamation-triangle"></i> View Error
                                         </button>
-                                        <div class="collapse mt-2" id="single-error-detail-{{ property_index }}">
-                                            <div class="card card-body bg-light">
-                                                <div class="mb-2">
-                                                    <span class="badge bg-{{ 'danger' if error_list[0].state == 'fail' else 'warning' }}">
-                                                        {{ error_list[0].state|upper }}
-                                                    </span>
-                                                    {% if error_list[0].occurrence_count > 1 %}
-                                                        <span class="badge bg-info ms-2">
-                                                            Occurred {{ error_list[0].occurrence_count }} times
-                                                        </span>
-                                                    {% endif %}
-                                                    {% if error_list[0].startStepsCountList is defined and error_list[0].startStepsCountList|length > 0 %}
-                                                        <span class="badge bg-secondary ms-2">
-                                                            <i class="bi bi-step-forward"></i> Monkey Steps: {{ error_list[0].startStepsCountList|join(', ') }}
-                                                        </span>
-                                                    {% endif %}
-                                                </div>
-                                                {% if error_list[0].short_description %}
-                                                    <div class="mb-2">
-                                                        <strong>Error:</strong> <code>{{ error_list[0].short_description }}</code>
-                                                    </div>
-                                                {% endif %}
-                                                <details>
-                                                    <summary class="btn btn-sm btn-outline-secondary mb-2">Show Full Traceback</summary>
-                                                    <pre class="text-danger mb-0" style="font-size: 0.85rem; white-space: pre-wrap;">{{ error_list[0].traceback }}</pre>
-                                                </details>
-                                            </div>
-                                        </div>
                                     {% else %}
                                         <!-- Multiple errors - tabbed display -->
-                                        <button class="btn btn-sm btn-outline-danger" type="button" data-bs-toggle="collapse" 
-                                                data-bs-target="#multi-error-detail-{{ property_index }}" aria-expanded="false" 
+                                        <button class="btn btn-sm btn-outline-danger" type="button" data-bs-toggle="collapse"
+                                                data-bs-target="#multi-error-detail-{{ property_index }}" aria-expanded="false"
                                                 aria-controls="multi-error-detail-{{ property_index }}">
                                             <i class="bi bi-exclamation-triangle"></i> View {{ error_list|length }} Errors
                                         </button>
-                                        <div class="collapse mt-2" id="multi-error-detail-{{ property_index }}">
-                                            <div class="card card-body bg-light">
-                                                <!-- Error summary -->
-                                                <div class="mb-3">
-                                                    <h6 class="text-danger">Multiple Errors Detected</h6>
-                                                    <div class="d-flex flex-wrap gap-1">
-                                                        {% for error in error_list %}
-                                                            <span class="badge bg-{{ 'danger' if error.state == 'fail' else 'warning' }}">
-                                                                {{ error.state|upper }} #{{ loop.index }}
-                                                                {% if error.occurrence_count > 1 %} ({{ error.occurrence_count }}x){% endif %}
-                                                                {% if error.startStepsCountList is defined and error.startStepsCountList|length > 0 %}
-                                                                    @{% if error.startStepsCountList|length == 1 %}{{ error.startStepsCountList[0] }}{% else %}{{ error.startStepsCountList[0] }}-{{ error.startStepsCountList[-1] }}{% endif %}
-                                                                {% endif %}
-                                                            </span>
-                                                        {% endfor %}
-                                                    </div>
+                                    {% endif %}
+                                {% else %}
+                                    <span class="text-muted">-</span>
+                                {% endif %}
+                            </td>
+                        </tr>
+                        {% 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 %}
+                                <!-- Single error detail row -->
+                                <tr class="collapse" id="single-error-detail-{{ property_index }}">
+                                    <td colspan="7">
+                                        <div class="bg-light p-3 rounded">
+                                            <div class="mb-2">
+                                                <span class="badge bg-{{ 'danger' if error_list[0].state == 'fail' else 'warning' }}">
+                                                    {{ error_list[0].state|upper }}
+                                                </span>
+                                                {% if error_list[0].occurrence_count > 1 %}
+                                                    <span class="badge bg-info ms-2">
+                                                        Occurred {{ error_list[0].occurrence_count }} times
+                                                    </span>
+                                                {% endif %}
+                                                {% if error_list[0].startStepsCountList is defined and error_list[0].startStepsCountList|length > 0 %}
+                                                    <span class="badge bg-secondary ms-2">
+                                                        <i class="bi bi-step-forward"></i> Monkey Steps: {{ error_list[0].startStepsCountList|join(', ') }}
+                                                    </span>
+                                                {% endif %}
+                                            </div>
+                                            {% if error_list[0].short_description %}
+                                                <div class="mb-2">
+                                                    <strong>Error:</strong> <code>{{ error_list[0].short_description }}</code>
                                                 </div>
-                                                
-                                                <!-- Error tabs -->
-                                                <ul class="nav nav-pills nav-fill mb-3" id="multi-error-tabs-{{ property_index }}" role="tablist">
-                                                    {% for error in error_list %}
-                                                    <li class="nav-item" role="presentation">
-                                                        <button class="nav-link {{ 'active' if loop.first else '' }} btn-sm" 
-                                                                id="multi-error-tab-{{ property_index }}-{{ loop.index }}" 
-                                                                data-bs-toggle="pill" 
-                                                                data-bs-target="#multi-error-content-{{ property_index }}-{{ loop.index }}" 
-                                                                type="button" role="tab" 
-                                                                aria-controls="multi-error-content-{{ property_index }}-{{ loop.index }}" 
-                                                                aria-selected="{{ 'true' if loop.first else 'false' }}">
-                                                            <span class="badge bg-{{ 'danger' if error.state == 'fail' else 'warning' }} me-1">
-                                                                {{ error.state|upper }}
-                                                            </span>
-                                                            #{{ loop.index }}
-                                                        </button>
-                                                    </li>
-                                                    {% endfor %}
-                                                </ul>
-                                                
-                                                <!-- Error content -->
-                                                <div class="tab-content" id="multi-error-content-{{ property_index }}">
+                                            {% endif %}
+                                            <details>
+                                                <summary class="btn btn-sm btn-outline-secondary mb-2">Show Full Traceback</summary>
+                                                <pre class="text-danger mb-0 text-start" style="font-size: 0.85rem; white-space: pre-wrap; text-align: left;">{{ error_list[0].traceback }}</pre>
+                                            </details>
+                                        </div>
+                                    </td>
+                                </tr>
+                            {% else %}
+                                <!-- Multiple errors detail row -->
+                                <tr class="collapse" id="multi-error-detail-{{ property_index }}">
+                                    <td colspan="7">
+                                        <div class="bg-light p-3 rounded">
+                                            <!-- Error summary -->
+                                            <div class="mb-3">
+                                                <h6 class="text-danger">Multiple Errors Detected</h6>
+                                                <div class="d-flex flex-wrap gap-1">
                                                     {% for error in error_list %}
-                                                    <div class="tab-pane fade {{ 'show active' if loop.first else '' }}" 
-                                                         id="multi-error-content-{{ property_index }}-{{ loop.index }}" 
-                                                         role="tabpanel" 
-                                                         aria-labelledby="multi-error-tab-{{ property_index }}-{{ loop.index }}">
-                                                        <div class="mb-2">
-                                                            <span class="badge bg-{{ 'danger' if error.state == 'fail' else 'warning' }}">
-                                                                {{ error.state|upper }} #{{ loop.index }}
-                                                            </span>
-                                                            <small class="text-muted ms-2">Error {{ loop.index }} of {{ loop.length }}</small>
-                                                            {% if error.occurrence_count > 1 %}
-                                                                <span class="badge bg-info ms-2">
-                                                                    {{ error.occurrence_count }} occurrences
-                                                                </span>
-                                                            {% endif %}
+                                                        <span class="badge bg-{{ 'danger' if error.state == 'fail' else 'warning' }}">
+                                                            {{ error.state|upper }} #{{ loop.index }}
+                                                            {% if error.occurrence_count > 1 %} ({{ error.occurrence_count }}x){% endif %}
                                                             {% if error.startStepsCountList is defined and error.startStepsCountList|length > 0 %}
-                                                                <span class="badge bg-secondary ms-2">
-                                                                    <i class="bi bi-step-forward"></i> Monkey Steps: {{ error.startStepsCountList|join(', ') }}
-                                                                </span>
+                                                                @{% if error.startStepsCountList|length == 1 %}{{ error.startStepsCountList[0] }}{% else %}{{ error.startStepsCountList[0] }}-{{ error.startStepsCountList[-1] }}{% endif %}
                                                             {% endif %}
-                                                        </div>
-                                                        {% if error.short_description %}
-                                                            <div class="mb-2">
-                                                                <strong>Error:</strong> <code>{{ error.short_description }}</code>
-                                                            </div>
+                                                        </span>
+                                                    {% endfor %}
+                                                </div>
+                                            </div>
+
+                                            <!-- Error tabs -->
+                                            <ul class="nav nav-pills nav-fill mb-3" id="multi-error-tabs-{{ property_index }}" role="tablist">
+                                                {% for error in error_list %}
+                                                <li class="nav-item" role="presentation">
+                                                    <button class="nav-link {{ 'active' if loop.first else '' }} btn-sm"
+                                                            id="multi-error-tab-{{ property_index }}-{{ loop.index }}"
+                                                            data-bs-toggle="pill"
+                                                            data-bs-target="#multi-error-content-{{ property_index }}-{{ loop.index }}"
+                                                            type="button" role="tab"
+                                                            aria-controls="multi-error-content-{{ property_index }}-{{ loop.index }}"
+                                                            aria-selected="{{ 'true' if loop.first else 'false' }}">
+                                                        <span class="badge bg-{{ 'danger' if error.state == 'fail' else 'warning' }} me-1">
+                                                            {{ error.state|upper }}
+                                                        </span>
+                                                        #{{ loop.index }}
+                                                    </button>
+                                                </li>
+                                                {% endfor %}
+                                            </ul>
+
+                                            <!-- Error content -->
+                                            <div class="tab-content" id="multi-error-content-{{ property_index }}">
+                                                {% for error in error_list %}
+                                                <div class="tab-pane fade {{ 'show active' if loop.first else '' }}"
+                                                     id="multi-error-content-{{ property_index }}-{{ loop.index }}"
+                                                     role="tabpanel"
+                                                     aria-labelledby="multi-error-tab-{{ property_index }}-{{ loop.index }}">
+                                                    <div class="mb-2">
+                                                        <span class="badge bg-{{ 'danger' if error.state == 'fail' else 'warning' }}">
+                                                            {{ error.state|upper }} #{{ loop.index }}
+                                                        </span>
+                                                        <small class="text-muted ms-2">Error {{ loop.index }} of {{ loop.length }}</small>
+                                                        {% if error.occurrence_count > 1 %}
+                                                            <span class="badge bg-info ms-2">
+                                                                {{ error.occurrence_count }} occurrences
+                                                            </span>
+                                                        {% endif %}
+                                                        {% if error.startStepsCountList is defined and error.startStepsCountList|length > 0 %}
+                                                            <span class="badge bg-secondary ms-2">
+                                                                <i class="bi bi-step-forward"></i> Monkey Steps: {{ error.startStepsCountList|join(', ') }}
+                                                            </span>
                                                         {% endif %}
-                                                        <details>
-                                                            <summary class="btn btn-sm btn-outline-secondary mb-2">Show Full Traceback</summary>
-                                                            <pre class="text-danger mb-0" style="font-size: 0.85rem; white-space: pre-wrap;">{{ error.traceback }}</pre>
-                                                        </details>
                                                     </div>
-                                                    {% endfor %}
+                                                    {% if error.short_description %}
+                                                        <div class="mb-2">
+                                                            <strong>Error:</strong> <code>{{ error.short_description }}</code>
+                                                        </div>
+                                                    {% endif %}
+                                                    <details>
+                                                        <summary class="btn btn-sm btn-outline-secondary mb-2">Show Full Traceback</summary>
+                                                        <pre class="text-danger mb-0 text-start" style="font-size: 0.85rem; white-space: pre-wrap; text-align: left;">{{ error.traceback }}</pre>
+                                                    </details>
                                                 </div>
+                                                {% endfor %}
                                             </div>
                                         </div>
-                                    {% endif %}
-                                {% else %}
-                                    <span class="text-muted">-</span>
-                                {% endif %}
-                            </td>
-                        </tr>
+                                    </td>
+                                </tr>
+                            {% endif %}
+                        {% endif %}
                         {% endfor %}
                     </tbody>
                 </table>

kea2/templates/merged_bug_report_template.html

@@ -1208,9 +1208,55 @@
                 <div class="summary-card">
                     <h2 class="section-title">Test Summary</h2>
 
+                    <!-- Statistics Cards -->
+                    <div class="row g-4">
+                        <div class="col-lg-2 col-md-4 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-bug text-danger" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-danger">{{ bugs_found }}</span>
+                                <span class="stat-label">Bugs Found</span>
+                            </div>
+                        </div>
+                        <div class="col-lg-2 col-md-4 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-x-circle text-danger" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-danger">{{ total_crash_count|default(0) }}</span>
+                                <span class="stat-label">Crashes</span>
+                            </div>
+                        </div>
+                        <div class="col-lg-2 col-md-4 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-clock text-warning" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-warning">{{ total_anr_count|default(0) }}</span>
+                                <span class="stat-label">ANRs</span>
+                            </div>
+                        </div>
+                        <div class="col-lg-2 col-md-4 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-pie-chart text-info" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-highlight">{{ "%.2f"|format(coverage_percent) }}%</span>
+                                <span class="stat-label">Activity Coverage</span>
+                            </div>
+                        </div>
+                        <div class="col-lg-2 col-md-4 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-list-check text-primary" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-highlight">{{ all_properties_count }}</span>
+                                <span class="stat-label">All Properties</span>
+                            </div>
+                        </div>
+                        <div class="col-lg-2 col-md-4 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-check-square text-success" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-success">{{ executed_properties_count }}</span>
+                                <span class="stat-label">Executed Properties</span>
+                            </div>
+                        </div>
+                    </div>
+
                     <!-- Merge Information Section -->
                     {% if merge_info %}
-                    <div class="merge-info-section mb-4">
+                    <div class="merge-info-section mt-4">
                         <div class="merge-info-card">
                             <!-- Collapsible Header -->
                             <div class="merge-info-header" data-bs-toggle="collapse" data-bs-target="#mergeInfoCollapse" aria-expanded="false" aria-controls="mergeInfoCollapse">
@@ -1261,52 +1307,6 @@
                         </div>
                     </div>
                     {% endif %}
-
-                    <!-- Statistics Cards -->
-                    <div class="row g-4">
-                        <div class="col-lg-2 col-md-4 col-sm-6">
-                            <div class="text-center">
-                                <i class="bi bi-bug text-danger" style="font-size: 2rem;"></i>
-                                <span class="stat-value value-danger">{{ bugs_found }}</span>
-                                <span class="stat-label">Bugs Found</span>
-                            </div>
-                        </div>
-                        <div class="col-lg-2 col-md-4 col-sm-6">
-                            <div class="text-center">
-                                <i class="bi bi-x-circle text-danger" style="font-size: 2rem;"></i>
-                                <span class="stat-value value-danger">{{ total_crash_count|default(0) }}</span>
-                                <span class="stat-label">Crashes</span>
-                            </div>
-                        </div>
-                        <div class="col-lg-2 col-md-4 col-sm-6">
-                            <div class="text-center">
-                                <i class="bi bi-clock text-warning" style="font-size: 2rem;"></i>
-                                <span class="stat-value value-warning">{{ total_anr_count|default(0) }}</span>
-                                <span class="stat-label">ANRs</span>
-                            </div>
-                        </div>
-                        <div class="col-lg-2 col-md-4 col-sm-6">
-                            <div class="text-center">
-                                <i class="bi bi-pie-chart text-info" style="font-size: 2rem;"></i>
-                                <span class="stat-value value-highlight">{{ "%.2f"|format(coverage_percent) }}%</span>
-                                <span class="stat-label">Activity Coverage</span>
-                            </div>
-                        </div>
-                        <div class="col-lg-2 col-md-4 col-sm-6">
-                            <div class="text-center">
-                                <i class="bi bi-list-check text-primary" style="font-size: 2rem;"></i>
-                                <span class="stat-value value-highlight">{{ all_properties_count }}</span>
-                                <span class="stat-label">All Properties</span>
-                            </div>
-                        </div>
-                        <div class="col-lg-2 col-md-4 col-sm-6">
-                            <div class="text-center">
-                                <i class="bi bi-check-square text-success" style="font-size: 2rem;"></i>
-                                <span class="stat-value value-success">{{ executed_properties_count }}</span>
-                                <span class="stat-label">Executed Properties</span>
-                            </div>
-                        </div>
-                    </div>
                 </div>
             </div>
         </div>

kea2/u2Driver.py

@@ -220,7 +220,7 @@ class StaticXpathUiObject(u2.xpath.XPathSelector):
         source = self.session.get_page_source()
         return len(self.selector.all(source)) > 0
 
-    def __and__(self, value) -> 'StaticXpathUiObjectr':
+    def __and__(self, value) -> 'StaticXpathUiObject':
         s = u2.xpath.XPathSelector(self.selector)
         s._next_xpath = u2.xpath.XPathSelector.create(value.selector)
         s._operator = u2.xpath.Operator.AND
@@ -288,7 +288,7 @@ class StaticXpathUiObject(u2.xpath.XPathSelector):
         self.selector = new
         return self
 
-    def get(self, timeout=None) -> "XMLElement":
+    def get(self, timeout=None) -> "u2.xpath.XMLElement":
         """
         Get first matched element
 
@@ -343,7 +343,15 @@ class _HindenWidgetFilter:
         self._nodes = []
 
         self.idx = rtree.index.Index()
-        self.set_covered_attr(root)
+        try:
+            self.set_covered_attr(root)
+        except Exception as e:
+            import traceback, uuid
+            traceback.print_exc()
+            logger.error(f"Error in setting covered widgets")
+            with open(f"kea2_error_tree_{uuid.uuid4().hex}.xml", "wb") as f:
+                xml_bytes = etree.tostring(root, pretty_print=True, encoding="utf-8", xml_declaration=True)
+                f.write(xml_bytes)
 
         # xml_bytes = etree.tostring(root, pretty_print=True, encoding="utf-8", xml_declaration=True)
         # with open("filtered_tree.xml", "wb") as f:

{kea2_python-0.3.2.dist-info → kea2_python-0.3.4.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: Kea2-python
-Version: 0.3.2
+Version: 0.3.4
 Summary: A python library for supporting and customizing automated UI testing for mobile apps
 Author-email: Xixian Liang <xixian@stu.ecnu.edu.cn>
 Requires-Python: >=3.8
@@ -39,6 +39,7 @@ The group has reached its capacity. Please contact Xixian Liang at [xixian@stu.e
 <div align="center">
     <a href="https://en.wikipedia.org/wiki/Kea">Kea2's logo: A large parrot skilled in finding "bugs"</a>
 </div>
+</br>
 
 Kea2 is an easy-to-use tool for fuzzing mobile apps. Its key *novelty* is able to fuse automated UI testing with scripts (usually written by human), thus empowering automated UI testing with human intelligence for effectively finding *crashing bugs* as well as *non-crashing functional (logic) bugs*. 
 
@@ -110,6 +111,11 @@ Find Kea2's options by running
 kea2 -h
 ```
 
+Upgrade Kea2 to its latest version if you already installed Kea2 before:
+```bash
+python3 -m pip install -U kea2-python
+```
+
 ## Quick Test
 
 Kea2 connects to and runs on Android devices. We recommend you to do a quick test to ensure that Kea2 is compatible with your devices.
@@ -235,7 +241,15 @@ For the preceding always-holding property, we can write the following script to
 ```
 >  We use [hypothesis](https://github.com/HypothesisWorks/hypothesis) to generate random texts.
 
-You can run this example by using the similar command line in Feature 2. 
+You can run this example by using the similar command line in Feature 2.
+
+## Test Reports（测试报告）
+
+Kea2 automatically generates comprehensive HTML test reports after each testing session.
+
+The reports support both single test runs and merged analysis of multiple test sessions, making it easy to track testing progress and identify issues.
+
+- [View detailed test report documentation](docs/test_report_introduction.md)
 
 ## Documentations（更多文档）
 

{kea2_python-0.3.2.dist-info → kea2_python-0.3.4.dist-info}/RECORD

@@ -1,21 +1,21 @@
 kea2/__init__.py,sha256=JFJjqgf5KB4bXUFQ3upkEug0cFMFIk9p3OHV9vzulHw,75
 kea2/absDriver.py,sha256=NzmsLs1Ojz-yEXctGAqj7aKBwAQW19zd83l65RABCe8,1288
 kea2/adbUtils.py,sha256=zi0T0_g44xZQZe3XYzBsuh7VTHpdZ4dd6yKi-p7BTYI,19939
-kea2/bug_report_generator.py,sha256=qHwHupANp5-IZXlpSnYy5rkf07BXu2QvvfWZzJWtc6k,42590
+kea2/bug_report_generator.py,sha256=gASx3AasGWAufb4A8T4dv0-22knu7h24Z9M9NBSzy24,44107
 kea2/cli.py,sha256=MccJhY8VPZa1rMAbirm3dmbzDx1lf2w3zrpF1ZUq2m0,6481
 kea2/fastbotManager.py,sha256=pGuAH-X26nOy2Qj6Hg5aoMxJx4KfsRk6bj6nhcPENGc,8158
-kea2/keaUtils.py,sha256=KRBYI6Vn36liKj8jFSH0W-ktGgHr-0VdC3xiX_mCF5E,25617
+kea2/keaUtils.py,sha256=zfTmG23KmWmf5b71rrPTxwnpZhZ6gdlLD9eIhjAZv4Y,25834
 kea2/kea_launcher.py,sha256=M9TMCdgkteCWO5iBxJRDRvb7dikanoPf3jdicCEurU8,6268
 kea2/logWatcher.py,sha256=Dp6OzvLSuWYw0AqdcPDqfotaRZQgpF8S49LInGsAWp8,2599
 kea2/report_merger.py,sha256=0b-g59pdrsJDwVNek02ouu1utuu_Sd_1oEMQa4e23xI,24884
 kea2/resultSyncer.py,sha256=9kb3H0Innwj7oPboDDTf97nbjam7EP6HYxywR9B8SvM,2437
-kea2/u2Driver.py,sha256=SfHkUAp6uHHSllPZmKs7C8JaEGGuX9DPWgshiqyWI5k,19775
+kea2/u2Driver.py,sha256=k1HGH4MF5BbSpohMbK9yn-VpsDzGcYTQLjppHVzHx28,20182
 kea2/utils.py,sha256=x0VTGweW-XShG9MuwZDMP13SBg8jQXYa7e0AXdwYX38,3270
 kea2/assets/fastbot-thirdpart.jar,sha256=0SZ_OoZFWDGMnazgXKceHgKvXdUDoIa3Gb2bcifaikk,85664
 kea2/assets/framework.jar,sha256=rTluOJJKj2DFwh7ascXso1udYdWv00BxBwSQ3Vmv-fw,1149240
 kea2/assets/kea2-thirdpart.jar,sha256=HYdtG2gqDLuLb72dpK3lX-Y6QUNTrJ-bfQopU5aWpfo,359346
 kea2/assets/monkeyq.jar,sha256=4_WLifmU9q5noqMofZWW15Gh8kcuVouNrI-Ca5_g-BM,113104
-kea2/assets/quicktest.py,sha256=TJj9GaRioFrijU9PMLpyZY8S07db67UZFBr5G-aQY80,3000
+kea2/assets/quicktest.py,sha256=BgTul5jfSBCh6hVSMRmur61M6_KNTkzIT6Bdff72TE4,3009
 kea2/assets/fastbot_configs/abl.strings,sha256=Rn8_YEbVGOJqndIY_-kWnR5NaoFI-cuB-ij10Ddhl90,75
 kea2/assets/fastbot_configs/awl.strings,sha256=-j4980GoWQxGOM9ijAwXPQmziCwFBZJFmuiv2tOEaYI,101
 kea2/assets/fastbot_configs/max.config,sha256=rBgR4mdgBzqVPQ2lZaXqx2WN6tDzhe-FNizm4Y7tyA8,226
@@ -28,11 +28,11 @@ kea2/assets/fastbot_libs/arm64-v8a/libfastbot_native.so,sha256=tAFrG73pJi7XakRxS
 kea2/assets/fastbot_libs/armeabi-v7a/libfastbot_native.so,sha256=UV8bhaiPoPKdd3q0vj3kSZqPR9anllai_tz_2QkMMbQ,1335372
 kea2/assets/fastbot_libs/x86/libfastbot_native.so,sha256=k-aw1gEXRWMKZRNHIggKNuZy0wC1y2BnveJGEIO6rbo,2036856
 kea2/assets/fastbot_libs/x86_64/libfastbot_native.so,sha256=tiofhlf4uMQcU5WAvrdLgTBME0lb83hVUoGtTwxmE8A,2121416
-kea2/templates/bug_report_template.html,sha256=XoLAqiPfk5asvSRhhI5nCity8Z77rxMBGT2_8rFrJP4,151729
-kea2/templates/merged_bug_report_template.html,sha256=awhMSURsP6Gpw0YHTs3xWZMQO7dhi0yM3H2JYHQ5_zA,135668
-kea2_python-0.3.2.dist-info/licenses/LICENSE,sha256=nM9PPjcsXVo5SzNsjRqWgA-gdJlwqZZcRDSC6Qf6bVE,2034
-kea2_python-0.3.2.dist-info/METADATA,sha256=dD3gescsC5Q-R8OZYFfvbiYBDhvJefFXzopffB2EPVI,18498
-kea2_python-0.3.2.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-kea2_python-0.3.2.dist-info/entry_points.txt,sha256=mFX06TyxXiUAJQ6JZn8QHzfn8n5R8_KJ5W-pTm_fRCA,39
-kea2_python-0.3.2.dist-info/top_level.txt,sha256=TsgNH4PQoNOVhegpO7AcjutMVWp6Z4KDL1pBH9FnMmk,5
-kea2_python-0.3.2.dist-info/RECORD,,
+kea2/templates/bug_report_template.html,sha256=amZUwlJSg1jzpb1-RB0W6fzwXYZBQK-4SHdhj6LYSbo,152983
+kea2/templates/merged_bug_report_template.html,sha256=iWoXxvN3YQzCabi7BTP4sGl2F6LQrR3_HcG0aD3fHtk,135668
+kea2_python-0.3.4.dist-info/licenses/LICENSE,sha256=nM9PPjcsXVo5SzNsjRqWgA-gdJlwqZZcRDSC6Qf6bVE,2034
+kea2_python-0.3.4.dist-info/METADATA,sha256=owA_RN6ZzlDdCqzVoNoAbsUcvpXNXixhFUiAwZpjKHQ,18983
+kea2_python-0.3.4.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+kea2_python-0.3.4.dist-info/entry_points.txt,sha256=mFX06TyxXiUAJQ6JZn8QHzfn8n5R8_KJ5W-pTm_fRCA,39
+kea2_python-0.3.4.dist-info/top_level.txt,sha256=TsgNH4PQoNOVhegpO7AcjutMVWp6Z4KDL1pBH9FnMmk,5
+kea2_python-0.3.4.dist-info/RECORD,,