Approach for reduced test suite generation based on predicate abstraction
Aim to the problem of status space explosion due to the growing number of status transition of large scale software system,a reduced test suite generation approach based on predicate abstraction was proposed,which divided the status space of the software model according to the gi predicates to get t...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2012-03-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/1000-436X(2012)03-0035-09/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Aim to the problem of status space explosion due to the growing number of status transition of large scale software system,a reduced test suite generation approach based on predicate abstraction was proposed,which divided the status space of the software model according to the gi predicates to get the equivalence classes.The reduced abstract status was settled using the mapping between the status sets,and generated the reduced test suite based on the transition of the status.The results of experiments indicate tha this approach can reduce the status of the model efficiently,and generate smaller size of test suite. |
|---|---|
| ISSN: | 1000-436X |