• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Study on User-Oriented Software Assessment Methods Considering Safety and Availability

Research Project

Project/Area Number 12680442
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 社会システム工学
Research InstitutionTOTTORI UNIVERSITY

Principal Investigator

YAMADA Shigeru  Faculty of Engineering, Tottori University, Professor, 工学部, 教授 (50166708)

Co-Investigator(Kenkyū-buntansha) KIMURA Mitsuhiro  Hosei University, Faculty of Engineering, Associate Professor, 工学部, 助教授 (20263486)
TOKUNO Koichi  Tottori University, Faculty of Engineering, Associate Professor, 工学部, 助教授 (40263488)
Project Period (FY) 2000 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥3,800,000 (Direct Cost: ¥3,800,000)
Fiscal Year 2001: ¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2000: ¥2,100,000 (Direct Cost: ¥2,100,000)
KeywordsSoftware Reliability / Quantitative Assessment / User-Oriented Measures / Software Safety / Software Availability / Quality Engineering Approach / Software Management / Software Development Tool
Research Abstract

Software availability is defined as the attribute that the software system is operable and available whenever we want to use it. And software safety is defined as the attribute that it will not cause an unsafe condition. Those attributes are user-oriented quality characteristics of software systems. This research investigates the user-oriented software reliability assessment methods in consideration of software availability and safety. At first we discuss the basic idea of software availability modeling and the difference between modeling for software and hardware systems. Markov processes are applied to the descriptions of the time-dependent behaviors of software systems alternating between up and down states ; then the processes of software reliability growth and the increase in difficulty of restorations are incorporated as well. We also refer to several extended models reflecting the software failure-occurrence phenomenon and the restoration scenario peculiar to the user-operational phase, considering computation performance, and combining a hardware and a software subsystem. Then, we can derive several user-oriented quantitative measures for software availability and safety assessment such as software safety, instantaneous software availability, average software availability, and interval software availability. Furthermore, by using JAVA languages we can develop a software management tool which incorporates the user-oriented software reliability assessment methods.

Report

(3 results)
  • 2001 Annual Research Report   Final Research Report Summary
  • 2000 Annual Research Report
  • Research Products

    (134 results)

All Other

All Publications (134 results)

  • [Publications] Shigeru Yamada: "Software reliability models and their applications : A survey"Proceedings of the International Seminar on Software Reliability of Man-Machine Systems. 145-168 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 得能貢一: "ユーザ指向のソフトウェア信頼性評価法"日本応用数理学会誌. 10・3. 2-13 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "User-oriented optimal release policies based on software reliability/safety model"Proceedings of the Second World Congress for Software Quality (2WCSQ). 589-594 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "Markovian software safety measurement with reliability growth process"Proceedings of the 5th International Conference on Probabilistic Safety Assessment and Management (PSAM5). 2681-2686 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "Markovian software availability measurement based on the number of restoration actions"IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences. E83-A・5. 835-841 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Osamu Tsukihara: "A Markovian software availability model considering the number of debugging activities"Proceedings of the 5th China-Japan International Symposium on Industrial Management (ISIM'2000). 356-361 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "Markovian software availability measurement for continuous use"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 280-284 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Takashi Karaki: "Markovian analysis for software reliability/availability measurement considering continuous use"Proceedings of the 32nd ISCIE International Symposium on Stochastic Systems Theory and Its Annlications. 149-154 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "Markovian software availability analysis under intermittent use"International Journal of Reliability, Quality and Safety Engineering. 8・3. 249-258 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "Markovian software availability analysis under intermittent use"Proceedings of the 7th ISSAT International Conference on Reliability and Quality in Design. 269-273 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "Markovian availability modeling for software-intensive systems"International Journal of Quality & Reliability Management. 17・2. 200-212 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 江崎和博: "ソフトウェア設計過程の信頼性に影響を及ぼす人的要因の品質工学的アプローチ"電子情報通信学会論文誌. J83-A・7. 875-882 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Kazuhiro Esaki: "A model for program reliability prediction based on software development process characteristics and its evaluation"Proceedings of the Second World Congress for Software Quality (2WCSQ). 813-818 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Keisuke Hihara: "A study on human factors affecting software reliability in design process based on a Taguchi-method"Proceedings of the 5th China-Japan International Symposium on Industrial Management (ISIM'2000). 249-254 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 江崎和博: "設計レビューにおけるソフトウェア信頼性に影響を及ぼす人的要因の品質工学的解析"電子情報通信学会論文誌. J84-A・2. 218-228 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 江崎和博: "設計レビュー過程の属性に基づくソフトウェア信頼性予測モデルとその評価"プロジェクトマネジメント学会誌. 3・2. 27-32 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Koichi Tokuno: "An imperfect debugging model with two types of hazard rates for software reliability measurement and assessment"Mathematical and Computer Modelling. 31・10-12. 343-352 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Mitsuhiro Kimura: "Software reliability assessment modeling based on nonlinear stochastic differential equations of Ito type"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 160-164 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Takaji Fujiwara: "A software testing-management tool for reliable software development and Its application"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 175-179 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Miho Yamamoto: "Software process improvement for quality product development -Process and product quality evaluation based on a software reliability assessment tool -"Proceedings of the Second World Congress for Software Quality (2WCSQ). 237-242 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Takaji Fujiwara: "A testing-domain dependent software reliability growth model for practical application"Proceedings of the Second World Congress for Software Quality (2WCSQ). 821-826 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Mitsuhiro Shibata: "Two-dimensional Weibull process model for software failure-occurrence phenomenon"Proceedings of the 5th China-Japan International Symposium on Industrial Management (ISIM'2000). 368-373 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Yoshinobu Tamura: "A software reliability assessment method under distributed development environment with application to optimal software release problems"Proceedings of the 5th International Conference on Probabilistic Safety Assessment and Management (PSAM5). 2687-2692 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原隆次: "情報共有化による高信頼化ソフトウェア開発の一手法"プロジェクトマネジメント学会誌. 3・2. 9-14 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 江崎美保: "成功するソフトウェア開発のためのソフトウェアプロセス改善活動"プロジェクトマネジメント学会誌. 3・2. 15-20 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 保田勝通: "グローバル時代のソフトウェア品質マネジメントシステムの提案と試行"プロジェクトマネジメント学会誌. 3・2. 21-26 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原隆次: "一般化されたテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J84-A・7. 950-958 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Takaji Fujiwara: "Testing-domain dependent software reliability growth models and their comparisons of goodness-of-fit"Proceedings of the 7th ISSAT International Conference on Reliability and Quality in Design. 36-40 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 田村慶信: "分散開発環境に対するソフトウェア信頼度成長モデル:確率微分方程式アプローチとその推定"日本応用数理学会論文誌. 11・3. 121-132 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Shigeru Yamada: "Testing-domain dependent software reliability growth models and their comparisons of goodness-of-fit"International Journal of Reliability, Quality and Safety Engineering. 8・3. 205-218 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Yoshinobu Tamura: "A software reliability growth model based on stochastic differential equations for distributed development environment"Proceedings of the 32nd ISCIE International Symposium on Stochastic Systems Theory and Its Applications. 155-160 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Tetsuo Ichimori: "Resource allocation in both module and integration testings of software development"Proceedings of the 32nd ISCIE International Symposium on Stochastic Systems Theory and Its Applications. 161-164 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原隆次: "不完全デバッグ環境を考慮したテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J85-A・1. 76-83 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 福島利彦: "リスク管理活動によるソフトウェアプロセス改善の方法"第21回ソフトウェア生産における品質管理シンポジウム報文集. 265-272 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Daisuke Satoh: "Discrete equations and software reliability growth models"Proceedings of the 12th IEEE International Symposium on Software Reliability Engineering (ISSRE2001). 176-183 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 田中正敏: "ソフトウェア開発の単体・結合両テストを考慮した最適テスト労力配分問題"統計数理研究所共同研究レポート135「最適化:モデリングとアルゴリズム14」. 42-49 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 田村慶信: "分散開発環境に対するソフトウェア信頼性評価のための確率微分方程式モデルとパラメータ推定法"第3回IEEE広島支部学生シンポジウム論文集. 127-130 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 長沼俊朗: "設計レビューの属性データに基づくソフトウェア信頼性予測モデルに関する考察"第3回IEEE広島支部学生シンポジウム論文集. 131-134 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Yamada: "Software reliability models and their applications : A survey"Proc. Intern. Seminar Software Reliability of Man-Machine Systems. 145-168 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "User-oriented software reliability assessment methods"Bulletin of Japan SIAM. Vol. 10, No. 3. 2-13 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "User-oriented optimal release policies based on software reliability safety model"Proc. 2nd World Congress Software Quality. 589-594 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "Markovian software safety measurement with reliability growth process"Proc. PSAM5. 2681-1686 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "Markovian software availability measurement based on the number of restoration actions"IEICE Trans. Fundamentals. Vol. E83-A, No. 5. 835-841 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] O. Tsukihara et al.: "A Markovian software availability model considering the number of debugging activities"Proc. 5th China-Japan Intern. Symp. Industrial Management. 356-361 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "Markovian software availability measurement for continuous use"Proc. 6th ISSAT Intern. Conf. Reliability and Quality in Design. 280-284 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Karaki et al.: "Markovian analysis for software reliability/availability measurement considering continuous use"Proc. 32nd ISCIE Intern. Symp. Stochastic Systems Theory and Its Application. 149-154 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "Markovian software availability analysis under intermittent use"Intern. J. Reliability, Quality and Safety Eng.. Vol. 8, No. 3. 249-258 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "Markovian software availability analysis under intermittent use"Proc. 7th ISSAT Intern. Conf. Reliability and Quality in Design. 269-273 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "Markovian availability modeling for software-intensive systems"Intern. J. Quality & Reliability Management. Vol. 17, No. 2. 200-212 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Esaki et al.: "A quality engineering approach to human factors affecting software reliability in design process"Trans. IEICE. Vol. J83-A, No. 7. 875-882 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Esaki et al.: "A model for program reliability prediction based on software development process characteristics and its evaluation"Proc. 2nd World Congress Software Quality. 813-818 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Hihara et al.: "A study on human factors affecting software reliability in design process based on a Taguchi-method"Proc. 5th China-Japan Intern. Symp. Industrial Management. 249-254 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Esaki et al.: "A quality engineering analysis of human factors affecting software reliability in software design review process"Trans. IEICE. Vol. J84-A, No. 2. 218-228 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Esaki et al.: "A software reliability prediction model based on software reviewing process characteristics and its evaluation"J. Soc. Project Management. Vol. 3, No. 2. 27-32 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Esaki et al.: "Software process improvement activities for successful software development"J. Soc. Project Management. Vol. 3, No. 2. 15-20 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Yasuda et al.: "The proposal and the trial for software quality management system in the global era"J. Soc. Project Management. Vol. 3, No. 2. 21-26 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Fujiwara et al.: "A generalized testing domain dependent software reliability growth model its evaluation of goodness-of-fit"Trans. IEICE. Vol. J84-A, No. 7. 950-958 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Fujiwara et al.: "Testing-domain dependent software reliability growth models and their comparisons of goodness-of-fit"Proc. 7th ISSAT Intern. Conf. Reliability and Quality in Design. 36-40 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Tamura et al.: "Software reliability growth modeling for distributed development environment : A stochastic differential equation approach and its numerical estimation"Trans. Japan SIAM. Vol. 11, No. 3. 121-132 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Yamada et al.: "Testing-domain dependent software reliability growth models and their comparisons of goodness-of-fit"Intern. J. Reliability, Quality and Safety Eng.. Vol. 8, No. 3. 205-218 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Tamura et al.: "A software reliability growth model based on stochastic differential equations for distributed development environment"Proc. 32nd ISCIE Intern. Symp. Stochastic Systems Theory and Its Applications. 155-160 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Ichimori et al.: "Resource allocation in both module and integration testings of software development"Proc. 32nd ISCIE Intern. Symp. Stochastic Systems Theory and Its Applications. 1611-164 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Tokuno et al.: "An imperfect debugging model with two types of hazard rates for software reliability measurement and assessment"Mathematical and Computer Modeling. Vol. 31, Nos. 10-12. 343-352 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Kimura et al.: "Software reliability assessment modeling based on nonlinear stochastic differential equations of Ito type"Proc. 6th ISSAT Intern. Conf. Reliability and Quality in Design. 160-164 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Fujiwara et al.: "A software testing-management tool for reliable software development and its application"Proc. 6th ISSAT Intern. Conf. Reliability and Quality in Design. 175-179 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Yamamoto et al.: "Software process improvement for quality product development"Proc. 2nd World Congress Software Quality. 237-242 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Fujiwara et al.: "A testing-domain dependent software reliability growth model for practical application"Proc. 2nd World Congress Software Quality. 821-826 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Shibata et al.: "Two-dimensional Weibull process model for software failure-occurrence phenomenon"Proc. 5th China-Japan Intern. Symp. Industrial Management. 368-373 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Tamura et al.: "A software reliability assessment method under distributed development environment with application to optimal software release problems"Proc. PSAM5. 2687-2692 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Fujiwara et al.: "A method of high-reliable software development by the information sharing"J. Soc. Project Management. Vol. 3, No. 2. 9-14 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Fujiwara et al.: "A testing-domain dependent software reliability growth model for imperfect debugging environment and its evaluation of goodness-of-fit"Trans. IEICE. Vol. J85-A, No. 1. 76-83 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Fukushima et al.: "Software process improvement based on risk management activities"Proc. 20th Symp. Quality Control of Software Production. 265-272 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] D. Satoh et al.: "Discrete equations and software reliability growth models"Proc. 12th IEEE Intern. Symp. Software Reliability Eng.. 176-183 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Tanaka et al.: "Optimal testing-effort allocation problems considering module and integration testings in software development"ISM Rep. Statistical Computing. No. 135. 42-49 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Tamura et al.: "Stochastic differential equation models and their parameter estimator for software reliability assessment in distributed development environment"Proc. 3rd IEEE Hiroshima Student Symp.. 127-130 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Naganuma et al.: "Software reliability prediction models based on the characteristics in design review process"Proc. 3rd IEEE Hiroshima Student Symp.. 131-134 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Shigeru Yamada: "Software reliability models and their applications : A survey"Proceedings of the International Seminar on Software Roliability of Man-Machine Systems. 145-168 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] 得能貢一: "ユーザ指向のソフトウェア信頼性評価法"日本応用数理学会誌. 10・3. 2-13 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "User-oriented optimal release policies based on software reliability/safety model"Proceedings of the Second World Congress for Software Quality (2WCSQ). 589-594 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "Markovian software safety measurement with reliability growth process"Proceedings ofthe 5th International Conference on Probabilistic Safety Assessment and Management (PSAM5). 2681-2686 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "Markovian software availability measurement based on the number of restoration actions"IEICE Transactions on Fundamentals of Electronics Communications, and Computer Sciences. B83-A・5. 835-841 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Osamu Tsukihara: "A Markovian software availability model considering the number of debugging activities"Proceedings of the 5th China-Japan international Symposium on Industrial Management (ISIM'2000). 356-361 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "Markovian software availability measurement for continuous use"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 280-184 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Takashi Karaki: "Markovian analysis for software reliability/availability measurement considering continuous use"Proceedings of the 32nd ISCIE International Symposium on Stochastic Systems Theory and Its Applications. 149-154 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "Markovian software availability analysis under intermittent use"International Journal of Reliability, Quality and Safety Engineering. 8・3. 249-258 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "Markovian software availability analysis under intermittent use"Proceedings of the 7th ISSAT International Conference on Reliability and Quality jn Design. 269-273 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "Markovian availability modeling for software-intensive systems"International Journal of Quality & Reliability Management. 17・2. 200-212 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] 江崎和博: "ソフトウェア設計過程の信頼性に影響を及ぼす人的要因の品質工学的アプローチ"電子情報通信学会論文誌. J83-A・7. 875-882 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Kazuhiro Esaki: "A model for program reliability prediction based on software development process characteristics and its evaluation"Proceedings ofthe Second World Congress for Software Quality (2WCSQ). 813-818 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Keisuke Hihara: "A study on human factors affecting software reliability in design process based on a Taguchi-method"Proceedings of the 5th China-Japan International Symposium on Industrial Management (ISIM '2OOO). 249-254 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] 江崎和博: "設計レビューにおけるソフトウェア信頼性に影響を及ぼす人的要因の品質工学的解析"電子情報通信学会論文誌. J84-A・2. 218-228 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 江崎和博: "設計レビュー過程の属性に基づくソフトウェア信頼性予測モデルとその評価"プロジェクトマネジメント学会誌. 3・2. 27-32 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 江崎美保: "成功するソフトウェア開発のためのソフトウェアプロセス改善活動"プロジェクトマネジメント学会誌. 3・2. 15-20 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 保田勝通: "グローバル時代のソフトウェア品質マネジメントシステムの提案と試行"プロジェクトマネジメント学会誌. 3・2. 21-26 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 藤原隆次: "一般化されたテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J184-A・7. 950-958 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Takaji Fujiwara: "Testing-domain dependent software reliability growth models and their comparisons of goodness-of-fit"Proceedings of the 7th ISSAT International Conference on Reliability and Quality in Design. 36-40 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 田村慶信: "分散開発環境に対するソフトウェア信頼度成長モデル:確率微分方程式アプローチとその推定"日本応用数理学会論文誌. 11・3. 121-132 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Shigeru Yamada: "Testing-domain dependent software reliability growth models and their comparisons of goodness-of-fit"International Journal of Reliability, Quality and Safety Engineering. 8・3. 205-218 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yoshinobu Tamura: "A software reliability growth model based on stochastic differential equations for distributed development environment"Proceedings of the 32nd ISCIE International Symposium on Stochastic Systems Theory and Its Applications. 155-160 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Tetsuo Ichimori: "Resource allocation in both module and integration testings of software development"Proceedings of the 32nd ISCIE international Symposium on Stochastic Systems Theory and Its Applications. 161-164 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Koichi Tokuno: "An imperfect debugging model with two types of hazard rates for software reliability measurement and assessment"Mathematical and Computer Modelling. 31・10-12. 343-352 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Mitsuhiro Kimura: "Software reliability assessment modeling based on nonlinear stochastic differential eqations of Ito type"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 160-164 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Takaji Fujiwara: "A software testing-management tool for reliable software development and Its application"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 175-179 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Miho Yamamoto: "Software process improvement for quality product development-Process and product quality evaluation based on a software reliability assessment tool-"Proceedings of the Second World Congress for Software Quality (2WCSQ). 237-242 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Takaji Fujiwara: "A testing-domain dependent software reliability growth model for practical application"Proceedings of the Second World Congress for Software Quality (2WCSQ). 821-826 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Mitsuhiro Shibata: "Two-dimensional Weibull process model for software failure-occurrence phenomenon"Proceedings of the 5th China-Japan International Symposium on Industrial Management (ISIM'2000). 368-373 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yoshinobu Tamura: "A software reliability assessment method under distributed development env ironment with application to optimal software release problems"Proceedings of the 5th International Conference on Probabilistic Safety Assessment and Management (PSAM 5). 2687-2692 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] 藤原隆次: "情報共有化による高信頼化ソフトウェア開発の一手法"プロジェクトマネジメント学会誌. 3・2. 9-14 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 藤原隆次: "不完全デバッグ環境を考慮したテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J85-A・1. 76-83 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 福島利彦: "リスク管理活動によるソフトウェアプロセス改善の方法"第21回ソフトウェア生産における品質管理シンポジウム報文集. 265-272 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Daisuke Satoh: "Discrete equations and software reliability growth models"Proceedings of the 12th IEEE International Symposium on Software Reliability Engineering (ISSRE2001). 176-183 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 田中正敏: "ソフトウェア開発の単体・結合両テストを考慮した最適テスト労力配分問題"統計数理研究所共同研究レポート135「最適化:モデリングとアルゴリズム14」. 42-49 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] 田村慶信: "分散開発環境に対するソフトウェア信頼性評価のための確率微分方程式モデルとパラメータ推定法"第3回IEEE広島支部学生シンポジウム論文集. 127-130 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 長沼俊朗: "設計レビューの属性データに基づくソフトウェア信頼性予測モデルに関する考察"第3回IEEE広島支部学生シンポジウム論文集. 131-134 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] K.Tokuno: "Markovian Availability Modeling for Software-Intensive System"International Journal of Quality & Reliability Management. 17・2. 200-212 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Tokuno: "Markovian Software Availability Measurement Based on the Number of Restoration Actions"IEICE Transactions on Fundamentals. E83-A・5. 835-841 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Tokuno: "An Imperfect Debugging Model with Two Types of Hazard Rates for Software Reliability Measurement"Mathematical and Copmuter Modelling. 31・10-12. 343-352 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 江崎和博: "ソフトウェア設計過程の信頼性に影響を及ぼす人的要因の品質工学的アプローチ"電子情報通信学会論文誌. J83-A・7. 875-882 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] S.Yamada: "Software Reliability Models and Their Applications : A Survey"Proc.Intern.Seminar on Software Reliability of Man-Machine Systems. 145-168 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Kimura: "Software Reliability Assessment Modeling Based on Nonlinear Stochastic Differential Equations of Ito Type"Proc.the 6th ISSAT Intern.Conf.Reliability and Quality in Design. 160-164 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] T.Fujiwara: "A Software Testing-Management Tool for Reliable Software Development and Its Applications"Proc.the 6th ISSAT Intern.Conf.Reliability and Quality in Design. 175-179 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Tokuno: "Markovian Software Availability Measurement for Continuous Use"Proc.the 6th ISSAT Intern.Conf.Reliability and Quality in Design. 280-284 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 得能貢一: "ユーザ指向のソフトウェア信頼性評価法"日本応用数理学会誌. 10・3. 2-13 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Yamamoto: "Software Process Improvement for Quality Product Development"Proc.the Second World Congress for Software Quality. 237-242 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Esaki: "A Model for Program Reliability Prediction Based on Software Development Process Characteristics and Its Evaluation"Proc.the Second World Congress for Software Quality. 813-818 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] T.Fujiware: "A Testing-Domain Dependent Software Reliability Growth Model for Practical Application"Proc.the Second World Congress for Software Quality. 821-826 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Hihara: "A Study on Human Factors Affecting Software Reliability in Design Process Based on a Taguchi Method"Proc.the 5th China-Japan Intern.Symp.Industrial Management. 249-254 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] O.Tsukihara: "A Markovian Software Availability Model Considering the Number of Debugging Activites"Proc.the 5th China-Japan Intern.Symp.Industrial Management. 356-361 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Shibata: "Two-Dimensional Weibull Process Model for Software Failure-Occurrence Phenomenon"Proc.the 5th China-Japan Intern.Symp.Industrial Management. 368-373 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Tokuno: "Markovian Software Safety Measurement with Reliability Growth Process"Proc.the 5th Intern.Conf.Probabilistic Safety Assessment and Management. 2681-2686 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Y.Tamura: "A Software Reliability Assessment Method under Distributed Development Environment"Proc.the 5th Intern.Conf.Probabilistic Safety Assessment and Management. 2687-2692 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Tokuno: "User-Oriented Optimal Release Policies Based or Software Reliability/Safety Model"Proc.the Second World Congress for Software Quality. 589-594 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 江崎和博: "設計レビューにおけるソフトウェア信頼性に影響を及ぼす人的要因の品質工学的解析"電子情報通信学会論文誌. J84-A・2. 218-228 (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 田中正敏: "ソフトウェア開発の単体・結合両テストを考慮した最適テスト労力配分問題"統計数理研究所共同研究レポート135「最適化:モデリングとアルゴリズム14」. 42-49 (2000)

    • Related Report
      2000 Annual Research Report

URL: 

Published: 2000-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi