KeaTest

This section aims to explain how the property definition class KeaTest in Kea is designed and implemented.

Functional Design and Implementation

KeaTest is a test class provided for users to write properties. Inheriting from KeaTest creates a test case.

In the inherited KeaTest subclasses, we write corresponding functions and define the initialization function (Initializer), preconditions (Precondition), interaction scenarios (Rule), and main path functions (MainPath) using decorators.

KeaTest is an empty class that essentially provides a container for users, and Kea searches for user-defined properties within this container and loads them into Kea. At the implementation level, users inherit KeaTest to write their own properties. Kea reads user properties by recognizing and loading subclasses of KeaTest.

class KeaTest:
    pass