In an existing pipe rehabilitating method according to an embodiment, a profile strip for lining an existing pipe is shaped using a thermoplastic resin, joint portions are provided at both end portions in a width direction of the profile strip, and the profile strip is inserted into the existing pipe and is helically wound in the existing pipe. A control parameter calculation circuit is provided to obtain control parameters for a drive apparatus control circuit for driving actuators in accordance with the conditions of actuator rotational velocity, the orientation of the movable body, and the position of the movable body, and a control parameter K for the drive apparatus control circuit is varied. Method for using the device is also disclosed. The second audio object includes second packs having audio data and a third pack having real-time information related to the audio data in the second packs. Using these models, a test generation program is executed against the set of rules to recursively expand each path associated with an outcome state of a rule and outputting a list of valid possible outcomes, then selecting sequences of stimuli in accordance with coverage goals set by the test engineer.