Papers - KATAYAMA Tetsuro

動的に生成されたプロセス間で通信・同期を行なう並行処理プログラムのテスト法について

共著者：片山徹郎, 古川善吾, 牛島和夫

ソフトウェア・シンポジウム '95 論文集, 172-180頁   1995.6

Event interactions graph for test-case generations of concurrent programs Reviewed

Katayama T., Furukawa Z., Ushijima K.

Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995   29 - 37   1995

　More details

Language：English   Publishing type：Research paper (scientific journal)   Publisher：Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995  

© 1995 IEEE. Test cases play an important role for high-quality software testing. Inadequate test-cases may cause bugs to remain after testing. Overlapped test cases may increase costs. This paper proposes an event interactions graph (EIAG), representing the behavior of concurrent programs and the cooperated paths (copaths) on the EIAG as test cases. The EIAG consists of event graphs and interactions. An event graph is a control flow graph of a program unit in a concurrent program. The interactions are synchronizations, communications and waits between the program units. Copaths can be generated automatically by the algorithms which are presented in this paper. The generated copaths can detect dead (unreachable) statements and can find some communication errors in testing. However, it is necessary to validate the feasibility of the generated copaths.

DOI： 10.1109/APSEC.1995.496951

Scopus

並行処理プログラムにおけるテストケースの定義と生成ツールの試作

共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫

情報処理学会論文誌, 34巻, 11号, 2223-2232頁   1993.11

Event-Constraint Model of a Concurrent Program for Test-Case Generation

共著者：T. Katayama, Z. Furukawa, andK. Ushijima

Proc. 1992 Joint Conf. of Softw. Eng. (JCSE'92), 285-292   1992.3