devorgachem https://blog.hatena.ne.jp/devorgachem/ 若くない何かの悩み https://blog.kuniwak.com/ 形式手法 Isabelle 自動テスト 長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.kuniwak.com%2Fentry%2F2020%2F05%2F28%2F101543" title="自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/d/devorgachem/20200524/20200524132128.png Hatena Blog https://hatena.blog 2020-05-28 10:15:43 rich https://blog.kuniwak.com/entry/2020/05/28/101543 1.0 100%