国家自然科学基金(60633010) 作品数:24 被引量:118 H指数:6 相关作者: 徐宝文 聂长海 蔡开元 周毓明 郭君红 更多>> 相关机构: 东南大学 北京航空航天大学 中国科学院软件研究所 更多>> 发文基金: 国家自然科学基金 国家杰出青年科学基金 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于依赖结构分析的类重要性度量方法 被引量:8 2008年 为支持自动识别系统中重要的类,提出了一种基于软件依赖结构分析的类重要性度量方法.该方法首先用一个图模型表达类之间的3种依赖关系,包括类-类继承依赖、类-属性交互依赖和类-方法交互依赖,然后用PageRank,HITS和Betweenness Centrality算法通过对依赖关系结构的全局分析来度量类的重要性.该方法仅使用在软件开发的分析和设计阶段可以得到的信息,因而可用来在软件开发的早期识别系统中重要的类.实验结果表明,在识别重要的类时,该方法产生与简单方法不同的结果. 周毓明 徐宝文关键词:面向对象 基于隶属度比较的描述逻辑SHOIQ模糊扩展 被引量:3 2013年 语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础. 康达周 徐宝文 李言辉关键词:模糊描述逻辑 知识表示 一种基于监控理论的软件设计方法:状态性质变换方法 被引量:2 2007年 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。 王向云 张文辉 王鹏 李永超 蔡开元关键词:反应式系统 软件设计 离散事件动态系统 使用复合蜕变关系进行软件测试的实例研究(英文) 被引量:1 2008年 蜕变测试时经常会出现蜕变关系检错能力低下的情况.基于命题逻辑的推理规则,提出了复合蜕变关系的构造方法,该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系.复合蜕变关系可以把原关系的优点综合起来,具有更强的检错能力.此外,由于将蜕变关系复合后关系数量减少,所以当使用它测试程序时,生成测试用例的数量会大幅度降低.通过2个实例对复合蜕变关系的测试性能进行研究,实验结果表明复合关系的性能主要取决于构成它的核心蜕变关系,以及关系复合的顺序.使用复合蜕变关系可以极大地提高测试效率. 董国伟 徐宝文 陈林 陈林 聂长海关键词:软件测试 补充生成测试用例的优先级设定与动态调整算法 被引量:2 2009年 测试用例优先级技术是一种实用高效的回归测试技术,然而现有各种优先级技术均围绕待复用的测试用例集,忽视了对补充生成测试用例的优先级设定和调整方法的讨论.针对这一问题,在现有研究基础上提出一种面向补充生成测试用例优先级的设定与动态调整方法,讨论这种方法在并行环境下的应用问题,最后通过一个实例研究表明:新方法能够有效地提高补充生成测试用例的使用效率. 屈波 徐宝文 聂长海飞行控制软件测试中的插桩技术 被引量:6 2009年 插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求. 李跃飞 郭君红 白成刚 蔡开元关键词:插桩 软件测试 飞行控制软件 实时性 A Reliability Improvement Predictive Approach to Software Testing with Bayesian Method The capability of improving software reliability is one of the main objectives of software testing.However,the... BAI Cheng-Gang,JIANG Chang-Hai,CAI Kai-Yuan National Key Laboratory of Science and Technology on Holistic Control Department of Automatic Control,Beihang University,Beijing 100191,P.R.China文献传递 类规模对面向对象度量与易维护性关联关系潜在混和效果元分析(英文) 2008年 用在设计阶段可以收集到的3个规模度量分析类规模对面向对象度量与易维护性之间关联关系的混和效果.为得到尽可能通用的结论,在127个C++系统和113个Java系统上分析类规模的混和效果.首先,对每个面向对象度量,在单个系统上计算代表由类规模造成的关联扭曲的间接效果和它的方差.然后,利用统计的元分析方法计算这些系统上的平均间接效果并判断它是否显著地区别于零.实验结果表明,不论使用哪个类规模度量进行分析,类规模对面向对象度量与易维护性之间关联关系的混和效果通常是存在的.因此,验证面向对象度量与易维护性之间关系的实验研究应将类规模视为一个混和变量. 卢红敏 周毓明 徐宝文关键词:面向对象 网络服务可靠性与运行剖面变化率有关吗 被引量:3 2008年 与传统软件相比,网络服务的运行环境发生了重大变化.网络服务运行环境不是封闭的而是开放的.开放运行环境下的运行剖面更为复杂和难以预测.其中运行剖面的时变性是开放运行环境下运行剖面的一个重要的特点.因为软件可靠性和运行剖面具有密切的关系,运行剖面模式的这种改变势必对可靠性有所影响.一个自然的假设是:网络服务的可靠性不仅与其当前运行剖面有关,还应与运行剖面的变化率有关.作为研究的第一步,通过一个现实的网站数据初步探讨了网络服务可靠性与运行剖面变化率的关系,并通过独立性假设检验方法得出了网络服务可靠性与运行剖面变化率在统计意义上是显著性相关的结论. 白成刚 苏亮 赵迎春 郭君红 蔡开元关键词:网络服务 软件可靠性评估 基于路径分析的死循环检测 被引量:7 2009年 提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高. 阮辉 严俊 张健关键词:死循环 测试数据