关于IC验证中用到的断言和功能覆盖率,结合了方法学和使用的思想,值得一读
2015/6/12 23:37:56 47.01MB sv 断言 assertion 覆盖率
1
资源支持,Java核心技术卷1第十版中文。
本书共14章.第1章概述Java语言与其他程序设计语言不同的功能:第2章讲解如何下载和安装JDK及本书的程序示例:第3章介绍变量、循环和简单的函数:第4章讲解类和封装;
第S章介绍继承:第6章解释接口和内部类:第7章讨论异常处理,并给出大量实用的调试技巧:第8章概要介绍泛型程序设计:第9章讨论Java平台的集合框架;
第10章介绍GUI程序设计,讨论如何建立窗口、如何在窗口中绘图、如何利用几何图形绘图、如何采用多种字体格式化文本,以及如何显示图像:第11章详细讨论抽象窗口工具包的事件模型:第12章详细讨论SwingGUI工具包;
第13章介绍如何将程序部署为应用或applet;
第14章讨论并发.本书最后还有—个附录,其中列出了Java语言的保留字.目录第1章 Java程序设计概述1第2章 Java程序设计环境12第3章 Java的基本程序设计结构28第4章 对象与类91第5章 继承147第6章 接口、lambda表达式与内部类211第7章 异常、断言和日志264第8章 泛型程序设计309第9章 集合344第10章 图形程序设计403第11章 事件处理439第12章 Swing用户界面组件469第13章 部署Java应用程序580第14章 并发624
2020/10/25 20:56:40 132.15MB Java
1
Docker撰写JUnit规则这是一个用于执行与DockerCompose托管容器进行交互的JUnit测试的库。
它支持以下内容:在测试之前启动在docker-compose.yml中定义的容器,然后将其拆除在运行测试之前等待服务可用记录容器中的日志文件以协助调试测试失败我为什么要用这个?此处的代码从对我们其中一种产品的端到端测试开始。
我们需要在互不兼容的各种不同配置和环境中测试该产品,因此需要多个DockerCompose文件,因此在Gradle中运行docker-composeup的简单模型不足。
如果您在使用Docker进行测试时遇到以下任何情况,则该库有望为您提供协助:编排多个服务并将端口映射到Docker计算机外部,以便可以在测试中进行断言需要知道服务何时启动,以防止由于启动速度慢或服务依赖关系复杂而导致的闪烁测试由于日志丢失,对在CI服务器上进行测试期间Docker容器中发生的事情缺乏了解由于在CI构建主机上需要打开端口而导致测试失败,该端口与测试配置冲突使用简单将依赖项添加到您的项目。
例如,在gradle中:repositor
2016/7/27 17:54:22 331KB docker docker-compose junit junit-rule
1
本书针对众多信息革命权威人士关于“网络重塑世界”的断言,从相反角度提出了极为与众不同的观点。
布朗与杜奎德向管理层、研究界和各大学一再表明,信息是如何植根于社会关系及制度之中的,因而知识管理又如何必须对社会层面及技术层面给予完全相等的注重程度。
2020/2/15 7:28:55 5.91MB 信息 社会
1
图像分类,顾名思义,是一个输入图像,输出对该图像内容分类的描述的问题。
它是计算机视觉的核心,实际应用广泛。
图像分类的传统方法是特征描述及检测,这类传统方法可能对于一些简单的图像分类是无效的,但由于实际情况非常复杂,传统的分类方法不堪重负。
现在,我们不再试图用代码来描述每一个图像类别,决定转而使用机器学习的方法处理图像分类问题。
目前,许多研究者使用CNN等深度学习模型进行图像分类;另外,经典的KNN和SVM算法也取得不错的结果。
然而,我们似乎无法断言,哪种方法对于图像分来问题效果最佳。
本项目中,我们做了一些有意思的事情:将业内普遍用于图像分类的CNN和迁移学习算法与KNN,SVM,BP神经网络进
1
微信小程序UI自动化实践详细源码minium提供一个基于unittest封装好的测试框架,MiniTest是minium中承继自unittest.TestCase的测试基类,你可以在testcase中使用框架实例化好的Minium/App/Native实例,也可以使用unittest中的各种断言函数,并做了以下改动:1、加载读取测试配置2、在合适的时机初始化minium.Minium、minium.App和minium.Native3、根据配置打开IDE,拉起小程序项目或自动打开真机调试4、拦截assert调用,记录检验结果5、记录运行时数据和截图,用于测试报告生成
2019/7/10 9:52:04 32.29MB 小程序UI自动化 python minium
1
以太坊智能合约安全漏洞分类及测试用例集,包含了37种以太坊solidity代码漏洞。
SWC以太坊智能合约漏洞库清单如下:SWC-100:未声明函数可见性SWC-101:整数溢出SWC-102:使用过时的编译器SWC-103:未锁定的pragma声明SWC-104:未检查的调用范围值SWC-105:无保护的以太币提款SWC-106:无保护的SELFDESTRUCT指令SWC-107:重入漏洞SWC-108:未声明状态变量可见性SWC-109:未初始化的存储指针SWC-110:触发assert断言SWC-111:使用过时的solidity函数SWC-112:委托调用非可信合约SWC-113:失败调用引发的DoS攻击SWC-114:买卖顺序依赖SWC-115:利用tx.origin授权SWC-116:使用区块值作为时间计量SWC-117:签名的非唯一性SWC-118:错误的构造函数名SWC-119:影子状态变量SWC-120:基于链属性的弱随机性SWC-121:未保护签名重放攻击SWC-122:缺乏适当的签名验证。





1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡