Which of the following artifacts would you be most likely to use formal methods as part of the SQA process on them?
a. A state chart used to model the behaviour of a non-player character in a video game.
b. The source code for a function that calculates the dosage of a drug, as part of an app used in an intensive care ward in a hospital
c. A UI mockup for a screen in an app used in an intensive card ward in a hospital.
d. Source code for a function that triggers a farting noise to play on a "silly sounds" mobile app
b. The source code for a function that calculates... View the full answer