【摘 要】
：
在已知的Java捕捉/重放工具中,只有一种基于修改字节码的组合方案具有平台无关性并且达到了真正的通用性。该组合方案的捕捉机制通过对Java字节码程序进行逐指令的插入修改以捕捉虚拟机对线程进行抢占式调度引起的线程切换信息,重放机制采用了JReplay申所提出的方法。此方法的缺点是大大增加了字节码程序的尺寸和重放日志所占的空间,从而严重降低了程序的执行速度。本文提出并实现了一种对这种组合方案的改进,通
【机 构】
：
解放军理工大学指挥自动化学院研究生二队 南京 210007 解放军理工大学指挥自动化学院软件验证研
论文部分内容阅读
在已知的Java捕捉/重放工具中,只有一种基于修改字节码的组合方案具有平台无关性并且达到了真正的通用性。该组合方案的捕捉机制通过对Java字节码程序进行逐指令的插入修改以捕捉虚拟机对线程进行抢占式调度引起的线程切换信息,重放机制采用了JReplay申所提出的方法。此方法的缺点是大大增加了字节码程序的尺寸和重放日志所占的空间,从而严重降低了程序的执行速度。本文提出并实现了一种对这种组合方案的改进,通过实验证实了改进方案的可行性和有效性。本文的基本思想是通过小范围的修改字节码程序屏蔽Java虚拟机的线程调度机制,用白定义的非抢占式调度算法取而代之。
其他文献
随着面向对象和组件复用技术的成熟,软件可靠性模型也从过去的黑盒模型发展到了基于组件的白盒模型。论文提出了一个基于组件和离散时间马尔可夫链的软件可靠性估计模型。相比于一般的马尔可夫模型,该模型更进一步贴近了软件的客观本质,探索了在假设组件之间可靠性并不独立,软件的初始状态也不唯一的复杂情况下,软件可靠性计算的问题。在计算中,引入了软件可靠性期望值的泰勒二阶近似表达式,提高了计算的精确性。
One2One营销优化问题是一个大规模优化问题,而生成MPS文件的速度是优化模型生成的一个瓶颈问题。提出使用二进制文件存储约束矩阵,改变MPS文件的写入方式。大量测试结果表明,采用这两种方法生成MPS格式的One2One营销优化模型的速度得到了飞速的提高,并且优化模型具有良好的复用性和移植性,为实现One to One营销优化奠定了坚实的基础。
以项目已定义的工作分解结构(WBS)和生命周期为基础,通过对质量目标的三维正交分解建立项目的质量模型。应用该模型,在生命周期的早期阶段根据有效、真实、及时、合理的度量数据对产品构件的质量分别进行控制,可以有效保证项目约束条件下最终产品的质量。论述了质量模型的构建基础、构建算法、构建过程中使用的修正系数以及在项目实施过程中该模型的使用方法。
本文针对TTCN-3测试系统代码的维护、改进和复用问题,开展面向TTCN-3测试系统的逆向模型发现研究。基于模型驱动测试的思想,使用U2TP为TTCN-3测试系统设计元模型,同时借鉴传统的逆行工程方法对TTCN-3测试脚本进行逆向分析,从中识别出U2TP定义的测试系统中的各个组成部分,其中包括测试配置、测试数据等,从而建立测试系统模型。
随着软件产业的快速发展,对于行之有效的软件规模预测方法的需求日益迫切。近年来,基于用例点的软件规模预测方法在实践中取得了一定的效果,适用于使用UML建模的面向对象系统。但现有的基于用例点的软件规模预测方法在实际应用中存在主观性因素较大、缺乏统一客观尺度的问题,也就造成这一方法的有效性难以保证。本文基于用例点的软件规模预测方法,利用多元线性回归模型对其参数进行校准,从而提出了一种面向具体企业应用的软
针对移动Ad hoc网络的动态拓扑、链路易变、资源有限等特点,本文提出了一种新的QOS路由协议。该协议在按需距离矢量路由(AODV)协议的基础上进行改进,定义了"路径可用时间",并将其和带宽共同作为路由的约束条件,从而使得路径的稳定性增强,路由的重建次数减少,同时保证了链路容量。实验证明该协议能够提高路径质量,增大端到端的数据吞吐量,较大的改善网络的性能和数据传输效率,所以能够为实时业务提供更好的
UML是一种广泛使用的面向对象建模语言,但UML的一个不足之处是它缺乏精确的数学语义,因而不能对模型的性质进行严格的分析。本文提出了一种基于时间Petri网(简称TPN)的服务组合验证方法。通过对UML活动图的时间扩展来描述服务组合的业务流程,并在此基础上给出了UML模型到TPN的映射方法,进而用得到的TPN模型来验证服务组合的正确性。最后,运用实例说明了UML服务模型组合验证方法的有效性。
在网络和分布式系统中,移动agent有着巨大的使用前景。agent的移动性给移动agent通信和消息可靠传输提出了新的挑战。通过改进基于mailbox的移动agent通信算法,本文提出了基于mailbox的负载平衡和消息优先级的移动agent通信策略。本策略克服了消息丟失,确保消息可靠传输,井针对移动agent负载问题给出了一个很好的解决方案。同时,也能确保紧急消息优先得到响应。本通信策略能够有效
本文研究了BitTorrent文件共享系统中结点选择策略对系统共享性能的影响,针对原有BitTorrent文件共享系统中随机邻居结点选择策略难以保证在结点间进行高效的文件共享问题,提出了一种优化邻居结点选择策略:Tracker服务器优先为结点选择与其具有相近文件块数量的结点作为其邻居结点。理论分析证明了该策略能有效提高结点从邻居结点下载到所需文件块的概率,提高了系统的文件共事性能。模拟实验验证了理
推测多线程模型是当前开发片上多处理器(CMP)结构在性能上最有潜力的软硬件协同设计模型。本文面向CMP结构,研究可支持推测多线程模型的通用程序编译优化方法。设计了一个线程划分算法,采用启发式规则将带有profile信息的加权控制流图划分成多个子图,每个子图作为一个线程。对于线程间存在的数据依赖,采用对存在的依赖关系的关键值进行程序切片并构造线程的预测计算切片的方法来消除和减弱依赖关系。最后在SUI