一种新的并行Java程序的监护模型

提出了一种新的并行Java程序异常处理的监护模型。该模型针对并行Java程序异步信息传递方式进行异常处理。当并行Java程序的某个线程出现异常时,该线程的监护模块把检测到的异常情况的信息传递到其它线程的监护模块,每个线程根据当前事项与异常事项的向量时钟关系,对当前事项进行回滚或停止操作,以达到对并行Java程序的保护。过去一些并行程序的监护方案是在信息交换的基础上把并行程序结构化为许多原子行为,把多个并行异常当作单个异常进行处理,具有较大的局限性。提出的监护模型是从全局上对并行Java程序的异常情况进行处理,并指导每个线程根据自身情况作出相应反映。实验证明提出的新的并行Java程序监护模型具有较强的实际操作性,并能有效地保护并行Java程序。

基于网页划分的网站应用程序测试新方法

网站已经成为全球信息发布的重要渠道,确认网站应用程序的质量和可靠性成为软件测试的一项重要任务。现在有关网站应用程序的测试技术大多数是基于模型测试技术,依赖于从网站编码信息中产生模型,这些技术可统称为"白盒测试"。目前没有一种技术应用网页的划分进行测试。本文在"白盒测试"的基础之上,提出了基于网页划分的网站应用程序测试技术和基于网页划分的"白盒测试"技术,并通过实验证明基于网页划分的"白盒测试"技术是测试网站应用程序的较为有效的方法。

基于并行Java程序动态切片的Concolic测试

为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每个执行点的信息,并保证不运行相同的同步串.实验证明,基于并行Java程序动态切片的Concolic测试方法极大地提高了Concolic测试的性能和效率,具有较高的实际可操作性.

一种并行程序可靠组合测试策略

为了提高可达性测试的效率、可靠性和可操作性,提出了一种并行程序可靠组合测试策略.首先确定并行程序同步串中竞争接收项的向量时钟关系;然后构造初始竞争表(RT);接着根据横向增长规则和纵向增长规则对RT进行增长,直至并行程序同步串所有的竞争接收项均包含在RT中;最后根据竞争表RT产生竞争变体并进行可达性测试.该策略能保证每个竞争接收项的发送项均发生改变,同时减少竞争接收项的发送项改变次数和运行错误同步串的次数,硬件资源要求不高.实验证明该策略能减少测试同步串和竞争变体的数量,并提高测试的效率、可靠性和实际可操作性.