In this article, we present our test framework for assuring pervasive software applications that overcomes the identified challenges faced by conventional testing techniques. The framework will serve as a basis for automating the test process, as well as to assist testers in generating adequacy test sets or finding test oracles.