![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
gusl"according to my reading/understanding of the current code, phi": R |= phi
"according to the specification, phi": S |= phi
"according to the tests, phi": T |= phi
Bugs are disagreements between specification and tests, i.e. phi such that S |= phi and T |= ~phi.
Read more...
Does anyone use similar formalisms?
"according to the specification, phi": S |= phi
"according to the tests, phi": T |= phi
Bugs are disagreements between specification and tests, i.e. phi such that S |= phi and T |= ~phi.
Read more...
Does anyone use similar formalisms?