可达性测试

作品数：11被引量：20H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙玉霞陈火炎李双权王艳臣卢炎生更多>>
相关机构：东南大学暨南大学华中科技大学诺基亚通信公司更多>>
相关期刊：《暨南大学学报（自然科学与医学版）》《计算机光盘软件与应用》《东南大学学报（自然科学版）》《电子世界》更多>>
相关基金：国家自然科学基金广东省自然科学基金湖北省自然科学基金国家科技型中小企业技术创新基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于扩展同步序列的Java多线程程序可达性测试方法探讨被引量：2
《电子世界》2016年第13期168-168,共1页陈伟 
随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在Java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列...
关键词：扩展同步序列 可达性测试 Java多线程程序 
基于扩展同步序列的Java多线程程序可达性测试思路构建探索被引量：1
《计算机光盘软件与应用》2014年第4期147-148,共2页孙小淋 
针对Java程序的并发性特点,应用可达性测试是一种有效的方法。但是,为了克服Java多线程程序在应用可达性测试的过程中,所产生的局限性和不能实现对事件的同步检测,或者同步检测错误等问题,需要应用一种基于扩展同步序列的可达性测试方法。
关键词：扩展 同步序列 Java多线程程序 可达性 测试思路 
TCP Socket通信与Web服务结合实现高效可靠的数据分发被引量：10
《计算机应用与软件》2011年第9期144-147,共4页马辉 黄秋波 苏厚勤 
针对常见的一对多数据分发场景,分析了网络的现实情况,包括NAT和防火墙等,提出使用Web服务实现数据分发。考虑到Web服务的效率问题,把由服务器使用TCP Socket推送数据技术与客户端通过Web服务获取数据技术相结合,成功实现了各种网络条...
关键词：数据分发 SOCKET WEB服务 可达性测试 防火墙 NAT 
一种并行程序可靠组合测试策略被引量：2
《华中科技大学学报（自然科学版）》2009年第6期4-7,共4页濮方琍 卢炎生 
国家部委科技攻关项目(513150601)
为了提高可达性测试的效率、可靠性和可操作性,提出了一种并行程序可靠组合测试策略.首先确定并行程序同步串中竞争接收项的向量时钟关系;然后构造初始竞争表(RT);接着根据横向增长规则和纵向增长规则对RT进行增长,直至并行程序同步串...
关键词：并行程序 可达性测试 并行测试 软件测试 测试策略 
ASRSP——一种新的并发程序测试准则
《计算机科学》2008年第2期268-273,共6页卢炎生 卢超 
国家"十一五"部委预研基金(No.513150601);湖北省自然科学基金(No.2005ABA255)
可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成。因此,目前亟需能投入实际应用的并发程序测...
关键词：软件测试 测试准则 可达性测试 并发 全发送接收语句对 
启发式学习自动化程序指令的可达性测试
《四川大学学报（工程科学版）》2007年第4期146-150,共5页金虎 李志蜀 陈良银 李勇军 李斌 孙继荣 
四川省重点科技攻关资助项目(05GG021);国家科技型中小企业技术创新基金资助项目(06C26225101730)
为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearc...
关键词：自动化软件测试 约束满足问题 前向检测 启发式学习 
异构网络环境下不确定并行程序行为分析
《微计算机信息》2007年第3期179-181,共3页张翠玲 胡铭曾 王巍 
国防十五预研资助项目(编号不公开)
传统的可达性测试算法可以解决消息传递并行程序测试中的完全性问题,但存在状态空间爆炸的问题,测试开销大。本文通过考虑网络带宽对并行程序行为的影响,对网络带宽异构环境下的传统可达性测试方法进行了改进。实验表明,改进算法有效的...
关键词：并行计算 可达性测试 消息传递 异构网络环境 完全性 
基于扩展同步序列的Java多线程程序可达性测试方法被引量：3
《东南大学学报（自然科学版）》2006年第6期931-936,共6页王艳臣 李必信 戴君 
国家自然科学基金资助项目(60473065);计算机软件新技术国家重点实验室(南京大学)课题资助项目
为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实...
关键词：可达性测试 多线程 扩展同步序列 
一个生成Java程序同步序列集的新算法被引量：2
《暨南大学学报（自然科学与医学版）》2006年第5期670-675,共6页孙玉霞 
国家自然科学基金(60173038)资助项目;广东省科学基金(010421)资助项目
为了提高在Java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算...
关键词：JAVA程序 可达性测试 同步序列 时序约束 竞争变形体 
一个用于Java程序可达性测试的改进方案被引量：3
《微计算机信息》2006年第06X期252-254,36,共4页孙玉霞 陈火炎 
国家自然科学基金项目(编号:60173038);广东省科学基金项目(编号:010421)
Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减...
关键词：可达性测试 同步序列 伯恩斯坦条件 时序约束 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部