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

Conversation

cheeseng
Copy link
Contributor

@cheeseng cheeseng commented Nov 2, 2023

Added support for stateful property-based testing.

@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.

None yet
1 participant
@cheeseng