| 意味 |
concolic testingとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
ウィキペディア英語版での「concolic testing」の意味 |
Concolic testing
出典:『Wikipedia』 (2011/03/19 13:11 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that interleaves concrete execution (testing on particular inputs) with symbolic execution, a classical technique that treats program variables as symbolic variables. Symbolic execution is used in conjunction with an automated theorem prover or constraint solver based on constraint logic programming to generate new concrete inputs (test cases) with the aim of maximizing code coverage. Its main focus is finding bugs in real-world software, rather than demonstrating program correctness.
1
concolic
Wiktionary英語版
|
| 意味 |
concolic testingのページの著作権
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのConcolic testing (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1female
-
2voluntarily
-
3forward
-
4Israeli
-
5gender
-
6satisficers
-
7male
-
8小学校
-
9recommend
-
10口封じ
閲覧履歴
 | 「concolic testing」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
