|
图书馆
|
你的个人资料 |
|
控制论与编程
正确的文章链接:
Mironov S.V.
一个博弈论的方法来测试编译器是否存在实现未声明特性的机制
// 控制论与编程.
2017. № 1.
С. 119-127.
DOI: 10.7256/2306-4196.2017.1.20351 URL: https://cn.nbpublish.com/library_read_article.php?id=20351
一个博弈论的方法来测试编译器是否存在实现未声明特性的机制
DOI: 10.7256/2306-4196.2017.1.20351评审日期 10-09-2016出版日期 22-03-2017注解: 该研究的主题是软件认证程序对信息安全要求的数学支持，同时考虑到时间限制，监管和设计要求。 与此同时，一个基本的强制性要求是所研究软件的源代码的可用性，这对开发人员来说非常关键，因为形成了潜在的知识产权泄漏渠道。 为了消除这一缺点，已经开发了一种方法来测试编译器，因为在软件编译阶段没有实现未声明功能的机制。 研究方法结合了软件工程、能力理论、面向对象编程、系统分析和可靠性理论的方法。 所进行的研究的主要结论是，使用博弈论的数学装置形成了一组最优的测试，编译并分析了在编译器输出处获得的控制流和数据的图表，并根据测试的源文本构建，可以得出结论，正在研究的编译器中存在或不存在将未声明的能力引入已编译软件的机制。 出版日期: 软件, 软件认证, 测试编译器, 实施未申报的机会, 软件编译, 软件工程, 资讯保安, 软件安全, 程序分析, 程序的认证测试 |
© 1998 – 2024 Nota Bene. Publishing Technologies. NB-Media Ltd.
Cn
