ソフトウェア安全性/信頼性の定量的評価モデルに関する考察
スポンサーリンク
概要
- 論文の詳細を見る
従来より, ソフトウェアに関する障害が発生することなくコンピュータシステムが正常に動作を続行するという特性であるソフトウェア信頼性を高める研究が精力的に行われてきた. 一方で, 原子力発電制御システム, 鉄道や航空機の管制制御システム, 病院の患者診療システムなどのように, コンピュータシステムが致命的な影響を及ぼす処理を制御するような適用分野が拡大するにつれて, ソフトウェア信頼性と共にソフトウェアの安全性が重要視されるようになった. ソフトウェア安全性は, 不安全なソフトウェアの状態がないことと定義され, 定性的評価法については種々提案されているが, 定量的評価法についてはあまり見られない. 本論文では, ソフトウェア開発のテスト工程や実際の運用段階でのソフトウェアの実行可能な動的環境において, ソフトウェア信頼性にも関連づけて定量的にソフトウェア安全性を評価する方法について議論する. 具体的には, ソフトウェアの入力データを考慮したデータ領域安全性評価モデルと, ユーザの可用性を考慮した可用性/安全性評価モデルという二つの確率モデルを提案する. また, 数値例によるソフトウェアの安全性評価例も示す.
- 社団法人電子情報通信学会の論文
- 1997-12-25
著者
関連論文
- ソフトウェア信頼度成長を考慮したコンピュータシステムの性能評価モデル (不確実・不確定性下での意思決定過程)
- フォールト認知影響要因を考慮したソフトウェア信頼性モデリング枠組みに関する一考察 (不確実・不確定性下での意思決定過程)
- OSSに対する不完全デバッグを考慮した確率微分方程式モデルと最適バージョンアップ問題に関する一考察 (不確実・不確定性下での意思決定過程)
- ワイブル過程に基づいた2次元ソフトウェア信頼度成長モデル
- 組込みオープンソースソフトウェアに対するハザードレートモデルに基づく移植性評価法 (不確実・不確定性下での意思決定過程)
- ソフトウェア信頼性評価のための差分方程式に基づく統計的データ解析モデルに関する考察
- 統計的データ分析に基づくソフトウェアプロセス改善とプロジェクトマネジメントに関する研究 (不確実・不確定性下での意思決定過程)
- テスト環境の変化を考慮した環境関数に基づくソフトウェア信頼性モデル (不確実・不確定性下での意思決定過程)
- パス探索の複雑性を考慮したソフトウェア信頼性モデルに関する一考察
- 分散開発環境におけるニューラルネットワークに基づくソフトウェア信頼性評価法
- 潜入フォールトを考慮した不完全デバッグモデルと適合性評価
- 分散ソフトウェア開発環境に対する確率微分方程式モデルに基づく最適リリース問題(信頼性,保全性,安全性)
- 設計レビューにおけるソフトウェア信頼性に影響を及ぼす人的要因の品質工学的解析
- 運用期間中の不確実性を考慮したソフトウェア最適リリース問題に関する研究 (不確実性と意思決定の数理)
- 保証期間を考慮したソフトウェアの最適リリース問題に関する考察
- A-9-4 運用段階におけるソフトウェアのサービス可用性評価法に関する一考察(A-9.信頼性,一般講演)
- 可用性モデルを用いたソフトウェアの処理性評価法 : タスクの到着率がNHPPに従う場合
- 運用段階におけるソフトウェアシステムの失望確率
- デバッグ回数に基づくリアルタイム性を考慮したソフトウェアの性能解析に関する一考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 構成モジュール品質のばらつきを考慮した最適ソフトウェアテスト労力配分問題
- 納期を考慮したソフトウェア最適リリース問題に基づく最適テスト労力配分方策
- オープンソースソフトウェアに対するSRGMに基づく予測精度の検証 (不確実性と意思決定の数理)
- OSSに対する2種類のモデルに基づく最適バージョンアップ問題に関する適合性比較 (不確実な状況における意思決定の理論と応用)
- A-9-6 OSS開発における最適バージョンアップ時期推定のためのソフトウェアツール(A-9.信頼性,一般講演)
- オープンソースソフトウェアに対するフォールト重要度を考慮した確率微分方程式モデル
- オープンソースソフトウェアに対する確率微分方程式モデルとその適合性評価に関する一考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- OSS に対するコンポーネントの整合性を考慮した最適バージョンアップ時期の推定に関する一考察(不確実性を含む意思決定の数理とその応用)
- ソフトウェア信頼性評価ツールの導入 : ソフトウェア信頼度成長モデルの適用と評価
- 処理時間制約のあるフォールトトレラントソフトウェアシステムの性能評価
- 高品質・信頼性ソフトウェア開発のためのプロジェクトマネジメント技術(「ソフトウェア信頼性工学の新展開」)
- 成功するソフトウェア開発のためのソフトウェアプロセス改善活動
- アジャイル・ソフトウェア開発における定量的ソフトウェア品質評価法に関する考察 (不確実性と意思決定の数理)
- プロセスデータに基づくソフトウェア開発プロジェクトの品質指向型定量的評価法に関する考察 (不確実な状況における意思決定の理論と応用)
- A-9-3 プロセスメトリクスに基づくソフトウェア製品品質予測に関する考察(A-9.信頼性,一般講演)
- 分散開発環境に対する一般化確率微分方程式モデルに基づく最適リリース問題
- セッション8-1 分散開発環境に対する確率微分方程式に基づくソフトウェア信頼度成長モデルの一般化
- 分散開発環境に対する確率微分方程式に基づくソフトウェア信頼度成長モデルの一般化
- マルコフ型不完全デバッグモデルを用いたソフトウェアの運用信頼性評価法
- ソフトウェア可用性モデルを用いたシステムの処理性評価に関する考察(セッション3 : ソフトウェアの信頼性,信頼性理論)
- 不完全デバッグ環境を考慮した間欠的に使用されるソフトウェアシステムの可用性解析
- ユーザの間欠使用を考慮した運用段階におけるデバッグ回数とソフトウェア可用性評価の関係(ソフトウェアの信頼性,信頼性理論)
- デバッグの実施回数とソフトウェア安全性/可用性評価の関係に関する考察
- ユーザの間欠使用を考慮したデバッグ回数に基づくソフトウェア可用性評価
- 動的環境におけるソフトウェア安全性/可用性評価のためのマルコフモデル
- ユーザ指向のソフトウェア信頼性評価法
- 動作時の安全性を考慮したソフトウェア信頼性評価モデルに関する考察
- ソフトウェア可用性評価のためのアベイラビリティモデル (ソフトウェア信頼性評価法の新潮流)
- デスクトップ環境におけるソフトウェア信頼性評価法に関する一考察 (不確実性科学と意思決定の数理と応用)
- オープンソース共同開発環境に対するソフトウェア信頼性評価法に関する考察(信頼性, 保全性, 安全性)
- AHPとソフトウェア信頼度成長モデルに基づくXfceの信頼性評価に関する一考察(信頼性一般)
- テスト環境の変化を考慮したソフトウェア信頼性モデルに関する一考察 (不確実性と意思決定の数理)
- テスト網羅度関数の構築とソフトウェア信頼性評価への応用に関する考察 (不確実な状況における意思決定の理論と応用)
- 信頼度成長要因に基づいた2次元ソフトウェア信頼性評価に関する一考察 (不確実な状況における意思決定の理論と応用)
- テスト工程におけるチェンジポイントとソフトウェア信頼性評価モデルに関する一考察(ソフトウェア評価/プロダクトライン)
- 2215 アジャイル開発における品質メトリクスに基づくソフトウェア信頼性評価に関する一考察(一般セッション)
- A-9-7 樹脂成型金型の設計における面差品質向上のための統計的考察(A-9.信頼性,一般講演)
- A-9-5 ゴム製品の不良率低減問題に対する実験計画法の適用(A-9.信頼性,一般講演)
- A-9-2 テスト網羅度依存離散型ハザードレートによるソフトウェア信頼性モデルの構築(A-9.信頼性,一般講演)
- A-9-1 2次元ソフトウェア信頼度成長モデルに関する一考察(A-9.信頼性,一般講演)
- チェンジポイントを考慮したソフトウェア信頼性評価法に関する一考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- プログラム規模を考慮した離散ワイブル型ソフトウェア信頼性モデル(不確実性を含む意思決定の数理とその応用)
- オープンソースソフトウェアに対する故障強度を考慮した信頼性評価法(セッション2)
- 遺伝的アルゴリズムとSRGM に基づくオープンソースソフトウェアの最適バージョンアップ時期の推定に関する一考察(モデリングと最適化の理論)
- OSSに対するコンポーネントの信頼性評価に関する一考察
- オープンソースソフトウェアに対する遺伝的アルゴリズムに基づく信頼性評価法
- 離散ワイブル型故障発生時間分布に基づいたソフトウェア信頼性モデル(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- OSS に対する ANP と SRGM に基づく最適バージョンアップ時期の推定問題に関する一考察(不確実性の下での意思決定と数理モデル)
- オープンソースソフトウェア開発における信頼性評価 : モデルと応用
- オープンソースソフトウェアに対する信頼性評価法とその適用可能性に関する考察
- ソフトウェア信頼性に影響を及ぼす品質工学的アプローチに基づく人的要因分析と信頼性予測(「ソフトウェア信頼性工学の新展開」)
- ソフトウェア信頼性評価のための一般化離散型二項過程モデルと最適リリース問題への応用
- ネットワーク型開発環境に対するソフトウェア信頼性評価ツールの開発
- ANPに基づくオープンソースソフトウェアに対する信頼性評価法(ソフトウェアの信頼性, 信頼性理論, 信頼性一般)
- 2種類の不完全デバッグ作業を考慮したソフトウェア信頼性モデル(ソフトウェアの信頼性, 信頼性理論, 信頼性一般)
- 離散化ソフトウェア信頼度成長モデルとその応用(信頼性一般)
- 確率微分方程式に基づくテスト労力依存型ソフトウェア信頼度成長モデル(セッション3 : ソフトウェアの信頼性,信頼性理論)
- 分散ソフトウエア開発環境の統合テスト工程に対する信頼性評価法(セッション3 : ソフトウェアの信頼性,信頼性理論)
- 分散ソフトウェア開発環境下における最適リリース問題とその応用 (不確実性と意思決定数理の諸問題)
- ソフトウェア信頼性評価のための確率微分方程式モデルと最適リリース問題への応用 (不確実性と意思決定数理の諸問題)
- 離散化統計的データ解析モデルに基づく確率的ソフトウェア信頼度成長モデル(ソフトウェアの信頼性,信頼性理論)
- バリアントの信頼度推定機能をもつ3バージョンプログラミングシステムの信頼性解析(ソフトウェアの信頼性,信頼性理論)
- 設計レビューにおける人的要因とソフトウェア信頼性の関係に対する品質工学的分析
- セッション8-2 フォールト認知過程の時間的確率分布を考慮した無限サーバ待ち行列モデル(信頼性・品質3学会合同シンポジウム)
- フォールト認知過程の時間的確率分布を考慮した無限サーバ待ち行列モデル
- J/Linkを用いた分散開発環境に対するソフトウェア信頼性評価ツールの開発
- 離散化NHPPモデルに基づくソフトウェア最適リリース問題
- 不完全デバッグ環境を考慮したテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察
- 分散開発環境に対するソフトウェア信頼度成長モデル : 確率微分方程式アプローチとその推定
- 一般化されたテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察
- 確率微分方程式から導出された分散開発環境に対するソフトウェア信頼度成長モデル
- テスト空間依存型ソフトウェア信頼度成長モデルの一般化とその適合性評価と関する考察
- 設計レビュー過程の属性に基づくソフトウェア信頼性予測モデルとその評価
- 鳥取大学工学部社会開発システム工学科での経営工学関連分野JABEE試行審査を受けて(JABEE)
- 隠れマルコフモデルによるソフトウェアのテスト工程における不完全デバッグ率の推定法に関する考察
- 分散開発環境を考慮したソフトウェア信頼度成長モデルに関する考察
- 分散開発環境に対するソフトウェア信頼度成長モデル
- コードレビューにおける人的エラーと人的要因に関する考察
- 状態依存率を考慮した死滅過程とソフトウェア信頼性評価への応用
- コードレビューにおける人的エラーと人的要因に関する考察
- テスト項目の消化過程に基づくソフトウェアテスト進ちょく度評価モデルに関する考察