循環の解析による並行プログラムの検証手法

• 辻, 泰三

• 新井, 浩志

• 深澤, 良彰

• 門倉, 敏夫

書誌事項

タイトル別名

• A Verification Techniques by Circle Analysis for Concurrent Programs

抄録

近年、分散型計算機システムやマルチプロセッサ・システムなどの発達により、並行プログラムの重要性が増加している。しかし、並行プログラムの論理的エラーは、複数のプロセスの相互作用によって発生するエラーであるという点で、逐次的処理に起因するエラーとは異なっている。よって、従来の逐次型プログラムと比較してその開発は格段に困難である。並行プログラムに特有である、並行性や非決定性に起因する論理的エラーには、デッドロック、ライブロック、不完全な記述、実行不可能な遷移、バッファオーバーフローなどがある。本研究では、ライブロックとルーピングの解析を行なう。ルーピングは、有限回数の繰り返しの後には他の状態に遷移する可能性を持っているという点で、ライブロックと異なる。

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第40回 (ソフトウェア工学), 1023-1024, 1990-03-14

詳細情報

• CRID: 1050574047077600512
• NII論文ID: 110002884015
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00118844/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles