Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change

Conformance testing is a formal approach for checking the validity of an implemented system against its specification. This paper adopts it to comprehensively check the conformance of smart house temperature with its requirements. However, besides its limited capability to detect thermal problems, e.g., temperature fluctuation, it is inefficient when dealing with thermal problems in different time intervals of a test duration. To overcome these problems, this paper proposes a multiple-conformance approach. We adopt hybrid automata to model the required indoor temperature change as the specification, which enabled the check in different time intervals of the test duration. More conformance rules are prescribed in the multiple-conformance approach to enhance its capability to detect thermal problems. We demonstrate its practical usefulness through an experiment, the results of which demonstrate the effectiveness of the proposed approach in detecting thermal problems.