並行処理プログラムにおける共有変数のデータフローテスト基準

• 古川, 善吾

• 有村, 耕治

• 牛島, 和夫

書誌事項

タイトル別名

• The Testing Criterion on Dataflows with Common Variables for Concurrent Programs
• ソフトウェア工学

抄録

並行処理プログラムのテスト基準として 共有変数のデータフローに基づくテスト基準(広域データフローテスト基準)を提案する.広域データフローテスト基準は 共有変数についてのデータフロー(代入と参照の対)がテストの実施において少なくとも1回実現されることを要求する.このテスト基準を満たすことによって 共有変数を用いたプロセスの間の通信における不良を発見する可能性が高い.しかしながら デッドロックやライプロックというプロセスの間の同期における不良を発見する可能性は低い.

収録刊行物

• 情報処理学会論文誌

  情報処理学会論文誌 33 (11), 1394-1401, 1992-11-15

  一般社団法人情報処理学会

キーワード

• 論文

詳細情報

• CRID: 1050001337887895424
• NII論文ID: 110002723421
• NII書誌ID: AN00116647
• ISSN: 18827764
• Web Site: http://id.nii.ac.jp/1001/00014615/
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles