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

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

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

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

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

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

形式手法による分散システムの検証 #builderscon / builderscon tokyo 2019 - Speaker Deck

2019/08/31 67 users Builderscon Speaker Deck 検証

All slide content and descriptions are owned by their creators. 続きを読む

「厳密な仕様記述における形式手法成功事例調査報告書」の公開 ：IPA 独立行政法人 情報処理推進機構

2019/07/08 55 users 誤解 手法 低下 増加 ソフトウェア開発現場

ソフトウェア開発現場では、日本語で作成する仕様書の記述内容が曖昧である事に起因する製品品質の低下やプログラム不具合対応などの手戻り作業に伴う開発コストの増加が問題視されています。「形式手法」(*1)は、こうした仕様記述の内容から曖昧さを排除し、誤解を招かない仕様書を作成する手法の一つとして注目されて... 続きを読む

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

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

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

関数型言語&形式的手法セミナー(3)

2011/07/22 68 users 関数型言語 小笠原 関数プログラミング 応用事例 本日

関数型言語&形式的手法セミナー(3) - Presentation Transcript 関数型言語&形式的手法セミナー(３) Start F#! ２０１１年７月１９日 　株式会社豆蔵　有限会社ITプランニング 小笠原　啓 1 F#のご紹介 関数プログラミングで開発を加速しよう！ 応用事例：ここでも使われている関数型言語 形式手法　定理証明支援器Coqとのつながり 2 Start F#! 本日の話... 続きを読む

いまさら聞けない 形式手法入門（1/3） ― ＠IT

2007/01/18 99 users ソフトウェア テスト 品質 レビュー システム

品質向上技術解説 いまさら聞けない 形式手法入門 阿部 功二　CSKシステムズ　2007/1/19 ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、形式手法を分かりやすく解説する。（編集部） ソフトウェアの品質を確保するため、誰もがレビューとテストを行います。しかし、一般的に行われているレビューやテストにおいて、システムが正しく動... 続きを読む