Abstract
Due to the large number of status transition of large scale software system, an efficient test case generation method based on predicate abstraction is proposed aiming to the problem of status space explosion. The reduced abstract status is solved via mapping the status sets between the real status and abstract status, and then generated the reduced test case based on the transition of the status. The experimental results show that this method can reduce the status of the real model in a high efficient, and generate a smaller set of test case.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
