Model Based Testing and Validation of IoT Systems

物联网（IoT）是关于连接一切，包括日常生活对象，以实现更紧密连接和更美好的世界。它正在触及数十亿个连接对象，以实现从智能家居、智能城市到连接汽车、健康和能源的应用。这些物联网系统庞大而复杂，因为它们的架构包括用于传感的设备和用于行动的设备，雾（包括边缘）和云计算，用于高效计算，决策和分析。此外，物联网应用程序，例如健康和能源等多个领域，可能会受到严格的实时性，安全性和可用性要求的影响。 物联网正在从不同的角度进行研究，但到目前为止，在物联网系统的质量保证方面做了一些工作。拟议研究计划的目标是调查物联网应用程序的实时测试和验证，同时考虑到物联网系统固有的分布式架构和动态性。实时测试是在其生产环境中测试应用程序，而不会对其使用造成不可容忍的中断，即在系统继续运行和提供服务的同时执行测试。开发和生产环境通常是不同的，必须在真实的条件下，在真实的生产环境中验证应用程序。随着其他物联网应用程序/系统的部署，这种生产环境会随着时间的推移而变化和发展。有了这个建议，我们的目标是设计和建立一个框架，用于在现实环境中对物联网应用进行实时测试和验证。该框架将根据请求、系统中的部分故障或性能下降对物联网应用程序进行自动在线测试。该框架将包括一个体系结构，其中不同组件的角色将在建模框架、测试隔离技术、测试方法、测试选择和生成以及测试优化方法的帮助下严格定义。 拟议的研究计划旨在为物联网应用程序/系统的质量保证做出贡献，并为模型驱动的软件工程学科提供用于复杂软件系统测试和验证的新技术和架构。它将有助于提高当今普遍存在的物联网应用/系统的质量，以改善生活。拟议的研究计划将培养六名研究生，他们将加入加拿大的劳动力队伍，并在信息和计算技术的关键领域为加拿大经济做出贡献。

Internet of Things (IoT) is about connecting everything, including daily life objects, for a more connected and better world. It is reaching billions of connected objects to enable applications ranging from smart homes, smart cities to connected cars, health, and energy. These IoT systems are large and complex as their architectures include devices for sensing and devices for acting, fog (including edge) and cloud computing for efficient computing, decision making and analytics. Moreover, IoT applications, in several domains like health and energy for instance, may be subject to stringent real-time, safety and availability requirements. IoT is being investigated from different perspectives, but a little has been done so far for quality assurance of IoT systems. The goal of the proposed research program is to investigate live testing and validation of IoT applications taking into account the inherent distributed architecture and dynamicity of IoT systems. Live testing is about testing an application in its production environment without causing an intolerable disruption to its usage, i.e. testing is performed while the system continues to function and provide services. The development and production environments are usually different and one has to validate the application in the real production environment, under real conditions. This production environment changes and evolves over time with the deployment of other IoT applications/systems. With this proposal, we aim at devising and establishing a framework for live testing of IoT applications and its validation in a realistic environment. The framework will enable the automated online testing of IoT applications upon request, partial failure or performance degradation in the system. The framework will consist of an architecture, where the roles of the different components will be defined rigorously with the help of a modeling framework, techniques for test isolation, test methods, test selection and generation, and test optimization methods. The proposed research program aims at contributing to the quality assurance for IoT applications/systems and to the model driven software engineering discipline with novel techniques and architecture(s) for complex software systems testing and validation. It will contribute to improving the quality of nowadays pervasive IoT applications/systems for a better life. The proposed research program will train six graduate students who will join the Canadian work force and contribute to the Canadian economy in the critical domain of Information and Computing Technologies.