自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(0)
  • 资源 (7)
  • 收藏
  • 关注

空空如也

一种基于分支条件的对象状态机自动提取方法

摘 要:对象行为协议对于辅助其他开发者理解并正确使用对象所提供的外部行为具有十分重要的意义。然而相关文档 却常常缺失或存在不一致,需要通过逆向分析的方法进行恢复。针对这一问题,本文提出了一种基于驱动执行和动态分析 的对象状态机(Object State Machine,OSM)提取方法。该方法从源代码中提取包含类属性的条件表达式,以其在运行时 刻的取值情况及程序异常信息作为状态标识,并通过驱动执行的方式获取运行时的状态转换信息,然后分析运行时信息逐 步构造对象状态机。该方法已实现为相应的原型系统,初步实验结果表明通过该方法可以高效、准确地恢复对象行为协议。 关键词:对象状态机;行为协议;条件提取;状态分析;驱动式调用

2011-05-25

出栈序列的研究 文章

摘 要: 栈是一种非常重要的数据结构, 递归、函数调用都离不开栈。对n 个元素入栈和出栈的研究是栈的一个主要研究 内容。利用二叉树给出了入栈和出栈序列的表示; 给出了由前置O 栈序列构造出二叉树的算法; 证明了对于按次序入栈的 n 个元素, 其出栈序列总数为C( 2n, n) / ( n + 1) ; 对三种求解出栈序列算法进行了分析和研究, 并提出一种时间复杂度为 O( n) 判断某一序列是否为出栈序列的算法, 它提高了程序的执行效率。 关键词: 出栈序列; Catalan 数; 二叉树

2011-05-25

数据结构和算法Flash动画演示

数据结构和算法Flash动画演示,45个数据结构算法动画演示,几乎囊括数据结构所有算法。

2011-05-01

Android之父深入解析Android

Android之父深入解析Android

2011-05-01

win32多线程程序设计 pdf

使用线程,你可以产生高效率的服务器。建立Internet服务器扩充软件,获得多CPU系统的好处,建立精巧的COM/OLE对象,并改善程序的反应度。 写出这样的软件,需要更多的理论基础,以及一本参考手册;需要广泛了解每一件事情如何彼此相称;需要一份指南,告诉你什么可以正常动作,什么不能! 通过Win32 API,Windows NT以及Windows 95都可以支持多线程程序设计,但是这个重要主题的信息却极稀有而不够详尽。 在《Win32多线程程序设计》这本书中,Jim Beveridge和Robert Wiener告诉你什么时机、什么地点、什么方法可以使用多线程。 本书主题包括: ·Internet开发范例,包括ISAI和WinSock。 ·如何在服务器中使用线程和overlapped I/O。 ·如何在多线程环境中使用Cruntime函数库和MFC。

2010-11-12

Windows并发编程指南pdf

本书详细讲述Windows并发编程的相关知识。内容分为四个部分:第一部分“概念”从高层视角介绍并发的基本概念,为读者理解并发打下基础:第二部分“机制”重点介绍了一些基础的功能、内部工作机制以及各种APl等;第三部分“技术”介绍了一些常见的编程模式、最优方法、算法,以及在编写并发软件时需要使用的各种数据结构;第四部分“系统”介绍了一些在系统架构和流程中经常出现的问题。本书内容翔实,实例丰富,适合Windows开发人员、Windows测试人员;和Windows技术支持人员等参考。

2010-11-12

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除