一个博弈论的方法来测试编译器是否存在实现未声明特性的机制

DOI:

评审日期

出版日期

注解: 该研究的主题是软件认证程序对信息安全要求的数学支持，同时考虑到时间限制，监管和设计要求。 与此同时，一个基本的强制性要求是所研究软件的源代码的可用性，这对开发人员来说非常关键，因为形成了潜在的知识产权泄漏渠道。 为了消除这一缺点，已经开发了一种方法来测试编译器，因为在软件编译阶段没有实现未声明功能的机制。 研究方法结合了软件工程、能力理论、面向对象编程、系统分析和可靠性理论的方法。 所进行的研究的主要结论是，使用博弈论的数学装置形成了一组最优的测试，编译并分析了在编译器输出处获得的控制流和数据的图表，并根据测试的源文本构建，可以得出结论，正在研究的编译器中存在或不存在将未声明的能力引入已编译软件的机制。

出版日期: