基于程序变异的C代码故障注入器的研究与实现.docx

该【基于程序变异的C代码故障注入器的研究与实现 】是由【wz_198613】上传分享，文档一共【2】页，该文档可以免费在线阅读，需要了解更多关于【基于程序变异的C代码故障注入器的研究与实现 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。基于程序变异的C代码故障注入器的研究与实现
随着计算机科学技术的不断发展，计算机软件的质量与安全性成为越来越重要的话题。软件故障的出现可能会导致系统崩溃，损失重要数据，甚至是导致严重的人身财产损失。因此，软件故障注入技术被广泛研究和应用。本文将要介绍的是一种基于程序变异的C代码故障注入器。
程序变异是在源代码的基础上进行修改，以引入故障或错误，进而产生新的程序。程序变异技术具有运行时无干扰、实现简单、效果明显、容易测试等特点。因此，它被广泛应用于软件可靠性、测试覆盖率、安全性、兼容性等方面的研究。
本研究提出一种基于程序变异技术的C代码故障注入器（CFI）。具体实现步骤如下：
首先，将待测源代码进行解析，生成抽象语法树（AST）。在AST中，每个节点对应源代码中的一个语法单元。然后，使用随机变异算法对AST进行变异。变异后的AST再转化为C代码，得到新的程序。新程序的形式和原程序一样，但与原程序的差别在于引入了故障或错误。
程序变异时，首先需要确定变异的操作类型。常见的变异类型包括插入、删除、修改和替换等。在这个过程中，需要对变异时的数据依据其类型和数据类型等基本属性进行特殊处理，以确保程序语法正确性。例如，不能对整数变量进行浮点数操作，或者不能对字符串数据进行加法操作。
在变异结束后，需要对新程序进行编译、执行和测试。对于新程序的测试将利用原程序的测试用例，比对其运行时结果是否与原程序相同。如果运行结果不同，则将之视为注入了故障或错误。重复若干次后，可以得到一个故障注入数据集。
最后，根据实际需求，可以对故障注入数据集进行分析和利用。例如，通过统计不同类型故障的出现频率，可以了解程序中可能存在的故障类型及其相关的测试缺陷；或者可以根据数据集挑选出特定类型的故障，进而集中地进行单元测试和系统测试。
总的来说，使用程序变异技术进行C代码故障注入，是一种非常有效的测试方法。因为它不仅可以引入故障或错误，同时还能够保证新程序的语法正确性，增强了程序的可靠性。同时，它也可以用于较大规模软件系统的测试中，提高测试效率。