江苏省自然科学基金(BK2006115)
- 作品数：8 被引量：58H指数：4
- 相关作者：陈道蓄顾庆陈翔陈焘王树森更多>>
- 相关机构：南京大学更多>>
- 发文基金：江苏省自然科学基金国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信生物学建筑科学更多>>
- 基于执行轨迹的软件缺陷定位方法研究被引量：6
- 2009年
- 软件中隐含的缺陷数目与可靠性直接相关,软件缺陷定位是移除软件缺陷的关键,缺陷定位的及时性和有效性直接影响软件的可用性。基于执行轨迹的软件缺陷定位能够很好地与自动化测试相结合,有较强的现实意义。讨论了基于执行轨迹的软件缺陷定位方法通用框架FLOC,详细介绍了该框架的各个阶段,包括执行轨迹的组织、执行轨迹的选择、怀疑率的计算、定位报告的评价。分析了现有的基于执行轨迹的软件缺陷定位方法,并按照框架的结构比较了这些方法的特点,提出了改进的思路。最后对缺陷定位的发展提出展望。
- 王新平顾庆陈翔张鑫陈道蓄
- 关键词：相似度
- 基于复杂网络的大型软件系统度量被引量：14
- 2009年
- 随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量;实现了大型Java程序复杂网络描述和度量工具JPAC。JPAC可用于分析大型Java系统的结构,并计算基于复杂网络的各度量值。
- 王树森顾庆陈焘陈道蓄
- 关键词：复杂网络软件系统
- 面向对比评估的软件系统安全度量研究被引量：6
- 2009年
- 保护质量是指安全模块在进行安全处理时需要达到的安全目标。它是以一定的量化标准来衡量的。如何客观有效地评估现有软件系统是否满足保护质量的要求已成为研究热点之一。目前,大多数安全领域的从业者使用的是具有较高主观性的定性评估方法,使得评估结果依赖于个人经验而并不可靠,从而需要独立、客观、定量的安全度量方法。针对安全度量的复杂性和实施困难的情况,提出了基于对比评估的安全度量模型,分别从攻击面、拒绝服务和攻击图的角度讨论了两个或多个软件系统之间的相对安全性,并对评估的过程和结果进行了综合分析与研究。
- 张鑫顾庆陈道蓄
- 关键词：拒绝服务漏洞攻击图
- 一种软件可靠性增长模型选择与综合方法被引量：4
- 2009年
- 软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失效数据集选择优选模型集,根据优选模型集利用神经网络较好的学习预测能力计算可靠性。利用此方法对实际软件项目中的失效数据进行了分析,并验证了它的有效性。
- 冯光成顾庆陈翔陈道蓄
- 关键词：可靠性增长模型神经网络
- 基于复杂网络的JDK代码结构演化研究被引量：4
- 2007年
- 软件系统日趋大型化和复杂化使得软件系统的结构可以用复杂网络来表示，研究表明，大规模软件系统结构表现出复杂网络的各项特征如小世界效应和无标度特性等，复杂网络成为理解软件系统结构和演化的重要方法之一．本文定义了一种针对Java程序的网络拓扑图，为JDK构造复杂网络，并统计其度分布标度指数、平均距离、平均簇系数等网络特征．同时研究这些特征随JDK版本的变化，提出了一个基于模块的演化模型，并对JDK的版本演化进行模拟．实验结果表明JDK具有复杂网络的各项特征，是一个复杂网络，并且与一般复杂网络的演化模型不同，其演化模型具有软件系统的特征——模块化，能与软件系统演化的实际相符合．
- 陈焘顾庆王树森陈道蓄
- 关键词：复杂网络软件系统模块化
- 电信系统可靠性评估方法案例研究
- 2009年
- 为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进的评估方法,使得可靠性评估结果更加准确。目标系统是4个电信运营中重要的系统设备,使用残差分析R2检验来比较评估结果的优劣。
- 史栋杰顾庆冯光成陈道蓄
- 关键词：可靠性定数截尾试验定时截尾试验电信系统
- 组合测试研究进展被引量：21
- 2010年
- 组合测试(Interaction Testing)是一种有效的测试用例生成技术,它假设被测系统中的缺陷往往由少数参数间的交互触发,所以可以使用较小规模的测试用例集(Test Suite)完成高质量的软件测试。对目前组合测试的已有工作予以研究,首先通过介绍常见的组合覆盖标准引入组合测试问题;然后总结目前常见的4种组合对象;之后依据生成策略的特征对现有的组合测试技术予以分类并简要介绍其中的典型方法;接着给出一套评价标准并对各个方法予以综合比较;最后总结并提出下一步的研究方向。
- 陈翔顾庆王新平陈道蓄
- 关键词：代数构造
- 基于复杂网络的Java程序分析工具设计与实现被引量：4
- 2009年
- 随着软件产业的迅速发展,软件系统的功能和结构日益复杂,有必要有效地理解复杂软件系统的结构,理解其在生命周期里的变化规律。开发了一个基于复杂网络的Java程序分析工具,分析Java代码,为Java软件系统结构构建复杂网络,并进行复杂网络特征的统计和分析,为更好地研究和理解复杂软件系统的结构及其演化规律提供了有力的支持。
- 陈焘李孔文王树森顾庆陈道蓄
- 关键词：软件系统结构复杂网络
