program verification

電子計算機
Synonyms (2)：

software verification (ソフトウェア検証)
About software verification
- Search "software verification"
Software Validation (ソフトウェア検証)
About Software Validation
- Search "Software Validation"

Related terms (14)：

program correctness (プログラムの正しさ)
About program correctness
- Search "program correctness"
- Detailed information
debugging (デバッギング)
About debugging
- Search "debugging"
- Detailed information
computer system development (計算機システム開発)
About computer system development
- Search "computer system development"
- Detailed information
software engineering (ソフトウェア工学)
About software engineering
- Search "software engineering"
- Detailed information
test program (テストプログラム)
About test program
- Search "test program"
- Detailed information

ｍore...

Broader terms (1)：

verification (検証)
About verification
- Search "verification"
- Detailed information

Narrower terms (6)：

model checking (モデル検査)
About model checking
- Search "model checking"
- Detailed information
Clone detection (クローン検出)
About Clone detection
- Search "Clone detection"
- Detailed information
Model-based Testing (モデルベーステスト)
About Model-based Testing
- Search "Model-based Testing"
- Detailed information
break point (ブレークポイント【プログラム検証】)
About break point
- Search "break point"
- Detailed information
compositional verification (積重ね式検証法)
About compositional verification
- Search "compositional verification"
- Detailed information

ｍore...

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed

Return to Previous Page