https://scholars.lib.ntu.edu.tw/handle/123456789/116848
標題: | Branch Testing of Concurrent Programs Using Petri Net Models | 作者: | Ho, Hong-Fa 陳健輝 郭德盛 Chen, Gen-Huey Kuo, Te-Son |
公開日期: | 六月-1990 | 卷: | v.5 n.2 | 起(迄)頁: | 116-125 | 來源出版物: | Computer Systems Science and Engineering | 摘要: | Most methods for testing sequential programs are useless in testing concurrent programs, owing to the existence of multiple execution flows in concurrent programs. In the paper, a systematic branch testing method for concurrent programs is proposed. Paths generated by the proposed method can be sensitized to obtain the necessary test data. In particular, the proposed method possesses generality, and is capable of detecting all dead codes and deadlocks due to incorrect program design. For evaluating different tests, two new coverage measures used for estimating the quality of testing concurrent programs are proposed. It is shown here that to find optimal paths for branch testing of concurrent programs is NP-hard. The path selection problem with budget limitation is also discussed. Experimental results provide support for the proposed method. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0025418683&partnerID=40&md5=e23f787a93c001842a2b7f01f86d4a77 | SDG/關鍵字: | Mathematical Techniques - Petri Nets; Concurrent Programs; Petri Net Models; Computer Software |
顯示於: | 資訊工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。