順序列テスト基準を用いたテスト充分性評価システムの試作

• Item type: SIG Technical Reports(1)
• 公開日: 1994-01-20
• タイトル: 順序列テスト基準を用いたテスト充分性評価システムの試作
• タイトル / 言語: en
• タイトル: On constructing testing reliability evaluation system with ordered sequence testing criteria
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州大学工学部情報工学科
• 著者所属: 九州大学工学部情報工学科
• 著者所属: 九州大学情報処理教育センター
• 著者所属: 九州大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering,
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering,
• 著者所属(英): en
• 著者所属(英): Educational Center for Information Processing, Kyushu University.Department of Computer Science and Communication Engineering
• 著者名: 川口, 豊; 伊東, 栄典; 古川, 善吾; 牛島, 和夫
• 著者名(英): Yutaka, Kawaguchi; Eisuke, Itou; Zengo, Furukawa; Kazuo, Ushijima
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 並行処理プログラムが普及するに伴い、信頼性向上手法としてのテストが重要となってきている。並行処理プログラムは逐次処理プログラムに対して動作が複雑であるので、新しいテスト法が必要である。現在一般的に使用されているプログラミング言語としてC言語がある。C言語で並行処理を実現するには、オペレーティングシステムで準備されたシステムコールを利用する。そこで、我々はC並行処理プログラムのテスト基準として、オペレーティングシステムで準備されている通信、同期方法に対して順序対や順序列に着目したテスト基準を提案してきた。また、我々はそのテスト基準に基づくテスト充分性評価システムを試作している。本稿では、我々が試作したテスト充分性評価システムについて考察する。このシステムの入力はCのソースコードであり、出力はテスト充分性評価の指標である被覆率である。このシステムでは、順序列の実行を検出するためにモニタプロセスを使用する。このシステムでは、テストすべき事象として実行不可能な事象を取り込むことがある。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Testing concurrent programs is important to increase reliability of the program. Because the behavior of concurrent programs is more complex that of sequential programs, new testing criteria are necessary for concurrent programs. Recently, many programs are written in C language. We use system calls of an operating system to do concurrent processing in C language. We have proposed the criteria based on ordered pairs or ordered sequences of communication commands prepared in the operating system as testing criteria for C concurrent programs. And we have implemented a prototype of testing reliability evaluation system with the criteria. In this paper, we describe the system. The input of this system is C source code, and the output of this system is the testing coverage. This system detects the execution of ordered pairs using "monitor process". This system may hold an unexecutable ordered pair as an object which should be tested.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1994, 号 6(1993-SE-096), p. 107-114, 発行日 1994-01-20
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会