Testing software’s changing features with environment-driven abstraction identification