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.

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

Populate initial state from the SUT #582

Open
volisoft opened this issue Nov 6, 2019 · 0 comments
Open

Populate initial state from the SUT #582

volisoft opened this issue Nov 6, 2019 · 0 comments

Comments

@volisoft
Copy link

volisoft commented Nov 6, 2019

Currently stateful tests by design assume that the SUT will created according to initial state. However, this poses a problem in some circumstances which require the opposite - populating initial state from the current state of the SUT. What is the recommended way to do that?

Details
Imagine a hardware system that exposes an API. The system has a number of states between which it can transition. The test model is comprised of attributes reflect the state of the system. Those attributes mimic inherent attributes of the hardware under test, so initial state of the model needs to be populated from the current state of the hardware.
How can this be achieved with scalacheck?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant