問題文
A team describes the intended execution-time behavior of a controller as a finite state machine and wants tools that work from that description. Which option describes how this syllabus says such tools support model-based testing?
選択肢
- the engine lets a user execute the model so that coverage reports can be saved as test cases, and the tool also helps reduce the very large number of possible paths through the implementation
- the engine lets a user execute the model so that recorded keystrokes can be saved as test cases, and the tool also helps reduce the very large number of possible paths through the implementation
- the engine lets a user execute the model so that injected mutations can be saved as test cases, and the tool also helps reduce the very large number of possible paths through the implementation
- the engine lets a user execute the model so that execution threads can be saved as test cases, and the tool also helps reduce the very large number of possible paths through the implementation