This may be my first paper to cite a Tweet. This thread is worth reading: »https://twitter.com/DRMacIver/status/1140615803752079360 …
Show this thread
Property-based testing is an important upcoming topic in software reliability, but it gets no attention in computing education. We've been trying to fix that. This blog post summarizes our work and points to a recent paper with lots more detail. »https://blog.brownplt.org/2021/01/10/property-based-testing.html …
-
-
-
-
The paper won't necessarily make either
@DRMacIver or@hillelogram happy: the examples may not appeal to the former, and it doesn't address the issues raised in responses to the latter. But it's a start. HT to@rjmh for his work on PBT!Show this thread
End of conversation
New conversation -
-
-
That's very cool. I've mused about integrating PBT several times recently, including this morning.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
My favorite example of a useful property based test is when you're replacing code with a new version. Concoct an example, run it through the old and new code, compare results. Sometimes you want bug-for-bug compatibility, other times you uncover a bug in one system or the other.
-
This is just a special case of a specification, but it makes sense to developers who see formal specification as imposing
End of conversation
New conversation -
-
-
Anecdata: just this past semester I took a course where implementing auto-differentiation was a substantial component. Too bad that even though our starter code included PBT using Hypothesis (made a lot of sense!), the topic was pretty much absent from lectures/discussions.
-
No ill will towards the professor of course, there's always so many topics to cover and never enough time (and the class was good!) But it does feel like testing is frequently a second-class citizen in lots of software engineering classes.
- Show replies
New conversation -
-
-
Toposortacle is still one of my favorite assignments I've ever been given
(also, shocking to see 92 as a lower bound for Logic for Systems course size!!) -
now make that happen in cs15 alexa
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.