feat: property-guided algorithm by majuzi123 · Pull Request #173 · ecnusse/Kea2

majuzi123 · 2026-02-06T07:39:40Z

Property-guided algorithm

# Conflicts: # kea2/assets/fastbot_libs/arm64-v8a/libfastbot_native.so # kea2/assets/fastbot_libs/armeabi-v7a/libfastbot_native.so # kea2/assets/fastbot_libs/x86/libfastbot_native.so # kea2/assets/fastbot_libs/x86_64/libfastbot_native.so # kea2/assets/monkeyq.jar # kea2/keaUtils.py

# kea2/assets/monkeyq.jar # kea2/keaUtils.py

# Conflicts: # kea2/assets/monkeyq.jar # kea2/keaUtils.py # pyproject.toml # uv.lock

…used by high JDK version

# Conflicts: # kea2/assets/fastbot_libs/arm64-v8a/libfastbot_native.so # kea2/assets/fastbot_libs/armeabi-v7a/libfastbot_native.so # kea2/assets/fastbot_libs/x86/libfastbot_native.so # kea2/assets/fastbot_libs/x86_64/libfastbot_native.so # kea2/assets/monkeyq.jar # kea2/keaUtils.py # pyproject.toml # uv.lock

+                # if not hasattr(test, '_has_been_satisfied'):
+                #     self.fb.sendFirstTimeSatisfiedSignal()
+                #     test._has_been_satisfied = True


+import uiautomator2 as u2
+
+from time import sleep
+from kea2 import precondition, prob, KeaTestRunner, Options, max_tries


Copilot

Pull request overview

Adds a property-guided signaling hook to Kea2’s runner/Fastbot integration and introduces a new UIAutomator2-based property test script intended for Douyin/TikTok page detection.

Changes:

Add FastbotManager.sendFirstTimeSatisfiedSignal() and invoke it when a property’s preconditions are satisfied.
Refactor KeaTestRunner.run() to keep the Fastbot manager on self.fb instead of a local variable.
Add tictoktest.py with multiple @precondition-guarded “page reached” properties and a helper to (attempt to) install the app.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 6 comments.

File	Description
tictoktest.py	New property-based UI test script + installation helper for the app under test.
kea2/keaUtils.py	Runner changes to use `self.fb` and emit a new “first satisfied” signal when preconditions pass.
kea2/fastbotManager.py	Adds an HTTP call to the fastbot server for the new “property first satisfied” signal.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Copilot · 2026-04-12T20:48:02Z

+PACKAGE_NAME = "com.ss.android.ugc.aweme"
+FILE_NAME = "omninotes.apk"
+
+
+def check_installation(serial=None):
+    import os
+    from pathlib import Path
+
+    d = u2.connect(serial)
+    # automatically install omni-notes
+    if PACKAGE_NAME not in d.app_list():
+        if not os.path.exists(Path(".") / FILE_NAME):
+            print(f"[INFO] omninote.apk not exists.", flush=True)
+        print("[INFO] Installing omninotes.", flush=True)
+        d.app_install(FILE_NAME)


PACKAGE_NAME targets Douyin/TikTok (com.ss.android.ugc.aweme), but FILE_NAME/messages still reference omninotes.apk/"omninotes". As written, check_installation() will attempt to install the wrong APK and the package check will never become true. Align FILE_NAME + log messages with the package under test, or remove installation logic if the app is expected to be preinstalled.

Copilot · 2026-04-12T20:48:03Z

+    # automatically install omni-notes
+    if PACKAGE_NAME not in d.app_list():
+        if not os.path.exists(Path(".") / FILE_NAME):
+            print(f"[INFO] omninote.apk not exists.", flush=True)
+        print("[INFO] Installing omninotes.", flush=True)
+        d.app_install(FILE_NAME)
+    d.stop_uiautomator()


When the APK file is missing, the code prints an info message but still proceeds to app_install(FILE_NAME), which will fail with a less clear error. Consider returning early or raising an exception after the missing-file check to make the failure explicit.

Suggested change

# automatically install omni-notes

if PACKAGE_NAME not in d.app_list():

if not os.path.exists(Path(".") / FILE_NAME):

print(f"[INFO] omninote.apk not exists.", flush=True)

print("[INFO] Installing omninotes.", flush=True)

d.app_install(FILE_NAME)

d.stop_uiautomator()

apk_path = Path(".") / FILE_NAME

try:

# automatically install omni-notes

if PACKAGE_NAME not in d.app_list():

if not os.path.exists(apk_path):

print(f"[INFO] omninote.apk not exists.", flush=True)

raise FileNotFoundError(f"Required APK not found: {apk_path}")

print("[INFO] Installing omninotes.", flush=True)

d.app_install(FILE_NAME)

finally:

d.stop_uiautomator()

Copilot · 2026-04-12T20:48:03Z

    allProperties: PropertyStore
    allInvariants: PropertyStore
    _block_funcs: Dict[Literal["widgets", "trees"], List[Callable]] = None
+    fb = FastbotManager


fb = FastbotManager sets the class attribute to the FastbotManager type, but elsewhere self.fb is used as an instance. This makes the default state ambiguous and can cause a TypeError if any code path accesses self.fb before run() assigns the instance. Prefer initializing as None (and typing it) to clearly indicate lifecycle (e.g., fb: FastbotManager | None = None).

Suggested change

fb = FastbotManager

fb: Union[FastbotManager, None] = None

Copilot · 2026-04-12T20:48:03Z

+                self.fb.sendFirstTimeSatisfiedSignal()
+                # if not hasattr(test, '_has_been_satisfied'):
+                #     self.fb.sendFirstTimeSatisfiedSignal()
+                #     test._has_been_satisfied = True


sendFirstTimeSatisfiedSignal() is called every time a property's preconditions are satisfied, on every loop iteration. This can generate a large number of HTTP calls (one per satisfied property per step) and doesn’t match the method name’s “first time” semantics. Track per-property satisfaction (e.g., on test/result/runner state) and only emit the signal the first time a given property becomes satisfied.

Suggested change

self.fb.sendFirstTimeSatisfiedSignal()

# if not hasattr(test, '_has_been_satisfied'):

# self.fb.sendFirstTimeSatisfiedSignal()

# test._has_been_satisfied = True

if not getattr(test, "_kea_first_time_satisfied_signal_sent", False):

self.fb.sendFirstTimeSatisfiedSignal()

test._kea_first_time_satisfied_signal_sent = True

Copilot · 2026-04-12T20:48:03Z

+    from pathlib import Path
+
+    d = u2.connect(serial)
+    # automatically install omni-notes


The inline comment says “automatically install omni-notes”, but this script targets com.ss.android.ugc.aweme (Douyin/TikTok). Update the comment to match the actual app under test to avoid misleading future readers.

Suggested change

# automatically install omni-notes

# automatically install Douyin/TikTok if it is not already installed

Copilot · 2026-04-12T20:48:04Z

                    break
            # if all the precond passed. make it the candidate prop.
            if valid:
+                self.fb.sendFirstTimeSatisfiedSignal()


sendFirstTimeSatisfiedSignal() is outside the precondition try/except blocks. If the fastbot server is temporarily unavailable (or the endpoint errors), this can raise after retries and abort the entire run even though the property itself is fine. Consider wrapping this call in a narrow try/except that logs a warning and continues.

Suggested change

self.fb.sendFirstTimeSatisfiedSignal()

try:

self.fb.sendFirstTimeSatisfiedSignal()

except Exception as e:

logger.warning(

f"Failed to send first-time satisfied signal for {propName}: {e}. Continuing without aborting the run."

)

majuzi123 added 8 commits August 27, 2025 00:26

feature: property guided algorithm.

bc10db7

update libfastbot_native.so and monkey.jar

d313182

Merge remote-tracking branch 'origin/main' into dev_algorithm

4884385

update: libfastbot_native.so and monkeyq.jar

b7c1660

feat: new property guided algorithm

0410b55

# Conflicts:

5deb793

# kea2/assets/monkeyq.jar # kea2/keaUtils.py

feat: merge main into dev_algorithm

71acfe5

majuzi123 changed the title ~~dev_algorithm~~ Property-guided algorithm Feb 6, 2026

majuzi123 changed the title ~~Property-guided algorithm~~ feat: property-guided algorithm Feb 6, 2026

majuzi123 added 3 commits February 6, 2026 15:49

Merge remote-tracking branch 'origin/main' into dev_algorithm

3ed003e

# Conflicts: # kea2/assets/monkeyq.jar # kea2/keaUtils.py # pyproject.toml # uv.lock

feat: separate precondition pages storage to companion .precond file

12ad7e3

fix: resolve IncompatibleClassChangeError on older Android devices ca…

37be14e

…used by high JDK version

XixianLiang added the enhancement New feature or request label Feb 24, 2026

XixianLiang assigned majuzi123 Feb 24, 2026

Copilot AI review requested due to automatic review settings April 12, 2026 20:45

Copilot started reviewing on behalf of majuzi123 April 12, 2026 20:45 View session

github-code-quality Bot found potential problems Apr 12, 2026

View reviewed changes

Copilot AI reviewed Apr 12, 2026

View reviewed changes

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: property-guided algorithm#173

feat: property-guided algorithm#173
majuzi123 wants to merge 12 commits intomainfrom
dev_algorithm

majuzi123 commented Feb 6, 2026

Uh oh!

Copilot AI left a comment

Uh oh!

Copilot AI Apr 12, 2026

Uh oh!

Copilot AI Apr 12, 2026

Uh oh!

Copilot AI Apr 12, 2026

Uh oh!

Copilot AI Apr 12, 2026

Uh oh!

Copilot AI Apr 12, 2026

Uh oh!

Copilot AI Apr 12, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

	# automatically install omni-notes
	# automatically install Douyin/TikTok if it is not already installed

-                self.fb.sendFirstTimeSatisfiedSignal()
+                try:
+                    self.fb.sendFirstTimeSatisfiedSignal()
+                except Exception as e:
+                    logger.warning(
+                        f"Failed to send first-time satisfied signal for {propName}: {e}. Continuing without aborting the run."
+                    )

Conversation

majuzi123 commented Feb 6, 2026

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Reviewed changes

Uh oh!

Copilot AI Apr 12, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Apr 12, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Apr 12, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Apr 12, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Apr 12, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Apr 12, 2026

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants