SYN-sequence selection strategy for testing concurrent programs based on little strong happened-before |
| |
| Authors: | Fangli Pu Yansheng Lu |
| |
| Affiliation: | (1) College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, 430074, Hubei, China |
| |
| Abstract: | This paper defines a new relation—little strong happened-before(LSHB) and presents the algorithm for LSHB. Compared with strong happened-before (SHB) and weak happened-before (WHB), LSHB supports keeping-read-result and ensures definite sufficiency of testing. Equivalence partitioning the set of SYN-sequences based on LSHB can efficiently reduce the number of testing SYN-sequences. The case studies prove that LSHB has high practicability. Biography: PU Fangli(1970–), female, Ph. D. candidate, research direction: software testing theory and application. |
| |
| Keywords: | happened-before SYN-sequence concurrent program software testing |
| 本文献已被 SpringerLink 等数据库收录！ |
|
