Model Based Testing and Validation of IoT Systems

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

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.