Everyone cites that bugs are 100x more expensive to fix in production research, but the study might not even exist theregister.com - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from theregister.com Daily Mail and Mail on Sunday newspapers.
May 3, 2021Programming 12 Minute Read
Quickstrom uses linear temporal logic (LTL) for specifying web applications. When explaining how it works, I’ve found that the basics of LTL are intuitive to newcomers. On the other hand, it’s not obvious how to specify real-world systems using LTL. That’s why I’m sharing some of my learnings and ideas from the past year in the form of blog posts.
This post focuses on how to use LTL to specify systems in terms of state machines. It’s a brief overview that avoids going into too much detail. For more information on how to test web applications using such specifications, see the Quickstrom documentation.
He tried his best to hide his confusion and continued.
“The goal is to print these numbers, but if the number is divisible by three, print
Fizz instead, and if the number is divisible by five, print
Buzz instead.”
She contemplated what he had said, carefully mulling over the nature of the problem.
This does not bode well, the interviewer felt.
Were her credentials even real?
Before he could dwell on this further, she spoke up.
“The rules you specified are nondeterministic!” she exclaimed.
“If the number is divisible by fifteen, there are two possible options.
Which one is preferred?”