没有合适的资源?快使用搜索试试~ 我知道了~
2020-1-CECD3-WAS-6:任何!
共265个文件
js:49个
py:37个
out:34个
需积分: 9 0 下载量 64 浏览量
2021-05-05
07:30:48
上传
评论
收藏 24.51MB ZIP 举报
温馨提示
용한로그램식별을용한용한용한디버거 具有程序综合和故障定位功能的自动调试器的开发 2020-1-CECD3-WAS-6 你好! 大家,这个项目是关于一个自动调试器的,它可以自动在命令式程序中查找错误代码的行,并对其进行更正以满足指定的要求。 调试器由一些技术组成。 我们使用的第一种技术是故障定位。 该技术查找在执行中很可能发生错误的行。 另外,程序综合是一种自动编程方法,它可以生成满足给定规范的代码。 这项出色的技术可以纠正由“故障定位”本地化的错误声明。 结果,该系统将用作Web应用程序。 #程序合成#故障定位#代码修复#调试方法 专利(특허):10-2020-0176727(韩国) 设计 故障定位 在该项目中,我们实施了基于覆盖率的故障定位。 故障定位使用诸如Tarantula,Ochiai等公式计算易于出错的代码的可疑性。 基于覆盖率 机敏性 狼蛛,落合,OP2,... 程序
资源推荐
资源详情
资源评论
收起资源包目录
2020-1-CECD3-WAS-6:任何! (265个子文件)
$808923a7782fc452a194.cache 21B
$4ff70ea8badc8108a75f.cache 21B
$b002d56f1308b2a89fe6.cache 21B
$b4435cd9c90d2ca4bfa4.cache 21B
$b002d56f1308b2a89fe6$.class 5KB
$808923a7782fc452a194$.class 2KB
$b4435cd9c90d2ca4bfa4$.class 2KB
$4ff70ea8badc8108a75f$.class 2KB
HelloWorld$delayedInit$body.class 724B
HelloWorld$.class 683B
$b4435cd9c90d2ca4bfa4.class 675B
$808923a7782fc452a194.class 675B
$4ff70ea8badc8108a75f.class 675B
HelloWorld.class 645B
$b002d56f1308b2a89fe6.class 600B
copy-resources 12B
index.css 4KB
data 2B
.env 172B
.env 46B
export 8KB
export 8KB
export 7KB
export 7KB
export 7KB
export 7KB
export 7KB
export 136B
export 136B
export 136B
export 136B
export 136B
export 136B
export 113B
export 113B
export 113B
export 1B
export 1B
export 1B
export 1B
export 1B
export 1B
export 1B
export 1B
export 1B
export 1B
export 1B
export 0B
.gitignore 310B
.gitignore 310B
.gitignore 38B
.history3 627B
index.html 2KB
favicon.ico 3KB
untitled-build.iml 28KB
Synthesizer-build.iml 13KB
Synthesizer-build.iml 13KB
untitled.iml 1KB
Synthesizer.iml 1KB
Synthesizer.iml 991B
input_dsp 10B
input_dsp 8B
inputs 11B
inputs 10B
inputs 9B
untitled.jar 14.63MB
scalaz3_2.13-4.7.1.jar 8.48MB
scala-parser-combinators-2.11.0-M4.jar 401KB
com.microsoft.z3.jar 171KB
logo.jpg 76KB
index.js 52KB
index.js 18KB
editor.js 15KB
index.js 9KB
index.js 8KB
tarantula.js 7KB
index.js 5KB
serviceWorker.js 5KB
index.js 5KB
Header.js 4KB
index.js 4KB
index.js 4KB
main.js 3KB
main.dev.js 3KB
users.js 3KB
SourceEditor.js 2KB
index.js 2KB
TestCaseEditor.js 2KB
app.dev.js 2KB
App.js 2KB
app.js 2KB
ProjectInfo.js 1KB
auth.js 1KB
EditorAPI.js 1KB
file-controller.js 1KB
user.js 1KB
index.js 973B
Error.js 773B
APIUtils.js 750B
ProcessLoading.js 722B
共 265 条
- 1
- 2
- 3
资源评论
邱笑晨
- 粉丝: 39
- 资源: 4553
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于图像的三维模型重建C++源代码+文档说明(高分课程设计)
- 基于聚焦法的工件立体测量方案,根据数据进行三维重建 使用HALCON处理图像,MATLAB拟合数据+源代码+数据集+效果图
- 锄战三国村 修改:货币使用不减 v1.10(2) 原创 (中文).apk
- 基于python实现的单目双目视觉三维重建+源代码+图像图片(高分课程设计)
- 基于C+++OPENCV的全景图像拼接源码(课程设计)
- 基于Python+OpenCV对多张图片进行全景图像拼接,消除鬼影,消除裂缝+源代码+文档说明+界面截图(高分课程设计)
- 基于C++实现的全景图像拼接源码(课程设计)
- 基于SIFT特征点提取和RASIC算法实现全景图像拼接python源码+文档说明+界面截图+详细注释(95分以上课程大作业)
- 基于matlab实现眼部判别的疲劳检测系统+源代码+全部数据+文档说明+详细注释+使用说明+截图(高分课程设计)
- 基于Matlab的异常姿势识别系统+源代码+全部数据+文档说明+详细注释+使用说明+截图(高分课程设计)
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功