Physical Sciences and Mathematics Commons^™

Tlv: Abstraction Through Testing, Learning, And Validation, Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin

Research Collection School Of Computing and Information Systems

A (Java) class provides a service to its clients (i.e., programs which use the class). The service must satisfy certain specifications. Different specifications might be expected at different levels of abstraction depending on the client's objective. In order to effectively contrast the class against its specifications, whether manually or automatically, one essential step is to automatically construct an abstraction of the given class at a proper level of abstraction. The abstraction should be correct (i.e., over-approximating) and accurate (i.e., with few spurious traces). We present an automatic approach, which combines testing, learning, and validation, to constructing an abstraction. Our approach …