| Combination Reduction： A SYN-Sequence Selection Strategy for Reachability Testing of Concurrent Programs |
| |
| 作者姓名： | LU Chao LU Yansheng |
| |
| 作者单位： | College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, Hubei, China |
| |
| 基金项目： | Supported by the ＂Tenth-Five Years＂ National Science Pre-Research Foundation of China （41315.9.2） and the Natural Science Foundation of Hubei Province （2005ABA266） |
| |
| 摘 要： | Reachability testing is an approach to testing concurrent programs, which can systematically exercise every partially ordered SYN-sequence without constructing the static model. In fact, not all the SYN-sequences need to be tested. This paper proposed a SYN-sequence selection strategy for reachability testing, which can reduce the number of SYN-sequences generated without decreasing the effectiveness of detecting programs＇ errors. We described a simple algorithm to implement the strategy, and then discussed several optimizations to the algorithm. Experiments have been carried out in a case study to verify the efficacy of the strategy.
|
| 关 键 词： | 软件测试 能达性测试 并发性 序列 |
| 文章编号： | 1007-1202（2007）06-1024-05 |
| 收稿时间： | 26 March 2007 |
| 修稿时间： | 2007-03-26 |
Combination reduction: A SYN-sequence selection strategy for reachability testing of concurrent programs |
| |
| LU Chao LU Yansheng.Combination reduction: A SYN-sequence selection strategy for reachability testing of concurrent programs[J].Wuhan University Journal of Natural Sciences,2007,12(6):1024-1028. |
| |
| Authors: | Lu Chao Lu Yansheng |
| |
| Institution: | (1) College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, 430074, Hubei, China |
| |
| Abstract: | Reachability testing is an approach to testing concurrent programs, which can systematically exercise every partially ordered
SYN-sequence without constructing the static model. In fact, not all the SYN-sequences need to be tested. This paper proposed
a SYN-sequence selection strategy for reachability testing, which can reduce the number of SYN-sequences generated without
decreasing the effectiveness of detecting programs’ errors. We described a simple algorithm to implement the strategy, and
then discussed several optimizations to the algorithm. Experiments have been carried out in a case study to verify the efficacy
of the strategy.
Biography: LU Chao(1979–), male, Ph.D. candidate, research direction: software testing theory and application. |
| |
| Keywords: | software testing reachability testing concurrency SYN-sequence |
| 本文献已被 维普 SpringerLink 等数据库收录！ |
