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

点击翻译按钮获取中文摘要

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.