基于贝叶斯的软件错误定位方法

为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。     

基于切片谱的错误定位框架影响因素分析

错误定位是软件调试的重要环节,基于切片谱的统计错误定位技术,借助程序切片可以提高错误定位效率.而这类技术执行效果取决于构建切片谱的切片选择策略和怀疑度计算公式的选择.为评估不同的切片选择策略及怀疑度计算公式对错误定位效率的影响,提出一种基于切片谱的错误定位框架.该框架首先计算程序执行失败时的全切片和成功时的执行切片,随后提出一组基于相似度的切片挑选策略以构建切片谱,最后按照选定的公式计算怀疑度并生成定位报告.应用提出的错误定位框架,针对一组典型的Java基准程序开展错误定位实证研究.结果表明:最优怀疑度计算公式Wong,RusselRao和Binary的错误定位效率与切片选择策略无关,而提出的怀疑度计算公式HSS,Tarantula,DStar,Naish1和Naish2在低相似度切片谱上定位效果较好.     

软件错误定位研究综述

错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用统计学或数据挖掘等方法找出可疑错误代码的集合来定位错误;重量级错误定位技术涉及程序依赖关系分析,主要分析数据依赖、控制依赖关系或使用程序切片等来识别可疑代码。然后,总结了常用的评测数据集和评测标准。最后,对错误定位的未来研究趋势进行了展望。     

基于动态路径选择的流媒体传输系统的设计

提出了一种具备动态路径选择功能的流媒体传输系统.该系统采用应用层组播和IP组播相结合的组播方式,根据各中继服务器负载的不同状况,动态的决定数据传输路径,从而有效的降低了中继服务器的负载,同时增加了数据传输的实时性和可靠性.     

面向对象程序中对象关系的描述方法

对象关系图是一种描述对象关系的工具,在分析对象关系图的优缺点的基础上,提出了一种构建带权的对象关系图的方法,并把这种描述方法运用到确定类簇中的类问测试顺序上.该带权对象关系图克服了原来对象关系图中描述类间关系过于简单,尤其是反映关联关系的强弱不明显等主要缺点.     

P2P网络行为学研究

对等网络结构不断发展,网络中节点的行为逐渐成为影响网络效率的重要因素.激励、信誉和公平性已经成为对等网络中的三大难题,然而这三者都属于网络行为学的范畴.针对P2P网络行为学中的难题,提出了解决方法即在设计P2P系统的同时要兼顾激励.信誉和公平性.并对这三者分别进行了分析比较,针对当今不同P2P结构中的节点行为进行了评价.最后进一步展望了P2P网络行为学的研究方向.     

基于关键谓词的程序错误定位方法

将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。     

毛泽东的文化观及其对高校文化建设的启示

毛泽东的文化观伴随其整个理论体系的不断完善而形成。毛泽东揭示出文化与经济政治的辩证关系,即文化既反映所处社会经济与政治,同时又作用于一定社会的经济与政治。民族化、科学化与大众化是新文化发展的方向。毛泽东的文化观对高校文化建设具有启示意义。     

双单片机控制动平衡测试系统

介绍了一种改进了的动平衡测试系统．系统的核心部分利用了双CPU：用通用灵活的八位单片机进行现场数据的采集和控制．用高性能的十六位单片机进行数据分析处理，从而使系统具有速度快，实时处理的优点。