Model-based testing and analysis of distributed, embedded and real-time systems

分布式、嵌入式和实时系统（DERTS）在我们的日常生活中越来越重要。例子包括指挥和控制系统、飞机航空系统、机器人和核电站系统。然而，这种系统的开发和测试是困难的，并且比没有实时约束或具有非嵌入式性质的系统花费更多的时间。软件测试是在实际应用程序中确保软件质量的最流行和最实用的方法。然而，尽管它具有可行性，软件测试方面的不足每年仅在美国就造成220 - 600亿美元的经济损失。我们需要更加系统和有效的方法，而不是以一种特别的方式测试软件。基于模型的软件测试一般是指基于目标软件的结构和行为模型的测试用例生成和结果评估。它提供了一种更严格、更科学的方法来解决这个问题。系统行为由模型预测，并通过生成的测试用例进行测试和验证。本文的重点是软件系统的测试、分析和质量保证，重点是DERTS。我们的目标是设计软件测试和分析技术，以帮助工程师构建高质量的DERTS。在这个建议中，我们的目标是研究基于UML（统一建模语言）模型的软件测试、分析和质量保证技术。我的目标是通过提供更具成本效益的技术来构建高质量的DERTS来继续我以前在该领域的研究工作。

Distributed, Embedded and Real-Time Systems (DERTS) are becoming more important to our everyday life. Examples include command and control systems, aircraft aviation systems, robotics, and nuclear power plant systems. However, the development and testing of such systems is difficult and takes more time than for systems without real-time constraints or with a non-embedded nature.Software testing is the most popular and practical means of ensuring software quality in real-life applications. In spite of its viability, however, inadequacies in software testing account for an economic loss of 22-60 billion dollars per year in the United States alone. Instead of testing software in an ad-hoc fashion, more systematic and effective approaches are required.Model-based software testing generally refers to test case generation and result evaluation based on structural and behavioral models of the target software. It provides a more rigorous and scientific way to tackle the issue. System behaviors are predicted by the models and tested and verified via the test cases generated.This proposal focuses on testing, analysis and quality assurance of software systems with an emphasis on DERTS's. Our goal is to devise software testing and analysis techniques to help engineers build high quality DERTS's. In this proposal, we aim to investigate software testing, analysis and quality assurance techniques which are based on the UML (Unified Modeling Language) models of a system under analysis. I aim at continuing my previous research works in the area by providing more cost-effective techniques to build high quality DERTS's.