面向维护的实时软件时间变化敏感点检测
正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对系统不够熟悉时,维护阶段引入这些错误的可能性会更大.目前,还没有研究结果可以在软件修改发生之前,通过分析系统的时间关系信息来帮助指导软件维护人员减少或者避免引入时间相关的错误.在这样的背景下,文中提出了一种实际可用的分析途径来解决这一问题,称之为时间变化影响分析.这一解决途径在软件维护人员做出修改之前就可以分析软件内在的时间关系信息,从而帮助维护人员在软件的实际演化前预测可能带来的时间影响.在具体的操作上,可以通过告知软件维护人员程序代码中的某些位置点可能会对整个程序任务的执行时间产生很大的影响,来提醒他们修改这些位置点的代码时应当特别小心.由于这些点对程序任务的执行时间敏感,我们称之为时间变化敏感点.文中通过一种基于扰动的测试实现来检测程序中的时间变化敏感点,通过在程序中插桩不同的代码时延,达到对执行时间的扰动作用.对这些扰动作用下的程序执行时间数据进行统计,得到程序中各个位置点对时间影响的定量度量.对于实际使用的大规模程序,该方法通过集成静态程序分析技术提高吞吐量和减小漏报率.文中对分析途径做了原型实现,并在M(a)lardalen WCET基准用例集和开源项目Free Lossless Audio Codec (FLAC)上做了实例评估.评估结果展示了该方法的可行性和有效性.
软件维护、实时软件、时间变化影响分析、基于扰动的测试、时间变化敏感点
36
TP311(计算技术、计算机技术)
国家自然科学基金91118007;国家“八六三”高技术研究发展计划项目基金2012AA011205;计算机软件新技术国家重点实验室开放课题项目基金ZZKT2013B09资助.This work is supported by the National Natural Science Foundation of China91118007;the National High Technology Research and Development Program 863 Program of China2012AA011205;the Open Foundation of State Key Laboratory for Novel Software Technology in Nanjing UniversityZZKT2013B09
2014-02-25（万方平台首次上网日期，不代表论文的发表时间）
共13页
2455-2467
