Software Testing Approach for Digital Twin Verification and Validation

The increasing use of Digital Twin (DT) solutions in different domains demands for development of Verification and Validation (V&V) frameworks to guarantee the effectiveness of the implemented DTs. However, a considerable research gap has been identified in this field. Current state of the research is mainly concentrated on V&V of models in DTs and excluded important aspects such as data interoperability and functionality of DT services. To extend the scope of V&V, it is crucial to include these aspects. This paper presents a novel framework for V&V of DTs that considers all the mentioned aspects. This framework combines formal methods with software testing methods for V&V. It utilizes formal methods in a top-down manner and it will then use the software testing methods in a bottom-up manner.