Skip to Main Content
Many software systems undergo dynamic adaptation in response to change in requirements or frequent changes in their usage context. Before adaptation, the system satisfies the behavior of the old program (i.e., program before adaptation), and after adaptation the system satisfies the behavior of the new program (i.e., program after adaptation). During adaptation, the behavior of the old program and the behavior of the new program may overlap. Existing algorithms to test distributed systems do not deal with adaptive systems. In this paper, we discuss testing of system during adaptation using predicate detection techniques.