報告書：形式手法導入課題を解決する「形式手法活用ガイドならびに参考資料」の公開：IPA 独立行政法人 情報処理推進機構
～エンタプライズ系ソフトウェア開発で利用できるノウハウ～ 2012年9月28日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 IPA/SECでは、ソフトウェア開発の高信頼化に向けた有効な手法と一つとして形式手法の普及活動に取り組んできました。今回、代表的な形式手法である Event-B, SPIN, VDM++ を用いて、基本設計書の品質向上のための検証方法をガイドする「形式手法活用ガイドならびに参考資料」を公開します。 本資料は、「Dependable Software Forum（略称:DSF）（※）」から譲渡されたもので、2012年4月20日に公開した「情報系の実稼働システムを対象とした形式手法適用実験報告書」でも活用されています。実験報告書と共に参照し、実践的な取組みに活用いただけることを期待します。 ※Dependable Softw
Overview
Overview The Overture community supports the modelling method The Vienna Development Method (VDM) which is a set of modelling techniques that have a long and successful history in both research and industrial application in the development of computer-based systems. The Overture Tool is an open-source integrated development environment (IDE) for developing and analysing VDM models. The tool suite
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。お読みのページは後編です。 大規模なテストをどうやって実行しているか 続いて、大規模なテストについて。 1000万件のテストパターンを作っても、それぞれのテスト結果の正解を人手で作っていたら追いつきません。なので、別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェックしよう、という話です。 例
www.vdmtools.jp – このドメインはお名前.comで取得されています。
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年10月時点の調査。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
NII Technical Report (NII-2007-007J)
Overture Training Material
GitHub - overturetool/vdm2c: Working repository for the development of a VDM to C code generator
GitHub - vdmtools/vdmtools: source code of VDMTools
Main Page - Wiki.overturetool.org
