形式手法はなぜ流行っていないのか - Qiita

2021/03/24 207 users ソフ Qiita アカデミア ご存知 ソフトウェア開発者

はじめに みなさん形式手法をご存知でしょうか？ 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般のソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフ... 続きを読む

自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み

2020/05/28 439 users 限界 自動テスト Kuniwak 私見 生業

長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak ... 続きを読む

AWSにおける形式手法 - masateruk’s blog

2018/10/23 252 users AWS 示唆 https 適用 産業界

AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能... 続きを読む