Towards a Test Framework for Reactive (Type 2) Asset Administration Shell Implementations

As Industrie 4.0 (I4.0) technologies continue to advance, ensuring the reliability and robustness of emerging standards like Asset Administration Shells (AAS) becomes paramount. This paper introduces a comprehensive testing approach for reactive (a.k.a. Type 2) AAS implementations, addressing the challenges posed by their intricate and dynamic nature. Our methodology adopts a design-by-contract approach to formalize API behavior. We design the client as a test oracle, where code contracts extensively validate the AAS operations, their interactions and effects. The related test cases cover various operation chains, including superpaths, service specifications, and serialization modifiers. The objective of this approach is to enhance the reliability and effectiveness of testing in the evolving landscape of AAS Type 2 implementations.