阿里云官网内容平台！汇聚阿里云优质内容（入门、文档、案例、最佳实践、直播等）！如需转载或内容类合作，邮件yqgroup@service.aliyun.com 秒级回复！<br>
发简信
IP属地：北京
-
-
用灵感链接机器与人
-
【星云精准测试】开发者测试-采用精准测试工具对Spring Boot应用进行测试简介：本文主要介绍把现今主流的springboot框架项目和精准测试工具进行结合和应用，通过精准测试的数据穿透、数据采集、测试用例与代码的双向追溯、数据分析等一系列精准测试的...
-
普乐赛声(Prexus Safesonic)网络安全团队
-
关于自动化web安全测试动态fuzz的思路与实践分析什么叫自动化web安全测试？这其实是一个很大的概念，因为web安全包含很多方面，比如代码审计,比如黑盒测试，甚至还有灰盒测试。还有性能测试,压力测试等等。代码审计其实也不仅仅...
-
/漏洞挖掘/漏洞利用/前ctfer
-
漏洞挖掘新思路：fuzz+符号执行——driller
driller 符号执行+fuzz漏洞挖掘思路 http://cs.ucsb.edu/~chris/research/doc/ndss16_driller.pdf 先看一段程...
-
机器学习和深度学习的狂热爱好者
-
一文让你理解什么是卷积神经网络一文让你理解什么是卷积神经网络 从神经网络到卷积神经网络（CNN） 我们知道神经网络的结构是这样的： 那卷积神经网络跟它是什么关系呢？其实卷积神经网络依旧是层级网络，只是层的...
-
Don’t Test, Verify. | 哪个故事真正符合你对形式化验证的想象？从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段，更是为这项技术增添了一...
-
翻译afl-fuzz白皮书前言 最近打算读一读afl(american fuzzy lop) 的源码，为研究生做fuzzing测试做相应的准备。在读源码之前我看了看官方文档（Technical "wh...
-
api 接口 fuzz 测试初探
目标 在日常测试工作中，经常会有api接口的测试，除了正向流程的测试之外，我们经常还需要覆盖一些异常情况。 例如： 不合法字符串 字符串超长 应该是数字类型的，传入了字母 参...
-
模糊测试对单元测试应用大纲 -测试总领-模糊测试基本介绍-模糊测试案例---OpenSSLbug_心脏出血-模糊测试工具-go-fuzz介绍-模糊测试go-fuzz应用案例 测试总领 image....
-
天下事有难易乎，为之则难者亦易也
-
Questa Functional Verification-autocheck1.AutoCheck analysis introduce Autocheck是自动对RTL代码使用形式验证进行规则检查的检查器，是Questa Verify tools的...
-
人工智能-应用场景嘿, Siri：语音处理 以 Siri 为例分享了语音处理的一些技术进展。其要点如下： 语音处理可以分为语音识别和语音合成两类任务； 语音合成过程包括文本分析、音韵生成、单元...
-
《 智能革命》|迎接人工智能时代的社会、经济与文化变革李彦宏等 著 从2016年alphago与围棋世界冠军李世石的围棋人机大战，再到谷歌、百度无人汽车陆续在路上行驶，人工智能这一名词逐渐进入大众的视野，并为人们所熟知。在...
-
