実践ロバストネス分析 第1回 ロバストネス分析の基礎 | オブジェクトの広場
ロバストネス分析は、ユースケースのように文章で記述された要求から分析レベルのオブジェクトを見つけ、適切な単位にまとめることができるものです。また、ソフトウェアシステムが行わなければならないことも適切な単位にまとめることができます。本稿はロバストネス分析の使い方と効果について解説します。 はじめに ロバストネス分析という用語を聞いたことはありますか？ ロバストネス分析を使うことによって、ユースケースのように文章で記述された要求から分析レベル（アーキテクチャが考慮されていないレベル）のオブジェクトを見つけ、適切な単位にまとめることができます。また、ソフトウェアシステムが行わなければならないことも適切な単位にまとめることができます。 これから、3 回に渡ってロバストネス分析について解説します。本稿にあたる第 1 回ではロバストネス分析の使い方と効果について解説し、第 2 回ではサンプルアプリケー
UMLとモデル検証 | オブジェクトの広場
1.はじめに 私は主に組み込み分野における開発に携わってきました。近年、組み込み分野では、品質に対する要求はどんどん厳しくなっています。現在、品質向上のための様々なアプローチが行われています。今回は、人間にわかりやすいモデルを、抜け漏れなく検証するという観点で、UMLとモデル検証の組み合わせの可能性を探ってみました。 本記事では、UMLの状態マシン図で記載したモデルに、モデル検証ツールspinを適用していきます。 spinとは、ベル研究所で開発されたオープンソースのモデル検証ツールです。検証対象のモデルの取りうる全ての状態において、検証条件を満たしているか確認することができます。また、複数のタスクで動作するシステムにおけるデッドロックの発生なども検出することができます。デッドロックの検出例は、書籍やWebサイトでも多く紹介されています。 組み込みシステムにおいては、現在でもRTOS（リアル
汎用グラフィカルモデリング言語「SysML」 パート1 ― ＠IT
汎用グラフィカルモデリング言語「SysML」 パート1： 要件、ユースケース、およびテストケースのモデリング：The Rational Edge（1/3 ページ） The Rational Edgeより：3回にわたってお送りする本シリーズの第1回では、まず製品・システム開発用の汎用グラフィカルモデリング言語であるSystems Modeling Language（SysML）の概要を説明する。パート1ではSysMLの要件、ユースケース、およびテストケースの各ダイヤグラムを解説する。 製造企業は、今日ある競争圧力などの各種市場要因を受け、製品やシステムの設計および製造の効率改善に追われている。製品ライフサイクル全体を通じて効率が著しく欠如していた分野が、機能アーキテクチャ（そして、場合によっては物理アーキテクチャも）を決定するコンセプト段階だ。 顧客のニーズを製品の機能やユースケースに変換し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
UMLメールマガジン バックナンバー 2003/03/19
Efficient data transfer through zero copy
