“AWS内では形式手法や検証より「網羅的テストが可能な擬似コード」と呼ぶ。プログラムコードに網羅的テストは現実的に不可能。要点が絞られ実装詳細含まない擬似コードのほうが本質的問題点を抽出して有益”

yarumato のブックマーク 2018/10/26 15:26

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/348111059/comment/yarumato" data-user-id="yarumato" data-entry-url="https://b.hatena.ne.jp/entry/s/codezine.jp/article/detail/10505" data-original-href="https://codezine.jp/article/detail/10505" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fcodezine.jp%2Farticle%2Fdetail%2F10505" data-user-icon="/users/yarumato/profile.png">「形式手法」の“論理の力”による開発効率と品質の向上事例</a><br><p style="clear: left">“AWS内では形式手法や検証より「網羅的テストが可能な擬似コード」と呼ぶ。プログラムコードに網羅的テストは現実的に不可能。要点が絞られ実装詳細含まない擬似コードのほうが本質的問題点を抽出して有益”</p><a class="datetime" href="https://b.hatena.ne.jp/yarumato/20181026#bookmark-348111059"><span class="datetime-body">2018/10/26 15:26</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

「形式手法」の“論理の力”による開発効率と品質の向上事例

codezine.jp2017/11/07

社会人エンジニア向けの教育プログラム「トップエスイー」から、エンジニアの皆さんに対して有用な情報をお届けするコーナーです。ところで、形式手法という言葉はご存じでしょうか？一般には「数理論理学に基づ...

30 人がブックマーク・2 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

「形式手法」の“論理の力”による開発効率と品質の向上事例

はてなブックマーク

公式Twitter

はてなのサービス