软件测试方法是指测试软件性能的方法。 软件测试方法分为静态测试和动态测试。 静态测试是被测试程序不在机器上运行而采用人工检测和计算机辅助静态分析手段对程序进行检测。 动态测试是通过运行程序发现错误。对软件产品进行动态测试时可以采用黑盒测试和白盒测试法。 静态测试 指测试不运行的部分,例如测试产品说明 ...
分类:
其他好文 时间:
2016-11-03 13:25:10
阅读次数:
199
本文转载自: http://blogs.360.cn/360mobile/2016/10/24/android_escape/ 摘 要 传统逃逸技术涉及网络攻防和病毒分析两大领域,网络攻防领域涉及的逃逸技术主要为网络入侵逃逸技术,病毒分析领域涉及到的逃逸技术主要包括针对静态分析、动态分析的木马逃逸技 ...
分类:
移动开发 时间:
2016-10-27 09:50:28
阅读次数:
463
这种单独建一个section的方法简单粗暴易懂,但是只要解析一下就会知道多了一个section。所以实际上往往都是对固定的section进行加密解密,要注意的是这些section中有重要的信息 ...
分类:
其他好文 时间:
2016-10-26 13:11:36
阅读次数:
218
一、安装好了SonarQube服务端后,在其它电脑的浏览器上登陆,开始安装其它编程语言检测插件系统已经装好的语言插件:下载了软件项目中常用的语言:Android、CSS、Web、XMLJAVA相关的:Checkstyle、Findbugs、PMDJava静态分析工具分析对象应用技术CheckstyleJava源文件,缺陷模..
分类:
Web程序 时间:
2016-10-19 14:29:52
阅读次数:
238
1. 简介 Findbugs 是一个静态分析工具,它检查类或者 JAR 文件,将字节码与一组缺陷模式进行对比以发现可能的问题。利用这个工具,就可以在不实际运行程序的情况对软件进行分析。它可以帮助改进代码的质量。 Findbugs提供了方便操作的可视化界面,同时也可以作为Eclipse的一个插件来使用 ...
分类:
数据库 时间:
2016-10-11 18:34:02
阅读次数:
246
1. 引言 本篇文章分析了代码静态分析的基本原理以产生误报的根本原因,并介绍了形式化方法在LDRA工具套件中的应用情况。文章从实际工程应用的角度阐述了这些形式化方法的局限性,在参考文献1《Formal Methods Implemented in the LDRA Tool Suite》中我们详细描 ...
分类:
其他好文 时间:
2016-10-10 09:30:02
阅读次数:
200
sourceinsight-scan 是一款集成在 SourceInsight 中的c/c++代码静态分析插件,集成了cppcheck,coverity,pclint等业界优秀的静态分析工具的优点。 旨在帮助开发人员,在IDE中快速发现编译器无法发现的非语法错误,降低修复成本。 无需编译,平均扫描速... ...
分类:
编程语言 时间:
2016-09-30 15:36:22
阅读次数:
238
1. 引言 本篇文章分析了代码静态分析的基本原理以产生误报的根本原因,并介绍了形式化方法在LDRA工具套件中的应用情况。文章从实际工程应用的角度阐述了这些形式化方法的局限性,在参考文献1《Formal Methods Implemented in the LDRA Tool Suite》中我们详细描 ...
分类:
其他好文 时间:
2016-09-28 10:07:50
阅读次数:
192
对抗静态分析——运行时修复dex 本文来源:i春秋社区-分享你的技术,为安全加点温度 零、写在前面 这个系列本来题目想写对抗反编译,可是想想对抗反编译的这个范围有点大,总结如下 灵魂作图 <ignore_js_op> 自己比较熟悉的是静态分析,所以就从这里入手吧,省的吹大了,挖了坑填不上那就不好了。 ...
分类:
其他好文 时间:
2016-09-27 18:07:24
阅读次数:
362
Infer 在 Mac 上的安装和环境配置 Infer 介绍 Infer 是一个静态分析工具。Infer 可以分析 Objective-C, Java 或者 C 代码,报告潜在的问题。 任何人都可以使用 Infer 检测应用,这可以将那些严重的 bug 扼杀在发布之前,同时防止应用崩溃和性能低下。 ...
分类:
系统相关 时间:
2016-09-25 19:05:19
阅读次数:
209