国家高技术研究发展计划(2006AA01Z177) 作品数:11 被引量:95 H指数:6 相关作者: 陈道蓄 顾庆 陈翔 陈焘 王树森 更多>> 相关机构: 南京大学 南通大学 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 江苏省自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 生物学 建筑科学 更多>>
一种基于执行轨迹的缺陷定位方法 提出一种基于执行轨迹的缺陷定位方法MLS。收集测试阶段的信息并组织测试用例的执行轨迹。然后根据程序中模块的特征选择与每个语句块相关的测试用例来计算该语句块的怀疑率。最后按怀疑率从高到低审查各语句块。实验表明该方法能够很好... 王新平 顾庆 张鑫 陈道蓄文献传递 Web应用测试用例生成研究 被引量:7 2010年 随着Internet的高速发展,Web应用成为软件的主流之一,Web应用程序也变得越来越复杂,从多方面着手提高Web应用的质量是Web应用开发者的必然选择。Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例。把现有的Web测试用例生成方法归结为4类:Capture/Replay方法、HTML分析法、源代码分析法、User-Session分析法,随后对这4类方法进行详细讨论,并归纳出这4类方法生成测试用例的一般步骤。最后总结了这4种方法的优缺点,从方法实现的难易程度、覆盖率等方面比较了它们的性能。 彭树深 顾庆 陈道蓄关键词:WEB应用测试 面向对比评估的软件系统安全度量研究 被引量:6 2009年 保护质量是指安全模块在进行安全处理时需要达到的安全目标。它是以一定的量化标准来衡量的。如何客观有效地评估现有软件系统是否满足保护质量的要求已成为研究热点之一。目前,大多数安全领域的从业者使用的是具有较高主观性的定性评估方法,使得评估结果依赖于个人经验而并不可靠,从而需要独立、客观、定量的安全度量方法。针对安全度量的复杂性和实施困难的情况,提出了基于对比评估的安全度量模型,分别从攻击面、拒绝服务和攻击图的角度讨论了两个或多个软件系统之间的相对安全性,并对评估的过程和结果进行了综合分析与研究。 张鑫 顾庆 陈道蓄关键词:拒绝服务 漏洞 攻击图 一种软件可靠性增长模型选择与综合方法 被引量:4 2009年 软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失效数据集选择优选模型集,根据优选模型集利用神经网络较好的学习预测能力计算可靠性。利用此方法对实际软件项目中的失效数据进行了分析,并验证了它的有效性。 冯光成 顾庆 陈翔 陈道蓄关键词:可靠性增长模型 神经网络 一种面向测试需求部分覆盖的测试用例集约简技术 被引量:26 2011年 软件系统开发中频繁面对局部更新和部分缺陷修改,此时需要选择性回归测试;为降低其测试工作量需要解决部分覆盖用例集约简问题.文中基于选择性回归测试形式化定义多目标用例集约简,并设计HATS算法解决该问题.HATS算法遵循启发式贪婪搜索框架,定义权重因子α平衡两方面目标:其一是减少用例集规模;其二是避免对无关需求的覆盖.实验结果表明:同现有约简技术和算法相比较,通过适当设置因子,αHATS算法能够降低用例集规模、减少对无关需求的覆盖、同时缓解对缺陷检测能力的影响.文中的创新贡献在两方面:其一根据选择性回归测试定义多目标用例集约简问题;其二是设计HATS算法以更少的测试用例数量维持缺陷检测效果. 顾庆 唐宝 陈道蓄关键词:软件测试 回归测试用例选择技术研究综述 被引量:6 2013年 回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先在回归测试活动和测试用例划分基础上,引出RTS问题和相关假设。随后从源代码和模型角度对已有RTS技术进行分类,从源代码角度出发,又进一步将其细分为线性规划法、数据流分析法、图遍历法、程序切片法和防火墙法等。接着对常见评测数据集和评测指标进行总结,最后对该问题的未来研究方向进行了展望。 陈翔 顾卫江 徐慧 顾庆 陈道蓄关键词:测试用例选择 线性规划 基于执行轨迹的软件缺陷定位方法研究 被引量:6 2009年 软件中隐含的缺陷数目与可靠性直接相关,软件缺陷定位是移除软件缺陷的关键,缺陷定位的及时性和有效性直接影响软件的可用性。基于执行轨迹的软件缺陷定位能够很好地与自动化测试相结合,有较强的现实意义。讨论了基于执行轨迹的软件缺陷定位方法通用框架FLOC,详细介绍了该框架的各个阶段,包括执行轨迹的组织、执行轨迹的选择、怀疑率的计算、定位报告的评价。分析了现有的基于执行轨迹的软件缺陷定位方法,并按照框架的结构比较了这些方法的特点,提出了改进的思路。最后对缺陷定位的发展提出展望。 王新平 顾庆 陈翔 张鑫 陈道蓄关键词:相似度 电信系统可靠性评估方法案例研究 2009年 为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进的评估方法,使得可靠性评估结果更加准确。目标系统是4个电信运营中重要的系统设备,使用残差分析R2检验来比较评估结果的优劣。 史栋杰 顾庆 冯光成 陈道蓄关键词:可靠性 定数截尾试验 定时截尾试验 电信系统 一种基于聚集系数的局部社团划分算法 被引量:13 2010年 社团划分算法是复杂网络研究中的一个热点问题。传统的复杂网络社团划分算法都必须获得全局网络的信息。随着网络规模不断增大,获得全局信息的难度随之增加;而在很多情况下只关心网络中某节点所在的局部社团。为了准确、快速地找到大规模复杂网络中的局部社团,提出了一种基于节点聚集系数性质的局部社团划分算法。该算法根据节点的连接频度,利用节点聚集系数的性质,从网络中某一待求节点开始,通过搜索邻居节点,划分该节点的社团结构。该算法只需要了解与待求节点相关的局部网络信息,在解决局部社团划分问题时其时间复杂度比传统的社团划分算法低。同时,该算法也可以应用于复杂网络全局社团结构的划分。利用该算法分别对Zachary空手道俱乐部网络和由Java开发工具包构成的软件网络图进行社团划分实验,并且分别对实验结果与对象网络的具体特征进行了对比分析。 李孔文 顾庆 张尧 陈道蓄关键词:社团划分 一种基于不变量的从工作流网到PERT图的转换方法 被引量:9 2008年 工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的. 葛季栋 胡昊 吕建关键词:工作流 PETRI网 不变量 PERT图