基于软件功能层对软件异常行为溯源的方法

摘要

本发明是一种基于软件功能层对软件异常行为溯源的方法。首先，截取软件功能的系统调用序列，求出每个软件功能状态序列的标准操作序列；然后，以软件功能为做程序切片的兴趣点，并且建立每一个软件功能的程序切片准则；其次，建立软件正常运行时的软件功能转移图；最后，得到检测序列中每个软件功能的测试序列，并和标准操作序列相匹配，检测异常软件行为。该模型从系统调用的基础上抽取出更高层的软件状态模型，并根据软件的功能转移方式对软件建模，通过检测出功能状态序列的偏差判断软件功能是否为异常，对软件异常操作做程序切片，达到对软件溯源的目的。本发明从根源上找出了软件行为异常的原因，提高了对软件行为可信性的控制。