Thoth Children
ログイン
知識投稿
他サービス
Thothnator
Thoth Coworker
ウジャトで理解する学問
You Only Search Once(β)
Thoth Hieroglyph
ヒエログリフ変換
ソフトウェアを検証する
編集
ソフトウェアを実装した後にそれが仕様通りになっているか、達成される要求項目が正しく残されているかについて検証する方法についてまとめています.
編集
2018.6.17
26
Views
0
Watch
1
Knows
Watch登録
新分野登録
削除申請
一つ上へ
コンパイラを検証する
実装されたコンパイラやプログラミング言語において、各機能が正しく動くかを検証する方法や検証すべき例について紹介しています.
×
新しい分野を追加
×
新しい知識を追加
×
分野の削除申請
×
移動または削除を行うには理由を申請ください。
理由
他の分野の移動の場合は分野を設定してください。 削除要請される場合はそのまま下のボタンを押下してください.
分野:
学問
技術
言語
高校
中学
一般
物性
道具
思考
計算
アルゴ
その他
分野の説明を編集
×
分野のタイトルを編集
×
ソフトウェアを検証するの新規投稿
再帰関数が正しく動くか検証したい
再帰関数が正しく動くかを確認するときのよい例題を紹介します.ここでは自動プログラミングや自動証明の例題として使われることのあるマッカッシーの91関数を紹介します.
PV
95
Fav
0
2018.06.17
ソフトウェアを検証する人気知識・質問
再帰関数が正しく動くか検証したい
再帰関数が正しく動くかを確認するときのよい例題を紹介します.ここでは自動プログラミングや自動証明の例題として使われることのあるマッカッシーの91関数を紹介します.
PV
95
Fav
0
2018.06.17