随着现代计算机系统的发展以及计算机软件在社会各领域中的广泛应用,软件的规模不断扩大,复杂度越来越高,不免会存在一些缺陷。随着社会生产生活的日益信息化,人们对软件功能的需求也在不断发生变化。为了满足人们不断变化的需求,发现系统的缺陷及提高软件系统的可靠性,相关人员需要对软件系统不断进行修改及升级。因此,理解软件运行行为就成了发现软件缺陷,了解软件性能以及对软件进行优化的关键。理解软件运行时的行为成了国内外众多专家学者研究的热点。系统调用是程序访问系统资源的接口,在充分考虑到软件运行与操作系统之间的交互的背景基础上,本文提出使用系统调用信息为踪迹对软件任务逻辑进行分析研究。首先,本文引入了获取软件运行时系统调用的方法——代码插装技术,通过对软件进行动态插装,根据分析需求标记需要监视的系统调用函数,在软件运行调用这些系统函数时,动态记录下函数的输入输出参数,最终获得软件运行时的系统调用信息。一方面,动态插装能够获取软件运行实时的系统调用信息,能够准确反映出软件的行为。另一方面,对于程序员来说,动态插装不需要阅读源代码等相关的预备知识。然后,本文提出了基于系统调用踪迹的软件任务逻辑关系分析方法。该方法主要以系统调用序列和系统调用参数为根据制定相关规则,并根据这些规则从截取的系统调用踪迹中提取出软件任务的原子操作及其逻辑关系。接着本文使用后缀数组算法在已提取的原子操作逻辑的基础上分析软件任务的层次结构。最后使用计算树逻辑在Kripke迁移系统上描述软件任务的表现形态及状态变迁情况。本文使用Auto Debug对FTP文件传输软件重复多次下载文件的任务过程中的系统调用进行记录,然后针对这些记录用本文提出的方法进行分析,提取出FTP软件该下载任务的原子操作和逻辑结构。通过实例验证,本文方法可以提取出软件任务各原子操作及其逻辑关系并推断出表达任务逻辑含义的层次结构,能表达出任务的状态变迁,对理解软件设计和提取软件模型起到关键作用。