U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies

Uncertainty is intrinsic in Cyber-Physical Systems (CPS) owning to novel interactions among software, embedded systems, networking equipment, cloud infrastructures, and agents (e.g., humans). Such systems have become predominantly visible in critical industrial domains (e.g., healthcare and transportation) and oblige the implementation of proper mechanisms to deal with uncertainty during their real operation. One way to ensure the correct implementation of such mechanisms is with automated testing. The U-Test project aims at ensuring that CPS are tested adequately under uncertainty using systematic and automated techniques such as model and search-based testing to facilitate their reliable operation.

U-Test keeps a full catalog of the project's publications, including publications from other academic institutions than Simula.

Final goal

To improve the dependability of Cyber-Physical Systems (CPS) via cost-effective model-based and search-based testing of CPS under uncertainty, by defining an Uncertainty Taxonomy and holistic modeling and testing frameworks with considerable reliance on standards.

Funding source

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement no. 645463. (ICT-01-2014 - Smart Cyber-Physical Systems

All partners

Technical project leader

Shaukat Ali (PI)

Standardization leader

Tao Yue (Co-PI)

Media presence

U-Test project website

Twitter account @u-test


Software Engineering



Contact person(s)