プログラム構造と信頼性に関する分析
スポンサーリンク
概要
- 論文の詳細を見る
プログラム構造の研究に関しては, これまでプログラムの信頼性に影響をおよぼすいくつかの複雑さの要因が指摘されているが, 制御構造やデータ参照特性に着目したものが多く, これら以外のプログラム構造特性に着目した複雑さの要因についてはほとんど明らかにされていない. また, それらの複雑さの要因と信頼性との関係を定量的に分析した研究は少ない上に, その分析手法はプログラムの規模による影響を考慮していない等の点で実用上必ずしも十分ではない. 本論文では, データ構造, データ参照, 処理, 制御構造及びインタラクションの5つのプログラム構造特性を総合的に捉える観点から複雑さの要因とプログラムの信頼性(単位規模当りのバグ数)との関係を定量的に分析するための分析法を提案し, 大規模OSの開発過程で得られたデータを用いて両者の関係を分析する. その結果, 従来, 論文等で提案されている複雑さの要因のすべてがOSのバグ数と必ずしも相関がないこと, さらにこれまで発表されていないUNSPEC組込関数やPROCEDUREのオプション等のいくつかの要因がむしろOSのバグ数との相関が強いことを明らかにする.
- 一般社団法人情報処理学会の論文
- 1982-01-15
著者
-
花田 収悦
NTT
-
花田 収悦
日本電信電話公社横須賀電気通信研究所処理プログラム研究室
-
花田 収悦
日本電信電話公社横須賀電気通信研究所
-
高橋 宗雄
日本電信電話公社横須賀電気通信研究所ソフトウェア技術研究室
-
永瀬 淳夫
日本電信電話公社横須賀電気通信研究所処理プログラム研究室
-
黒田 幸明
日本電信電話公社横須賀電気通信研究所処理プログラム研究室
-
高橋 宗雄
電電公社横須賀電通研
-
永瀬 淳夫
電電公社横須賀電通研
関連論文
- パネル討論会 : CASE環境の夢物語 : 革新的将来像 : 「CASE環境」シンポジウム
- コンパクト・チャートを用いたプログラム設計法
- 拡張型言語システムPROTO-Eの設計と評価
- 開発管理技術 (<特集>ソフトウェア工学の現状と動向)
- 6.7 ソフトウェア工学研究会 (分散処理技術)
- ソフトウエア工学
- パネル討論会 : ソフトウェアメトリクスの現状と課題 : 昭和58年前期第26回全国大会報告
- 72-22 動的な時間割当のある優先待行列について
- 72-21 TSS の数学モデルについての考察
- 72-8 磁気ドラムの待行列モデル
- 71-44 メモリの動的割付における最適方法についての考察
- 71-43 数学モデルを用いたハード,ファーム,ソフト相互間のトレード・オフの評価
- 71-37 マルチプログラミング・コンピュータのコスト算出式について
- 71-36 テスト・ケースの自動発生プログラム
- 71-12 システム・シミュレーションへの入門
- 70-69 マルチプロセッサ・システムにおける実時間タスクの割込みのあるスケジューリング方法
- 70-68 ページング方式におけるプログラムの動作解析の一方法
- 70-67 セグメント・サイズの測定
- 70-54 コンピューティングシステムにおける単一サーバの待合せの扱いについて
- 70-55 プロセッサの時分割わりあての一方法
- 70-53 Multiple Computer Systemにおける最適のファイル・アロケーション
- 70-52 Modular Computer Sharing(MCS)システムの一構成法
- ソフトウェア生産性の評価と管理 (ソフトウェア製品生産管理)
- プログラム構造の複雑さ尺度の評価と導出法の提案
- プログラム構造と信頼性に関する分析
- ソフトウェア品質の作り込みへのアプローチ
- 応用コンピュータ概論, C.H.デーヴィドソン, E.C.ケニーグ共著/末包良太訳 (紀伊国屋書店, 1971年5月, 640ページ, 2800円)
- 6. PL/I (プログラミング言語の最近の動向)
- PL/Iの国際規格と標準化動向
- システム製造用言語SYSLのプログラミング技法
- システム製造用言語SYSL-2の設計
- 70-43 Drum-Like Storage のパーフォマンスの最適化
- 70-42 Real-Time Computer Control Systemの待合わせモデルの解析と最適化
- 70-41 Foreground-Background ComputerにおけるレスポンスタイムとPreemptionコスト間のTradeoffについて
- 70-39 オンラインシステム設計のモデル化とその実験的評価
- 70-15 POD システム(Page-on-Demand Systems)におけるマルチプログラミングの多重度について
- 70-14 ページ方式システムにおけるドラム入出力待行列スケジューリングの解析
- 70-6 スーパバイザとモニタシステムの推移