Testing pervasive software in the presence of context inconsistency resolution services