Available under Creative Commons-ShareAlike 4.0 International License.
Definition 2.5: model checking
Using test data to check the design model (usually done in pseudocode).
Definition 2.6: code checking
Using test data to check the coded program in a specific language (like C++).
- 瀏覽次數：1705
