A Survey of Compiler Testing

最新推荐文章于 2024-04-26 20:05:58 发布
VIP文章 最新推荐文章于 2024-04-26 20:05:58 发布
阅读量143 收藏
点赞数
分类专栏： 读文章 文章标签： 安全 编译器 Survey
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/wk19951125/article/details/121475648
版权

A Survey of Compiler Testing

Overview

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

一些特点：

  • 11年出现了Csmith以及CReduce等易用有效的工具，11年到18年中50%的工作基于这些软件

测试程序生成

Overview

在这里插入图片描述
在这里插入图片描述

挑战

  • 测试程序的有效性
  • 测试程序的多样性
  • 测试方法施加的具体要求

测试样例生成

以语法为导向的方法

Context-free grammar
  • A sentence generator for testing parsers —— 1972
    目标：测试解析器
    输入：上下无关语法
    期望：尽可能多得覆盖解析器的状态和过度
    缺陷：难以表达语言的上下文敏感特征
    改进：在此基础上，研究者添加上下文敏感属性，形成two-level grammars：W-grammars, attribute grammars, affix grammars.
Affix grammar

提出的原因：通过参数扩充上下无关语法

  • Automatic generation of test cases —— 1970
    形式： < l a b e l    d e c l a r a t i o n > → < d e c l a
最低0.47元/天 解锁文章
你的名字5686
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
编译器优化故障的测试与定位
pl_lab_001的博客
11-22 1026
今天想分享的主题是编译器故障的检测和定位。本次技术分享来自SIG-编程语言测试技术沙龙，本文内容为提取讲演视频后的文章，视频也已经发布在 B 站，欢迎大家点开学习。
[论文笔记]A Survey of Compiler Testing
Rac1ne的博客
12-21 988
A Survey of Compiler Testing Chen, Junjie, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao和Lu Zhang. 《A Survey of Compiler Testing》. ACM Computing Surveys 1, 期 1 (不详): 35. INTRODUCTION 编译器错误可能导致从正确的源代码生成不正确的二进制代码。编译器中的单个错误可以传播到基于它的任何应用程序
《蜕变测试技术综述》笔记
专心致志写BUG的博客
07-21 458
《蜕变测试技术综述》笔记 oracle问题，即测试人员很难构造程序的预测输出，以确定执行结果与期望结果是否相同。 测试用例集可靠性问题，是指对于某个程序，很难构造一个可靠的测试用例集，使得程序的正确性可以由其中所有测试用例的正确执行来保证。 为了解决oracle问题,澳大利亚斯威本科大学的 Chen等人提出了蜕变测试的概念囚。该方法认为测试 过程中没有发现错误的测试用例（成功的用例）也同 样蕴涵着有用的信息，它们可以用来构造新的用例以 对程序进行更加深入的检测,蜕变测试技术通过检查 这些成功用例及由它们构
2014a Test checkout of featur compiler failed
12-26
2014a Test checkout of featur compiler failed，如果报错Test checkout of feature 'Compiler' failed ，是因为你的matlab2014a破解不完全。下载文件替换相应的文件即可（install.jar ，compiler.dll，mcc.exe，...
The Deep Learning Compiler A Comprehensive Survey.pdf
08-30
最近北航的学者撰写了第一篇关于当下深度学习编译器的综述论文《The Deep Learning Compiler: A Comprehensive Survey》36页pdf1，从各个方面对现有的DL编译器进行了全面的比较。此外，还详细分析了多级红外设计和...
Elements of Compiler Design
09-01
This book is intended as a text for a one-term introductory course in compiler writing at a senior undergraduate level. It maintains a balance between a theoretical and practical approach to this ...
编译器：Hoa \ Compiler库
02-01
Hoa \ Compiler 该库允许操作LL（1）和LL（k）编译器。 最后一种语言提供了专用的语法描述语言：PP语言。 。 安装 使用 ，要将此库包含在依赖项中，您需要使用 ： $ composer require hoa/compiler ' ~3.0 ' ...
Engineering a Compiler
12-20
Engineering a Compiler
安装SSL证书之后还会有不安全提示怎么办？
JoySSL230907的博客
04-20 813
在这里，你可以申请到免费单域名证书、免费多域名证书以及免费通配符证书。在这里，你可以申请到免费单域名证书、免费多域名证书以及免费通配符证书。- 证书链完整性：确保您不仅安装了主证书，还包含了所有必要的中间证书。缺少中间证书可能导致浏览器认为证书不可信。- 清除浏览器缓存：浏览器可能缓存了旧的或错误的证书信息，清除缓存有助于加载新安装的证书。永久免费SSL证书_永久免费https证书_永久免费ssl证书申请-JoySSL。永久免费SSL证书_永久免费https证书_永久免费ssl证书申请-JoySSL。
跨境电商测评攻略：如何安全有效地提升业绩？
zcwz888的博客
04-23 320
但自养号需要解决技术层面的问题，如果是买设备或者软件这种，可能上一秒还能用，下一秒就因为平台风控的原因批量封号，因为平台会通过ip 获取到设备的型号，地区码，监管码，主板码，WIFI地址，甚至是颜色，指纹码，IP地址等等大概几十个参数，参数关联后，触发平台机审，导致的砍单，封号。这时候要好好规划一下测评的事情，做美客多到最后你会发现，测评是最有效果的，因为测评的本质就是玩弄流量，模仿用户的真实行为让流量变得更多，从而得到跨境电商平台规则的加成，竞争激烈的产品不测评和别人竞争。
网络安全实训Day16
最新发布
Yisitelz的博客
04-26 243
网络空间安全第16天学习笔记。漏洞扫描；内网渗透
无需公网IP，安全稳定实现U8C异地访问
asdaddsd的博客
04-21 272
快解析内网穿透实现在任何地域、任何时间、任何网络环境，快速访问内网的各种应用。为了进一步保证企业访问的安全性，快解析域名不仅支持https协议、免开端口，同时在无忧版、钻石版、旗舰版、星耀版增加了访问白名单、访问密码功能，让企业数据更安全。快解析内网穿透经常运用在远程办公OA、数据库、搭建web网站、ERP、访问NAS、信息管理、文件共享FTP、软件跨网互通等各种场景。在财务、人力、供应链、采购、制造、营销、研发、项目、资产、协同等领域为客户提供数字化、智能化、社会化的企业云服务产品与解决方案。
4.3 海思SS928开发 - uboot开发 - 非安全启动镜像制作
luohaha66的博客
04-23 233
上电，启动GSL，启动uboot，引导内核启动。
Windows 安全中心：页面不可用 你的 IT 管理员已限制对此应用的某些区域的访问，并且你尝试访问的项目不可用。有关详细信息，请与 IT 支持人员联系。
u013669912的博客
04-22 559
Windows 安全中心提示：【页面不可用 你的 IT 管理员已限制对此应用的某些区域的访问，并且你尝试访问的项目不可用。有关详细信息，请与 IT 支持人员联系。】 Windows 11 重置后，无法打开 windows 安全中心，或打开安全中心背景是白色
速卖通自养号测评：如何规避安全风险？
2301_79301920的博客
04-24 320
目前，我们的自养号成功率已经能够达到九成以上，每个账号都实现了独立IP、独立环境、独立防火墙的配置，避免了砍单、封号等风险，同时确保了账号之间无任何关联。当前市场上，真人测评账号质量参差不齐，找到合适的买家进行测评并不容易，而且恶意差评的问题也时有发生，因此不建议作为主要测评手段。然而，值得注意的是，测评并非一蹴而就的短期行为，而是一个需要精心策划、持续进行的过程。由于速卖通新店铺往往难以获得平台活动的支持，流量也相对匮乏，因此，开店的首要任务便是进行测评，通过积累一定的评论和销售数据。
基础安全:CSRF攻击原理与防范
八尺妖剑的博客
04-23 1280
这是一种常见的网络攻击手段，攻击者通过构造恶意请求，诱骗已登录的合法用户在不知情的情况下执行非本意的操作。这种攻击方式利用了Web应用程序中用户身份验证的漏洞，即浏览器在用户完成登录后会自动携带相关的认证信息（如Cookie、Authorization header等）发送给服务器，使得服务器误以为请求来自已授权的用户。这是一个阳光明媚的好日子，万里无云，心情愉悦，用户哼着小曲儿兴高采烈的通过下面的请求地址登录了自己的账户并给小老婆转账520000，成功登录后在浏览器上留下了。基于上面的概念描述，
文件摆渡：安全、高效的摆渡系统助力提升效率
文件数据安全交换
04-22 795
飞驰云联是中国领先的数据安全传输解决方案提供商，长期专注于安全可控、性能卓越的数据传输技术和解决方案，公司产品和方案覆盖了跨网跨区域的数据安全交换、供应链数据安全传输、数据传输过程的防泄漏、FTP的增强和国产化替代、文件传输自动化和传输集成等各种数据传输场景。很多组织和企业都会通过网络隔离的方式来保护内部的数据，网络隔离可以是物理隔离，也可以是逻辑隔离，如使用防火墙、VPN、DMZ等技术手段来实现，隔离之后还会去寻找文件摆渡方式，来保障日常的业务和经营需求。系统内置防病毒管理模块，可进行定时更新。
数据安全：口令
weixin_51633501的博客
04-19 551
数据安全-口令介绍
a survey of compiler testing
04-27
编译器测试是确定编译器的正确性和稳定性的过程，以确保它能够正确地将高级编程语言转换为计算机能够理解的机器代码。这个过程需要对编译器的不同部分进行测试，以确保其正确性和可靠性。 编译器测试是一个很重要的...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值