集成控制系统在我们周围的世界中变得越来越重要。由于代码的健壮性、安全性、效率以及资源的有限使用，这些系统的开发与传统系统的开发不同。由于这些系统集成到工厂中，其故障可能对用户和周围环境造成极大危险，因此设计和开发必须基于系统和有条理的方法，以尽量减少任何可能的错误。因此，此类系统的开发是谨慎和保守的。这比开发传统应用程序的成本要高得多。此外，由于在调试后纠正错误即使不是不可能，也是很困难的，因此寻找一种测试此类系统正确运行的方法变得至关重要。