在软件工程实践中运用形式化方法可以保证软件的正确性。目前，从形式规约到目标软件系统的可实现和可执行角度，已建立的形式化方法分为操作类和描述类。操作类方法基于状态和转移，通过可执行模型来描述系统，而描述类方法基于数学公理和概念，通过逻辑或代数给出系统的状态空间，具有高度抽象的特点。形式证明与验证...
分类：
其他好文 时间：
2015-02-10 20:15:28
阅读次数：
158
第十章软件测试验证与确认软件的错误（1）软件未达到产品说明书标明的功能；（2）软件出现了产品说明书指明不会出现的错误；（3）软件功能超出了产品说明书指明的范围；（4）软件未达到产品说明书虽未指出但应达到的目标；（5）软件测试人员认为软件难以理解、不易使用、运行速度缓慢，或者最终用户不满意。验证与确认...
分类：
其他好文 时间：
2015-02-06 18:40:39
阅读次数：
297
在软件开发的过程中，程序员会使用一些调试工具，以便高效地找出软件中存在的错误。而在逆向分析领域，分析者也会利用相关的调试工具来分析软件的行为并验证分析结果。由于操作系统都会提供完善的调试接口，所以利用各类调试工具可以非常方便灵活地观察和控制目标软件。在使用调试工具分析程序的过程中，程序会按调试者.....
分类：
其他好文 时间：
2015-02-01 21:49:05
阅读次数：
889
首先来看看什么是“低耦合,高内聚”，这里简单介绍一下：内聚描述的是模块内的功能联系；从功能角度来度量模块内的联系，一个好的内聚模块应当恰好完成一个任务。耦合是软件结构中各模块之间相互连接的一种度量，耦合强弱取决于模块间接口的复杂程度、进入或访问一个模块的点以及通过接口的数据。
另外“高内聚低耦合”，也是软件工程中的概念，是判断设计好坏的标准，或许也可以说是设计软件所追求的目标，...
分类：
其他好文 时间：
2015-01-26 17:23:35
阅读次数：
123
OD调试一：第一个Win32程序的修改 在软件开发的过程中，程序员会使用一些调试工具，以便高效地找出软件中存在的错误。而在逆向分析领域，分析者也会利用相关的调试工具来分析软件的行为并验证分析结果。由于操作系统都会提供完善的调试接口，所以利用各类调试工具可以非常方便灵活地观察和控制目标软件。在使用调....
今天大家读完代码后又聚在了一块讨论了许多。确定了重点的任务和分工细节。提出了许多问题和改进的方案。还有讨论分析了关于团队作业 - 软件分析和用户需求调查，初步决定目标软件为必应的输入法和词典，团队为争这两款软件哪款好弄得难舍难分，最后决定两款软件都先进行使用，给自给一个测评。 本项目的重点任务确认....
分类：
其他好文 时间：
2014-11-03 01:19:14
阅读次数：
216
目标软件：BlazeDVD Pro 版本号：7.0.0.0 系统：Windows xp,Win7,Win8 —————— 主要是Immunity Debugger mona.py插件的使用，此插件是Corelan Team的精品。设置mona.py工作路径： !mona config -set wo...
分类：
其他好文 时间：
2014-09-09 09:16:28
阅读次数：
720
StarWindiSCSISAN是一个iSCSI目标软件,含有免费和付费版本.该软件可安装在任何32位或64位的WindowsServer,使WindowsServer变为一台SAN。支持多种虚拟化环境，包括VMware,MicrosoftHyper-V和Citrix.在中小型企业中，可以部署其免费版本在测试环境中进行测试和评估.其免费版本也..
