Skip to content

Stateful Property-based Testing #2302

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
Open
cheeseng wants to merge 31 commits into
base: feature-rose-tree-after-next
Choose a base branch
from
Open

Stateful Property-based Testing #2302

cheeseng wants to merge 31 commits into from

Conversation

@cheeseng
Copy link
Contributor

@cheeseng cheeseng commented Nov 2, 2023

Added support for stateful property-based testing.

cheeseng added 29 commits October 25, 2023 22:40
@cheeseng
Initial version of StatefulModel.scala.
de4c5a7
@cheeseng
Rewritten the var and while loop to tailrec function.
465d07a
@cheeseng
Added in Generator[Command] to StatefulModel.scala.
851b672
@cheeseng
Removed init generator argument from createSystemUnderTest.
e5e378b
@cheeseng
Changed to use indicateSuccess and indicateFailure to indicate result.
4d6e714
@cheeseng
Added accumulated commands and accumulated results to loop function.
016e133
@cheeseng
Added accumulated commands and results to preCondition and postCondit…
93378e9 
…ion.
@cheeseng
Renamed StatefulModel to StatefulPropertyCheckModel.
69258dc
@cheeseng
Renamed test function to check function in StatefulPropertyCheckModel.
2ff4320
@cheeseng
First test implementation of StatefulPropertyCheckModel.
1d8dfcc
@cheeseng
Got the example implementation of StatefullPropertyCheckModel to run …
2011db3 
…in StatefulPropertyCheckModelSpec.
@cheeseng
Improved error message in StatefulPropertyCheckModel.
6eaa569
@cheeseng
Refactored out a check method that takes in SystemUnderTest and initi…
1aef4c8 
…al states and gen/randomizer, pathing way to rerun the check with shrunk commands.
@cheeseng
Refactored checkSut to return accCmd, accRes and failing sut state in…
56dfa56 
…stead.
@cheeseng
First version of shrinking in StatefulPropertyCheckModel working.
3d1425a
@cheeseng
Added a simple test for shrinking in StatefulPropertyCheckModelSpec.
bfbc9ee
@cheeseng
Moved the MaxLoopCount to object Generator.
25a7282
@cheeseng
Moved the error message for exceeding MaxLoopCount into resource file.
64bf910
@cheeseng
Added MaxLoopCount check for preCondition filter also.
142b78e
@cheeseng
Fixed flickering unit test in StatefulPropertyCheckModelSpec.
f8c7a68
@cheeseng
Added ExpectationStatefulPropertyCheckModel.
54cd3ce
@cheeseng
Added scaladoc to StatefulPropertyCheckModel.
9982696
@cheeseng
Added default implementation for command in StatefulPropertyCheckMode…
1304ea8 
…l trait.
@cheeseng
Moved TCommand and TState up as type parameters of StatefulPropertyCh…
ce8e0a6 
…eckModel.
@cheeseng
Moved SystemUnderTest to top level of org.scalatest.prop package.
3fa6f1e
@cheeseng
Moved asserting code out to StatefulPropCheckerAsserting enabler clas…
3416ec6 
…s, pathing way to support Future assertion.
@cheeseng
Changed StatefulPropCheckerAsserting to follow organization of PropCh…
06acb93 
…eckerAsserting.
@cheeseng
Added TSystemUnderTest type parameter to StatefulPropertyCheckModel.
91f851d
@cheeseng
Got StatefulPropertyCheckModel to work with Future.
8daacbf
@cla-bot cla-bot bot added the cla-signed label Nov 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

cla-signed

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@cheeseng