检索结果-维普期刊中文期刊服务平台

基于扩展同步序列的Java多线程程序可达性测试方法被引量：3: 1; 作者王艳臣李必信戴君《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第6期931-936,共6页; 为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实... 展开更多; 关键词可达性测试多线程扩展同步序列; 在线阅读下载PDF 职称材料

ASRSP——一种新的并发程序测试准则: 2; 作者卢炎生卢超《计算机科学》 CSCD 北大核心 2008年第2期268-273,共6页; 可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成。因此,目前亟需能投入实际应用的并发程序测... 展开更多; 关键词软件测试测试准则可达性测试并发全发送接收语句对; 在线阅读下载PDF 职称材料

TCP Socket通信与Web服务结合实现高效可靠的数据分发被引量：10: 3; 作者马辉黄秋波苏厚勤《计算机应用与软件》 CSCD 2011年第9期144-147,共4页; 针对常见的一对多数据分发场景,分析了网络的现实情况,包括NAT和防火墙等,提出使用Web服务实现数据分发。考虑到Web服务的效率问题,把由服务器使用TCP Socket推送数据技术与客户端通过Web服务获取数据技术相结合,成功实现了各种网络条... 展开更多; 关键词数据分发 SOCKET WEB服务可达性测试防火墙 NAT; 在线阅读下载PDF 职称材料

一个生成Java程序同步序列集的新算法被引量：2: 4; 作者孙玉霞《暨南大学学报（自然科学与医学版）》 CAS CSCD 北大核心 2006年第5期670-675,共6页; 为了提高在Java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算... 展开更多; 关键词 JAVA程序可达性测试同步序列时序约束竞争变形体; 在线阅读下载PDF 职称材料

移动IPv6通信与防火墙冲突问题研究: 5; 作者王峰闵志松王清贤《计算机工程与设计》 CSCD 北大核心 2007年第11期2575-2576,2695,共3页; IPv6协议取代IPv4已经成为趋势,IPv6对移动IP的具有更强的支持,但是现阶段防火墙存在无法正确处理移动IPv6数据包的问题。在分析移动IPv6的通信机制以及现阶段包过滤防火墙特性的基础上,针对移动节点在通信过程中位置变换的情况,分类探... 展开更多; 关键词移动IPV6 防火墙包过滤返回路由可达性测试绑定更新; 在线阅读下载PDF 职称材料

题名基于扩展同步序列的Java多线程程序可达性测试方法被引量：3: 1; 作者王艳臣李必信戴君; 机构东南大学计算机科学与工程学院江南大学控制科学与工程研究中心电气自动化研究所; 出处《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第6期931-936,共6页; 基金国家自然科学基金资助项目(60473065) 计算机软件新技术国家重点实验室(南京大学)课题资助项目; 文摘为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.; 关键词可达性测试多线程扩展同步序列; Keywords reachability testing multithread extended synchronization sequence; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名ASRSP——一种新的并发程序测试准则: 2; 作者卢炎生卢超; 机构华中科技大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2008年第2期268-273,共6页; 基金国家"十一五"部委预研基金(No.513150601) 湖北省自然科学基金(No.2005ABA255); 文摘可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成。因此,目前亟需能投入实际应用的并发程序测试准则和相应的测试序列生成算法。本文提出了一种实用性较高的并发程序测试准则:全发送接收语句对(ASRSP),并针对该准则提出了一种新的并发程序测试方法:全发送接收语句对可达性测试(ASR-SP-RT)。该方法利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对,并在每次生成新序列之后及时去掉对覆盖剩下发送接收语句对无作用的序列,从而达到约简测试序列集的目的。; 关键词软件测试测试准则可达性测试并发全发送接收语句对; Keywords Software testing, Testing criterion, Reachability testing, Concurrency, ASRSTP; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名TCP Socket通信与Web服务结合实现高效可靠的数据分发被引量：10: 3; 作者马辉黄秋波苏厚勤; 机构东华大学计算机科学与技术学院; 出处《计算机应用与软件》 CSCD 2011年第9期144-147,共4页; 文摘针对常见的一对多数据分发场景,分析了网络的现实情况,包括NAT和防火墙等,提出使用Web服务实现数据分发。考虑到Web服务的效率问题,把由服务器使用TCP Socket推送数据技术与客户端通过Web服务获取数据技术相结合,成功实现了各种网络条件下的数据分发,并利用异步Socket方式提高了系统效率。系统实现时,考虑到各种网络故障,使用了多种方法保证了数据分发的可靠性。同时,提出了可达性测试算法,使得服务器可靠地辨别哪些客户端无法被服务器访问,从而需要客户端主动拉数据。最后给出了可靠性与效率分析,并以实例证明了系统的高效性。; 关键词数据分发 SOCKET WEB服务可达性测试防火墙 NAT; Keywords Data distribuation Socket Web Services Reachability test Firewall NAT; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一个生成Java程序同步序列集的新算法被引量：2: 4; 作者孙玉霞; 机构暨南大学计算机系; 出处《暨南大学学报（自然科学与医学版）》 CAS CSCD 北大核心 2006年第5期670-675,共6页; 基金国家自然科学基金(60173038)资助项目广东省科学基金(010421)资助项目; 文摘为了提高在Java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算法和判定算法.; 关键词 JAVA程序可达性测试同步序列时序约束竞争变形体; Keywords Java program reachability testing synchronization sequence sequential constraint race variant; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名移动IPv6通信与防火墙冲突问题研究: 5; 作者王峰闵志松王清贤; 机构解放军信息工程大学; 出处《计算机工程与设计》 CSCD 北大核心 2007年第11期2575-2576,2695,共3页; 文摘 IPv6协议取代IPv4已经成为趋势,IPv6对移动IP的具有更强的支持,但是现阶段防火墙存在无法正确处理移动IPv6数据包的问题。在分析移动IPv6的通信机制以及现阶段包过滤防火墙特性的基础上,针对移动节点在通信过程中位置变换的情况,分类探讨了移动IPv6的通信机制与现阶段防火墙过滤规则的各种冲突现象,总结了冲突的原因并提出了解决方案。; 关键词移动IPV6 防火墙包过滤返回路由可达性测试绑定更新; Keywords mobile IPv6 firewall packet filtering return routability test binding update; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于扩展同步序列的Java多线程程序可达性测试方法	王艳臣李必信戴君	《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料
2	ASRSP——一种新的并发程序测试准则	卢炎生卢超	《计算机科学》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
3	TCP Socket通信与Web服务结合实现高效可靠的数据分发	马辉黄秋波苏厚勤	《计算机应用与软件》 CSCD	2011	10	在线阅读下载PDF 职称材料
4	一个生成Java程序同步序列集的新算法	孙玉霞	《暨南大学学报（自然科学与医学版）》 CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
5	移动IPv6通信与防火墙冲突问题研究	王峰闵志松王清贤	《计算机工程与设计》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料