ANONYMOUS wrote Hi, The material on formal methods is more important, so I didn't cover Lecture 7c in this week's lecture, and won't be covering it next week. Static analysis (which overlaps somewhat with formal methods) and "lightweight" formal method...

Hi Arran, it might be too early to ask, but are we still going to cover Lecture 7c, quality assurance? Thank you.

Hi Kazi, That's not correct that's not what the definition of "simple path" is. I recommend checking the lecture slides again to see what the definition of a simple path is. Cheers Arran

I have a confusion from the question 3 of First Semester Examinations 2020. I have quoted the question below. Q3 "List at least four prime paths through the state diagram, using the letter labels. At least one prime path should pass include node D tw...

Yes it does, thank you

Hi, No, you don't. Cheers Arran ANONYMOUS wrote

hi professor, I wanna ask do we need to draw a table similar the lecture when we encounter questions like the 'Monster Release Example' in the exam?

Hi, It depends what exactly you're being asked for, but in a typical case, you might be asked to come up with test cases that have RACC coverage, and to explain how you derived them. So in that case, you'd probably say something like "We need to make t...

Hi, for demonstrating RACC with numerical clauses such as x 5 in a predicate, would we need to specify exact examples of numerical inputs or ranges of inputs? I believe exact examples would be the answer but I would like to make sure of this. Thank y...