Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Stateful Property-based Testing #2302

Open
wants to merge 31 commits into
base: feature-rose-tree-after-next
Choose a base branch
from
Open

Stateful Property-based Testing #2302

wants to merge 31 commits into from

Commits on Oct 25, 2023

  1. Initial version of StatefulModel.scala.

    @cheeseng
    cheeseng committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    de4c5a7 View commit details
    Browse the repository at this point in the history

  2. Rewritten the var and while loop to tailrec function.

    @cheeseng
    cheeseng committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    465d07a View commit details
    Browse the repository at this point in the history

  3. Added in Generator[Command] to StatefulModel.scala.

    @cheeseng
    cheeseng committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    851b672 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Removed init generator argument from createSystemUnderTest.

    @cheeseng
    cheeseng committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    e5e378b View commit details
    Browse the repository at this point in the history

  2. Changed to use indicateSuccess and indicateFailure to indicate result.

    @cheeseng
    cheeseng committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    4d6e714 View commit details
    Browse the repository at this point in the history

  3. Added accumulated commands and accumulated results to loop function.

    @cheeseng
    cheeseng committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    016e133 View commit details
    Browse the repository at this point in the history

  4. Added accumulated commands and results to preCondition and postCondit… 

    …ion.
    @cheeseng
    cheeseng committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    93378e9 View commit details
    Browse the repository at this point in the history

  5. Renamed StatefulModel to StatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    69258dc View commit details
    Browse the repository at this point in the history

  6. Renamed test function to check function in StatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    2ff4320 View commit details
    Browse the repository at this point in the history

  7. First test implementation of StatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    1d8dfcc View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Got the example implementation of StatefullPropertyCheckModel to run … 

    …in StatefulPropertyCheckModelSpec.
    @cheeseng
    cheeseng committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    2011db3 View commit details
    Browse the repository at this point in the history

  2. Improved error message in StatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    6eaa569 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2023

  1. Refactored out a check method that takes in SystemUnderTest and initi… 

    …al states and gen/randomizer, pathing way to rerun the check with shrunk commands.
    @cheeseng
    cheeseng committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    1aef4c8 View commit details
    Browse the repository at this point in the history

  2. Refactored checkSut to return accCmd, accRes and failing sut state in… 

    …stead.
    @cheeseng
    cheeseng committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    56dfa56 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. First version of shrinking in StatefulPropertyCheckModel working.

    @cheeseng
    cheeseng committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    3d1425a View commit details
    Browse the repository at this point in the history

  2. Added a simple test for shrinking in StatefulPropertyCheckModelSpec.

    @cheeseng
    cheeseng committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    bfbc9ee View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Moved the MaxLoopCount to object Generator.

    @cheeseng
    cheeseng committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    25a7282 View commit details
    Browse the repository at this point in the history

  2. Moved the error message for exceeding MaxLoopCount into resource file.

    @cheeseng
    cheeseng committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    64bf910 View commit details
    Browse the repository at this point in the history

  3. Added MaxLoopCount check for preCondition filter also.

    @cheeseng
    cheeseng committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    142b78e View commit details
    Browse the repository at this point in the history

  4. Fixed flickering unit test in StatefulPropertyCheckModelSpec.

    @cheeseng
    cheeseng committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    f8c7a68 View commit details
    Browse the repository at this point in the history

  5. Added ExpectationStatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    54cd3ce View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Added scaladoc to StatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    9982696 View commit details
    Browse the repository at this point in the history

  2. Added default implementation for command in StatefulPropertyCheckMode… 

    …l trait.
    @cheeseng
    cheeseng committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    1304ea8 View commit details
    Browse the repository at this point in the history

  3. Moved TCommand and TState up as type parameters of StatefulPropertyCh… 

    …eckModel.
    @cheeseng
    cheeseng committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    ce8e0a6 View commit details
    Browse the repository at this point in the history

  4. Moved SystemUnderTest to top level of org.scalatest.prop package.

    @cheeseng
    cheeseng committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    3fa6f1e View commit details
    Browse the repository at this point in the history

  5. Moved asserting code out to StatefulPropCheckerAsserting enabler clas… 

    …s, pathing way to support Future assertion.
    @cheeseng
    cheeseng committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    3416ec6 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Changed StatefulPropCheckerAsserting to follow organization of PropCh… 

    …eckerAsserting.
    @cheeseng
    cheeseng committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    06acb93 View commit details
    Browse the repository at this point in the history

  2. Added TSystemUnderTest type parameter to StatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    91f851d View commit details
    Browse the repository at this point in the history

  3. Got StatefulPropertyCheckModel to work with Future.

    @cheeseng
    cheeseng committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    8daacbf View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. Adjusted scaladoc in StatefulPropertyCheckModel.

    @cheeseng
    cheeseng committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    881e5fe View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Added reference links to scaladoc in StatefulPropertyCheckModel.scala.

    @cheeseng
    cheeseng committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    bdb549f View commit details
    Browse the repository at this point in the history