没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
软件测试
using test oracles generated from program documention
using test oracles generated from program documention
test
需积分: 0
1 下载量
147 浏览量
2014-06-10
17:14:14
上传
评论
收藏
378KB
PDF
举报
温馨提示
立即下载
David Parnas 在 IEEE 上发表的关于测试方面的文章
资源推荐
资源评论
oracles even steps oracles even steps
浏览:3
oracles even stepsoracles even stepsoracles even steps
Efficient Identity-Based Encryption Without Random Oracles.
浏览:153
Efficient Identity-Based Encryption Without Random Oracles.
The Oracles of Anyang.pdf
浏览:111
The Oracles of Anyang.pdf
oracles jdbc查询
浏览:121
oracles jdbc查询 非常实用的方法
Verifiably Encrypted Signatures Without Random Oracles.pdf
浏览:160
Verifiably Encrypted Signatures Without Random Oracles.pdf
Oracles_10g_reference.pdf
浏览:114
Oracles_10g_reference.pdf
ContractFuzzer Fuzzing Smart Contracts.pdf
浏览:92
ContractFuzzer generates fuzzing inputs based on the ABI specifications of smart contracts, defines test oracles to detect security vulnerabilities, instruments the EVM to log smart contracts runtime
[BW06] Compact Group Signatures Without Random Oracles.pdf
浏览:55
[BW06] Compact Group Signatures Without Random Oracles.pdf
Oracles数据库表及表字段批量自动注释工具.rar
浏览:28
Oracles数据库表及表字段批量自定义注释,自动注释小工具, 自动注释需要调用百度翻译的通用翻译api,简单注册一个就可以免费用了
FlightSuretyProject-Udacity:区块链开发人员纳米学位-项目4
浏览:110
要安装,下载或克隆存储库,然后: npm install truffle compile开发客户要运行松露测试: truffle test ./test/flightSurety.js truffle test ./test/oracles.js 要使用dapp,请执行以下操作: truffle migrate ...
flight-surety-dapp
浏览:134
要安装,下载或克隆存储库,然后: npm install truffle compile开发客户要运行松露测试: truffle test ./test/flightSurety.js truffle test ./test/oracles.js 要使用dapp,请执行以下操作: truffle migrate ...
Infinity Science – Software Engineering and Testing.pdf
浏览:127
7.4 Test Oracles 164 7.5 Levels of Testing 165 7.6 White-Box Testing/Structural Testing 173 7.7 Functional/Black-Box Testing 175 7.8 Test Plan 178 7.9 Test-Case Design 179 Chapter 8. .
Certificateless Signcryption Scheme Without Random Oracles
浏览:11
Certificateless Signcryption Scheme Without Random Oracles
论文研究-Conditionally Anonymous Ring Signature \ Scheme without Random Oracles.pdf
浏览:5
标准模型下条件匿名的环签名方案,曾晟珂,秦志光,与传统的环签名方案不同,条件匿名的环签名方案可以在无群管理员存在的情况下,追踪到真实签名者身份。当没有争端时,本方案可以保护
oracles-randomizer:塞尔达传说随机生成器
浏览:114
Zelda Oracles Randomizer 该程序读取Zelda:Season of Oracle或Oracle of Ages ROM(仅适用于美国版本),混洗(大多数)项目和神秘种子的位置,并将修改后的ROM写入新文件。 在“季节”中,每个区域的默认季节也被...
论文研究-Provably Secure Multi-Proxy Multi-Signature Scheme Without Random Oracles.pdf
浏览:78
标准模型下可证安全的多重代理多重签名方案,王泽成,李志斌,代理签名可以和其它签名组合得到新的代理签名类型. 基于在标准模型下基于计算Diffie-Hellman问题的变形Waters签名方案, 我们设计了一个多
SAP Database Administration with Oracle - 2008.part1
浏览:86
SAP Database Administration with Oracle - 2008.part1
neo-hello-oracles-sample
浏览:76
Neo N3 Hello Oracle智能合约示例 这是区块链智能合约的示例,演示了如何将和和oracle。 该示例是基本的“ hello world”样式合同。 建立合同还将建立三个新快报检查站 样本合同部署后 在示例合同的MakeOracleCall...
fund-oracles
浏览:120
TrecentoServicesProject 该项目包含将用作trecento平台的中间件的服务。 该项目是使用express框架在nodejs中实现的,并将托管该平台所需的所有后端服务。 服务使用web3 JS libray与智能合约进行通信。...
20余套微信小程序源代码(含前端和后端)
浏览:122
20余套微信小程序源代码(含前端和后端)微信小程序源码带后台+教程+不同行业的源码集合。如有侵权或安装问题请联系附带微信.
python实现好看的GUI界面pyqt5
浏览:168
本资源基于网络的参考实现了好看的GUI界面,并带有样式截图,下载下来即可看见各种截图和py文件,可直接在python环境运行,基于pyqt5实现
软件工程课程设计报告期末大作业-超市管理系统.zip
浏览:12
5星 · 资源好评率100%
软件工程课程设计报告大作业,课题:小型超市管理系统,内容包括1.系统可行性研究报告 2.需求规格说明书 3.设计规格说明书 4.测试分析报告 5.课程设计总结 五个部分,只是分析了设计方案并没有源码实现。
3.2EStudy启动后无法显示界面的解决办法.zip
浏览:135
5星 · 资源好评率100%
3.2EStudy启动后无法显示界面的解决办法.zip
完整功能测试报告模板.doc
浏览:80
5星 · 资源好评率100%
完整的软件功能性测试报告模板。XXXX项目功能测试报告,文档修订记录,目录,项目概述,项目背景,测试目的...
VISIO电气电子元件库.rar
浏览:149
4星 · 用户满意度95%
本元件库包含电气电子专业的各种元件图,可为该专业方向的同学绘制强电弱电等方面的图提供便利。
软件测试报告(参考样例).doc
浏览:123
完整的软件功能性测试报告模板。XXXX项目功能测试报告,文档修订记录,目录,项目概述,项目背景,测试目的...
交互式多模型 IMM(CT/CV混合)及代码实现
浏览:66
5星 · 资源好评率100%
基于交互式多模型算法进行仿真,.程序中采用了两个模型,将CV,CT模型混合起来进行估计,仿真场景可以自己设计,完成车辆位置跟踪。
双向全桥DC-DC电路simulink仿真模型
浏览:180
4星 · 用户满意度95%
双向全桥DC-DC电路simulink仿真模型,各类控制参数已经设置好了,能正常显示波形
VM虚拟机镜像集合windowsxp ,windows 7,windows 8,linux
浏览:172
VM虚拟机镜像集合windowsxp ,windows 7,windows 8,linux
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
glossybaxia
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
TiggerRamDiskV6.0-Mac.zip
数据库实验报告三.doc
数据库应用程序设计作业.doc
施工图审查信息化管理平台整体解决方案.doc
visualize1.py
物联网分布式系统应用.pptx
物联网在医疗健康中的应用-第1篇概述.pptx
11_4.ide
物联网在智能家居中的应用-第1篇概述.pptx
unity10000个常用汉字
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功