[发明专利]一种新型操作系统资源问题检测方法

摘要

本发明公开了一种新型操作系统资源问题检测方法，属于软件测试技术领域。本发明第一步是文件读取。第二步是语句预处理。第三步是语句处理。第四步是路径生成。第五步是检测并报告检测结果：通过遍历路径链表中的路径，监视个路径中资源的数量变化情况。根据资源问题错误模型检测可能存在的资源问题。记录检测出的资源问题的种类、发生位置以信息，并生成检测结果报告。记录从入口到发生资源问题的代码处的执行路径与控制条件，生成辅助测试用例。本步骤通过遍历资源路径，记录路径中各资源数量的变化情况，来判断函数中是否存在资源问题。

主权项

一种新型操作系统资源问题检测方法，其特征在于：包括如下几步，第一步是文件读取：负责读取指定的源代码文件，找出文件中的各个函数，并将函数所在文件名称、函数名称、函数代码信息实例化到函数信息类变量中，存入函数链表；本步骤用于源代码分解，将源代码文件中的有效代码分解成一个个函数，并记录函数的基本信息，供后续处理使用；第二步是语句预处理：进行语句标准化处理，确保每行只包含一条语句；为结尾无“return”关键字的函数加上return语句，以便后期检测中找到该出口；将break语句转换成goto语句，并删除向上返回的goto语句及其标签语句，以防止资源路径图中出现“环”；对函数语句进行类型标示，并删除无关语句；记录语句的原始行号、语句类型、语句内容以及资源处理信息，并保存到待处理语句链表中；本步骤用于完成语句精简，根据检测需要，将各个函数中的无关语句删除，从而减少检测工作量，增加检测效率；第三步是语句处理：根据语句类型对待处理语句链表中的语句进行处理，生成相应语句节点和路径元，分别存入语句节点链表和路径元链表；本步骤用于得到函数中与资源操作相关的语句信息和路径信息；第四步是路径生成：根据路径元链表中的路径元，生成从入口节点到所有出口节点的全部路径，并将路径存储在路径链表中；一个用路径元链表表示的资源路径图可以转换为一个有重复节点的路径树；路径树从根节点到各叶子节点的路径就构成了资源路径图的全部资源路径；本步骤用于得到函数中全部资源路径；第五步是检测并报告检测结果：通过遍历路径链表中的路径，监视个路径中资源的数量变化情况；根据资源问题错误模型检测可能存在的资源问题；记录检测出的资源问题的种类、发生位置以信息，并生成检测结果报告；记录从入口到发生资源问题的代码处的执行路径与控制条件，生成辅助测试用例；本步骤通过遍历资源路径，记录路径中各资源数量的变化情况，来判断函数中是否存在资源问题。