安全测试之离线免费版自动形式化验证工具Beosin—VaaS
近期，笔者注意到一款智能合约自动形式化验证工具Beosin—VaaS推出了离线免费版。所谓“离线免费版”，相较于之前该公司推出的在线免费版、企业版而言，亮点自然不言而喻。对于开发者来说，离线版的验证工具将提供一个不联网的测试环境，在很大程度上能从根源上将黑客攻击的可能拒之门外。经笔者测试，虽然这次推出的版本为免费版，但功能毫不逊色，依然能有效检测出智能合约的常规安全漏洞，并精确定位到有风险的代码位置，以及导
Beosin VaaS
2018 年 11 月，上海博为峰软件技术股份有限公司（股票代码：836392，以下简称博为峰）自主研发、业内领先的一款自动化测试工具——Test Writer（以下简称TW），正式推出永久免费版，并面向所有测试从业人员和广大企业客户开放下载和无偿使用。随着现代信息技术的飞速发展，软件业竞争日趋激烈，软件系统日益复杂，对于软件功能、性能的要求不断提高，同时软件推出新版本的时间不断缩短。仅仅依靠传统的手工测试，已经不能满足快节