实时软件时间变化影响分析研究

项目名称： 实时软件时间变化影响分析研究

项目编号： No.61402222

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 汤恩义

作者单位： 南京大学

项目金额： 26万元

中文摘要： 实时系统的时间正确性保障是工业控制领域的重要问题，以往的研究通常基于软件的设计与开发角度来考虑这一问题的。然而，随着计算机技术的发展，软件的规模越来越大，逻辑结构日益复杂，软件的修改与维护也变得越来越难以控制，因软件修改与维护而造成实时软件发生时间错误的状况时有发生。本课题拟结合软件维护领域针对软件功能的程序影响分析技术，从软件维护的角度来研究实时软件的实时性保障问题，并在软件工程相关技术方法(如程序分析、符号执行及软件测试等技术)的基础上，构建一种事前的针对时间的软件维护影响分析方法。该方法从检测实时软件中对软件修改较为敏感的位置点的角度，来帮助软件维护人员在维护和修改实时软件时减少与避免时间相关错误的引入，由于该方法在软件维护之前即可使用，因此具有实施成本低，实施过程全自动化等优点。本课题的研究成功，将建立有效的实时软件时间维护保障机制，为实时可信软件的构建提供有力的技术支持。

中文关键词： 实时软件；软件维护；静态程序分析；符号执行；软件测试

英文摘要： For real-time systems, correct time behavior is a key aspect. Existing researches focus on the design and implementation issues in such software. However, since the development of software scales cause the software maintenance to be complicated, real-time

英文关键词： Real-time Software；Software Maintenance；Static Program Analysis；Symbolic Execution；Software Testing