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

分布式、嵌入式和实时系统（DERTS）在我们的日常生活中变得越来越重要。例子包括指挥和控制系统，飞机航空系统，机器人和核电站系统。然而，这类系统的开发和测试是困难的，需要更多的时间比系统没有实时约束或非嵌入式nature.Software测试是最流行的和实际的手段，以确保软件质量在现实生活中的应用。然而，尽管软件测试是可行的，但软件测试的不足仅在美国每年就造成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.