소프트웨어 信賴度 評價에 關한 硏究 = A Study on the Software Reliability Evaluation

국문 초록 (Abstract)

本 硏究는 構造化 定理를 適用하여 非構造化 프로그램을 構造化 프로그램으로 變換하는 方法과 圖解法을 提示하고 確率代數를 利用하여 構造化 프로그램을 代數式으로 表現하는 그 妥當性을 檢討하였다.
또 프로그램 信賴度 標準値를 設定하고 이를 利用하여 소프트웨어 信賴度 計算 및 評價順序에 의거 信賴度를 計算하고 評價하는 事例를 適用해 보았다.

다국어 초록 (Multilingual Abstract)

This study suggests transfoming method and analytical method converting unstructured program into structured program applying structured theory. Using probability algebra the feasibility has been evaluated by expressing structured program algebra.
Example in this paper also shows calculating and evaluating the software reliability using program reliability standard value.

목차 (Table of Contents)

• Abstract
• 要約
• Ⅰ. 序論
• 1·1 硏究 目的
• 1·2 소프트웨어 信賴度
• Ⅱ. 構造化 프로그램과 代數 表現
• 2·1 構造化 프로그램
• 2·2 非構造化 프로그램의 構造化 프로그램 變換
• 2·3 프로그램의 代數 構造
• 2·4 構造化 프로그램 代數式의 妥當性 檢討
• Ⅲ. 構造化 프로그램의 信賴度 計算 및 評價
• 3·1 構造化 프로그램의 信賴度式
• 3·2 信賴度 標準値 設定
• 3·3 信賴度 計算 및 評價 順序
• Ⅳ. 소프트웨어 시스템의 信賴度
• 4·1 直列 Model
• 4·2 竝列 Model
• 4·3 直竝列 Model
• Ⅴ. 信賴度 計算 및 評價 事例
• Ⅵ. 結論
• 參考文獻