Website update #301
Merged
Website update #301
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Collaborator
ivan-gavran
commented
May 27, 2024
ivan-gavran
commented
- Added two paragraphs on the basics of model-based techniques
- Added links to all Informal's projects related to MBT
bugarela
approved these changes
May 27, 2024
jekyll/index.md
Outdated
| # Model Based Testing | ||
| Building a model of our software gives us a couple of elegant and efficient ways to increase confidence in its correctness. | ||
| Modeling languages (such as [TLA+](https://lamport.azurewebsites.net/tla/tla.html) or [Quint](https://github.com/informalsystems/quint)) are supported by _model checkers_, which enable us to reason about the model's properties. | ||
| We can specify desired properties and verify that the model satisfies them, or we can generate a large number of tests directly from the model and run them against the implementation. |
There was a problem hiding this comment.
In general, I think this is talking more about models than model-based testing. I think it's ok, since this is the part that people struggle the most to understand. This suggestion just adds a bit more focus on the testing part.
Suggested change
| We can specify desired properties and verify that the model satisfies them, or we can generate a large number of tests directly from the model and run them against the implementation. | |
| We can specify desired properties and verify that the model satisfies them, and then generate a large number of tests directly from the model and run them against the implementation. |
There was a problem hiding this comment.
This is a good point. I addressed it so that the whole website now looks more general: MBT = model-based techniques
Co-authored-by: Gabriela Moreira <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.