一个生成Java程序同步序列集的新算法

为了提高在Java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算法和判定算法.     

基于扩展同步序列的Java多线程程序可达性测试方法

为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.     

一增量式关联规则的改进算法

本文提出了一种通用的增量式关联规则挖掘算法MIAR,可用于数据库更新改变时的挖掘.研究并提出了增量式关联规则挖掘中的重要性质,充分利用上一次挖掘出的知识,对候选项集进行修剪.确定了一种启发式的数据库选择扫描策略,在保证候选项集数不会增长很快的情况下,减少数据库扫描次数,有效提高算法的时间性能.大量数据试验算法优越于Apriori和FUP2.     

新成员加入容错组行为研究与实现

研究新成员加入容错组行为,分析成员间同步大数据可能产生失效窗口增大,心跳报文发送阻塞以及协调者失效后,同步重定向等问题.提出一种新的"预加入"的组成员加入模式在协调者崩溃后将同步工作重定向给新选举的协调者,使新加入成员最终完成同步,给出成员身份确认以及协调者重新选举算法,说明其正确性并针对组内完成同步成员数量给出了不同策略.测试结果表明,算法能有效地降低成员误判率,从而提高系统效率和可靠性.     

高损耗无线网络中基于网络编码的广播重传策略

利用网络编码减少无线传输信息量的原理,结合高损耗无线广播丢包特点,提出多接收节点情况下网络编码组合重传的方法,给出基于网络编码的高损耗无线网络广播重传策略。通过对广播节点保存的信息接收情况矩阵进行丢失概率排序得到新的接收情况矩阵,再按照基于网络编码的多节点编码组合定理寻找满足可解性条件的丢失包组合。对于广播节点,将丢失包组合存入发送序列,进行编码组合,广播发送;对于接收节点,得到编码组合包,进行解码操作,解出丢失包。理论分析结果表明：策略中的编码信息包在所有接收节点具有可解性,可以达到重传目的。模拟测试表明：不同的节点丢包率和广播接收节点数目下,与逐个重传的策略相比,发送次数显著减少。尽管节点需要更大的计算能力,但是可以接受,策略可行。     

基于RSSI的无线传感器网络ARQ差错控制策略

无线传感器网络(wireless sensor networks,WSN)中采用前向纠错差错控制策略(FEC)无法克服丢包的问题,且在传输长数据时能效较低;传统的自动重发请求差错控制策略(ARQ)主要考虑的指标是带宽延迟乘积,能量效率不是其重要的性能指标。本文提出了一种基于接收信号强度(received signal strength indicator, RSSI)动态调整重传次数和重传时隙的ARQ差错控制策略。发送节点在接收数据请求时从数据请求帧中提取当前信道的RSSI值,当RSSI值大于阈值时采用较小的重传次数和重传时隙,当RSSI值小于阈值时增大重传次数和随机选择一个大的重传时隙,从而避免发送节点陷于忙等,提高了接收节点正确接收数据包的概率。实验结果表明,该方案能有效降低丢包率,且具有较高的能量效率。     

RFID位屏蔽二进制搜索防碰撞算法研究

在对基本二进制搜索树算法及其改进算法进行比较、分析的基础上,首次提出了位屏蔽搜索防碰撞算法,该算法利用"后退策略"以减少搜索的总次数;同时,利用已知信息,不发送和反馈重复信息,以减少阅读器和标签之间数据交换的比特数。该算法有效减少了命令发送的总次数和每次命令的参数长度,提高了搜索标签的效率和速度。     

家用小电器可靠性测试系统的设计与实现

随着社会经济的发展,家用小电器在人们的日常生活中所占地位越来越重要。为保证产品的质量可靠,必须对其进行可靠性测试。传统测试方法耗费人力和财力,自动化、信息化程度较低,可操作性、通用性较差。为此,文章设计一种基于嵌入式无线传感器网络的家用小电器可靠性测试系统,实现了家用小电器可靠性测试的自动化、信息化,远程化、提高了产品测试效率和通用性。同时,测试系统降低了测试成本,具有良好的经济效益。     

基于FPGA的CAN总线通信事务的现场测试系统设计

针对CAN总线网络中节点性能的测试应用,研究并设计了基于FPGA的CAN总线通信事务的现场测试系统;该系统可以针对不同属性的被测节点进行接口配置和波特率匹配,同时能够模拟CAN总线主节点,对从节点发送命令或数据,并能实时接收CAN总线上任意被测节点发送的数据。CAN测试节点采用单片机C8051F040内部集成的CAN控制器,单片机通过并行端口实现和FPGA的通信,FPGA通过USB接口实现与上位机之间的数据传输。实验表明,该系统实用性强,可靠性高,并已成功应用于某航天测试设备中。     

一种基于并行网络编码的无线广播重传方案

重传能够保证接收端正确地接收到数据,研究表明传统的多播重传机制会导致较低的传输效率.为了在无线广播网络中减少重传的次数,提出了一种基于并行机会式网络编码重传方案,运用并行机制,采用机会式网络编码组合不同的丢失包进行重传,其中机会网络编码重传方案大大减少了重传次数,而并行机制降低了算法复杂度.理论和实验分析说明,该方案在平均吞吐量、平均发送重传次数和平均接收重传次数等性能指标上远远好于传统重传方案,这进一步验证了基于并行网络编码机制的重传方案是有效的,即在降低复杂度的前提下能够大大减少重传次数,从而增加系统的吞吐量.     

Use of Global Behavior Tree for Conformance Testing of OSPF Protocol LSDB Synchronization

Protocol formalization is one of a class of hard problems in testing routing protocols and characterized by dynamic, concurrent and distributed behavior. For the purpose of performing conformance testing of the open shortest path first protocol link-state database (LSDB) synchronization process, the authors propose a formal model called global behavior tree, which describes global interactions among routers. The model is capable of representing distributed and concurrent behavior and allows for easy test derivation. The corresponding test notation and test derivation algorithm are studied. A simple test method is developed and a software tester is implemented. The results show that this model easily facilitates the testing process and allows a good test coverage.     

世界优秀径赛运动员兼项制胜的项群内稳态研究

在研究世界优秀径赛运动员兼项的发展变化趋势及对兼项运动员在同一比赛中成绩与名次是否具有相关性来探讨项群内稳态。以第21-31届奥运会和第1-17届锦标赛径赛运动员兼项同时取得前8名来统计兼项人次,运用数学模拟及相应统计方法进行了径赛兼项的变化趋势分析。结果表明：在兼项人次上,女运动员显著高于男运动员;世界格局显示,前三名美国、牙买加、英国的兼项人次高于其它国家;运动员平均兼项人次方面,第一集团美国（1.61 ±0.45）与牙买加为首的第二集团（0.96 ±0.26）和埃塞俄比亚为首的第三集团(0.31 ±0.17)显著高于其它国家（0.07 ±0.03）（P<0.05）;且速度性项群显著高于耐力性项群（P<0.01）;100 m与200 m（115,53.24%）和5000 m与10000 m（49,22.68%）占总兼项人次的75.92%;在平均兼项人次上,100 m与200 m（4.42±1.60）显著高于其它8个项目（P<0.01）。获冠军运动员兼项人次显著高于任何其他运动员（P<0.01）。从兼项名次及成绩相关上,大部分兼项项目具有非常显著差异（P <0.01）;除1500 m与3000 m（女）相关系数无统计学意义;在名次相关上400 m与800 m,1500 m与5000 m也无统计学意义。径赛兼项上女运动员优于男运动员;兼项制胜已成为径赛的重要发展趋势,并且在距离结构呈现相邻性原则。100 m与200 m和5000 m与10000 m成为径赛兼项主流,且呈现上升趋势,出现两极化即速度性、耐力性现象。高水平运动员兼项能力比低水平运动员更强。径赛兼项成绩与名次具有强相关性,表明项群内稳态存在。项目供能方式、项群内稳态（SSH）差异和恢复时间可能是影响兼项制胜三个关键因素,提出恢复时间是项群分类的一个重要指标。     

一种基于组合测试的软件故障诊断方法

针对组合测试的基本模型和特征，提出了一种基于组合测试的软件故障诊断方法．该方法基于软件故障由某些系统参数或其相互作用而引发的前提下，首先对组合测试的结果进行分析，找出所有可能的错误原因，然后根据初步分析结果补充一组由导致故障的测试用例衍生出的附加测试用例进行重新测试，并对其结果作进一步分析和验证，从而迅速将故障原因锁定在很小的范围内，这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考。     

基于上下文敏感分析的数据竞争检测方法

为了提高数据竞争检测过程的准确性,提出了一种基于上下文敏感分析的数据竞争检测方法。使用控制流分析构建上下文敏感的调用图,采用逃逸分析查找出可能发生数据竞争的线程逃逸对象,进行上下文敏感的别名分析以减少误报和漏报,通过发生序关系判断消除由于忽略线程交互而导致的误报。依据该方法,在WALA软件分析框架实现了一个数据竞争检测工具ConRacer,并将该工具与现有的检测工具SRD和RVPredict进行了比较。结果表明,与SRD和RVPredict相比,ConRacer的检测准确度最高,不仅可以有效地检测数据竞争,而且可以降低检测过程中的误报和漏报。通过结合上下文敏感分析技术与传统的静态检测技术,ConRacer提高了检测过程的准确性,对发现并发错误和优化软件性能有一定的参考价值。     

基于组合测试技术的JavaEE多层框架的测试方法

提出了利用组合测试技术对JavaEE多层框架结构应用程序的测试方法，设计了针对JavaEE的Web应用软件的测试框架和工作流程，并利用错误注入技术对组合测试方法进行了检验。结果表明所提出的方法是有效的。     

组合电路的随机检测长度分析

超大规模集成电路及所伴随问题的出现,在数据产生和检测方式有效性的分析方面再次引发了对随机检测的兴趣,即网络的输入采用随机方式,在实际应用中可采用线性反馈移位寄存器(LFSR)来产生输入向量。作者分析了在组合逻辑中测试长度与随机检测之间的关系,并讨论了用随机法测试延迟路径的能力。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理,从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

电子商务软件负载能力评估的实例分析

负载能力是表征电子商务软件性能的一项重要标准。负载能力的评价方法包括在线系统的数据统计和估算、程序测算、基于测试的评估方法等。其中，基于测试的评估方法越来越受到人们的重视。本文以一个小型电子商务系统为例，采用基于测试的评估方法进行了系统的负载能力分析。结果表明，对于以优化为目标的系统评估，可以在优化后采用逐步细化的负载测试方式得到最佳负载预测数据。同时，在负载能力的评估过程中，需要根据系统的主要功能来选择合理的评估指标。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。