![](https://img-blog.csdnimg.cn/20201014180756916.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
软件测试
文章平均质量分 86
不晓得X
NJU/预备役程序员
github:https://github.com/xjwhhh
公众号:【不知道别问我】
展开
-
南京大学软件测试复习
BugStory• Software Fault : A static defect in thesoftware (i.e., defect),静态存在于软件中的缺陷,如code写错了• Software Error : An incorrect internalstate that is the manifestation of some fault,软件运行时,运行到fault触发产生错误的...原创 2018-07-04 13:26:09 · 2343 阅读 · 1 评论 -
Reachability Analysis of Deep Neural Networks with Provable Guarantees 论文小结
论文内容 验证深度神经网络的正确性是困难的,我们研究一个关于前馈深度神经网络的一般性可达性问题——给定一个输入集合,使用Lipschitz连续的函数来计算输出,计算这个函数值的上下界。因为神经网络和函数都是利普希茨连续的,所以在这个上下界中的任意数值都是可达的。我们展示了如何通过实例化一个可达性问题来获取安全验证问题,输入范围分析问题和鲁棒性测量问题。我们提出了一种新的基于自适应嵌套优化的算法来解...原创 2018-10-09 18:54:33 · 812 阅读 · 0 评论