UML是软件行业的建模规范，可以对软件项目建立需求模型、设计模型、实现模型、测试模型，因为UML有精确的建模语义，各个模型之间还能有效集成，所以可以基于模型进行仿真验证，使得设计具有完整的前瞻能力。UML当前最新的规范是2.5，有13种图，分为2大类：静态结构图和动态行为图。UML因为讲求建模的精确性，所以比较专业，学起来比较抽象，这里专门以贪吃蛇游戏为例，讲解UML的13种图，如下图所示：UML图解1：用例图（Usecasediagram）用例图其实来自于电影领域的场景描述，是导演向演员讲述电影剧本的有效方式。后来被UML建立者Ivar参考，作为描述用户需求的图。用例图从用户的角度描述一个系
2022-06-25 17:03:53
219KB
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：缺乏适当的签名验证
。。。。。。
2022-06-22 18:10:36
3.72MB
1
allpairs正交测试工具，可以通过简单的操作生成正交表，进而提取测试用例，该文件包含了工具文件跟使用说明，适合软件测试初学者学习使用，测试大佬也可以用这款工具来提高工作效率，工具已经打包好，需要自取，有使用问题请随时私信我，我会帮你及时解决！
2022-06-21 13:01:45
371KB