ソフトウェア信頼性評価技術の理論的統合化に関する研究

软件可靠性评估技术理论集成研究

• 批准号: 11780331
• 负责人: 土肥 正
• 金额: $ 0.9万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11780331/
• 关键词: ソフトウェア信頼度成長モデル; 無限サーバ待ち行列; 確率モデル; ベイズ推定; ギブスサンプリング; ニューラルネットワーク

本研究では、従来から提案されているソフトウェア信頼度成長モデルを理論的に統合し、かつソフトウェアのデバッグ過程から物理的にフォールト発見事象を表現するための確率モデルを提案した。具体的は、無限サーバ待ち行列の理論を適用することによりソフトウェアに残存するフォールト数を記述するための確率モデルを提案し、ソフトウェア信頼性評価に有用ないくつかの評価尺度を導出した。上述のモデルは、テストケースの到着過程とソフトウェア内の論理パスを通過するデバッグ過程によって表現されており、従来のソフトウェア信頼度成長モデルの全てがこの枠組みにおいて説明され得る。このような一般化されたモデルに対して、ベイズ法やギブスサンプリング法に基づいたシミュレーションを行うことにより、あらゆるタイプのソフトウェアフォールト発見データに適合するような統合的方法論を確立することが可能となった。最終的に、実際の工程で採集されたデータを用いて信頼性評価を行い、提案モデルの有効性を検証した。また、ニューラルネットワーク技術を応用することにより、新しいソフトウェア信頼性評価技法も新たに開発した。

This study proposes a theoretical integration, a theoretical integration, a theoretical integration The concrete theory of infinite number of waiting columns is applied to describe the accuracy of the proposed method and the evaluation criteria of the useful number of waiting columns. The logic of the process of the above problems and problems is explained in detail by the process of the problem and the problem of the reliability growth. This generalization is based on the establishment of a methodology for the integration of data and information. Finally, the actual project acquisition, application, reliability evaluation, proposal and effectiveness evaluation This article introduces the development of new technologies for communication and communication.

项目成果

篠原康秀: "GMDHネットワークに基づいたソフトウェア出荷スケジュールの生成アルゴリズム"日本信頼性学会誌. 21・1. 2-10 (1999)

Yasuhide Shinohara：“基于GMDH网络的软件发货计划的生成算法”日本可靠性学会杂志21・1（1999）。

T.Dohi: "The Effective Smoothing Techniques to Estimate the Optimal Software Releases Schedule Based on Artificial Neural Network"IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences. (掲載予定).

T. Dohi：“基于人工神经网络估计最优软件发布时间表的有效平滑技术”IEICE Transactions on Fundamentals of Electronics、Communication and Computer Sciences（即将出版）。

T.Dohi: "A simulation Study to Analyze Unreliable File Systems with Checkpointing and Rollback Recovery"IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences. (掲載予定).

T. Dohi：“通过检查点和回滚恢复来分析不可靠文件系统的模拟研究”IEICE 电子、通信和计算机科学基础知识汇刊（待出版）。

T.Dohi: "Software Release Games"Journal of Optimization Theory and Applications. (掲載予定).

T. Dohi：“软件发布游戏”优化理论与应用杂志（待出版）。

T.Dohi: "Optimal Software Release Scheduling Based on Artificial Neural Networks"Annals of Software Engineering. (掲載予定).

T. Dohi：“基于人工神经网络的最优软件发布调度”软件工程年鉴（待出版）。