徐宝文 作品数:272 被引量:1,907 H指数:25 供职机构: 南京大学 更多>> 发文基金: 国家自然科学基金 江苏省自然科学基金 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 军事 理学 更多>>
多因素工业系统的故障快速识别方法 本发明公开了一种多因素工业系统的故障快速识别方法,该方法首先确定待测试的多因素工业系统的测试用例集Ts,然后用Ts中的测试用例对系统进行测试,运行时发生故障的测试用例组成集合Ts1,其特征在于通过对比Ts1中测试用例,从... 聂长海 徐宝文文献传递 FORTRAN 2000异常处理机制的研究 2004年 异常处理是现代程序设计语言的一个重要特征,它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持。本文分析了FORTRAN 2000的异常处理机制,并提出一种扩充方案,引入用户定义异常和异常处理区的概念,改进了异常的传播机制,从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离,提高了程序的可读性和可维护性。 鞠小林 徐宝文关键词:程序设计语言 FORTRAN 异常处理机制 程序代码 一种C++程序中无用对象的检测方法 被引量:1 2000年 面向对象程序中无用对象的存在降低了程序的可读性 ,浪费了系统的存储空间 ,在运行时又降低了程序的运行速度 .本文通过对 C++程序中对象之间的关系进行分析 ,提出了一个利用可达性分析来检测程序中无用对象的方法 . 张卫丰 徐宝文关键词:面向对象 C++语言 程序设计 类规模对面向对象度量与易维护性关联关系潜在混和效果元分析(英文) 2008年 用在设计阶段可以收集到的3个规模度量分析类规模对面向对象度量与易维护性之间关联关系的混和效果.为得到尽可能通用的结论,在127个C++系统和113个Java系统上分析类规模的混和效果.首先,对每个面向对象度量,在单个系统上计算代表由类规模造成的关联扭曲的间接效果和它的方差.然后,利用统计的元分析方法计算这些系统上的平均间接效果并判断它是否显著地区别于零.实验结果表明,不论使用哪个类规模度量进行分析,类规模对面向对象度量与易维护性之间关联关系的混和效果通常是存在的.因此,验证面向对象度量与易维护性之间关系的实验研究应将类规模视为一个混和变量. 卢红敏 周毓明 徐宝文关键词:面向对象 元分析技术及其在软件工程中的应用 被引量:1 2012年 从单个实验研究中很难得到可靠的实验结论,因此需要统计的方法将多个实验研究中的结果进行合并。首先,介绍将多个实验结果进行合并的统计元分析技术。然后,阐述元分析在软件工程研究中的重要意义以及当前的应用现状。最后,分析并总结其中存在的问题。 卢红敏 许蕾 徐宝文关键词:随机效应模型 固定效应模型 一种基于聚类不变式分析的错误定位方法 一种基于聚类不变式分析的错误定位方法,基于程序执行的不变式分析技术,收集程序执行过程中的语句频谱信息进行聚类,对各个类簇分别计算与变量相关的不变式;之后进行新的程序执行,根据新的执行所具有的程序频谱将其划分至某个聚类中,... 陈林 吴迪 许蕾 徐宝文文献传递 支持模糊隶属度比较的扩展模糊描述逻辑 被引量:10 2008年 语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restriction)概念构造子的扩展模糊描述逻辑FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概念形式以支持模糊隶属度比较.给出FCALCN的推理算法,证明了在空TBox约束下FCALCN的推理问题复杂性是多项式空间完全的.FCALCN能够表达语义Web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理. 康达周 徐宝文 陆建江 李言辉关键词:语义WEB 知识表示 描述逻辑 一种并发程序可测试性分析框架 被引量:7 2003年 软件可测试性是对测试软件难易程度的预测 ,在测试、度量等许多领域中得到了广泛应用 .由于并发程序执行的不确定性 ,其可测试性分析尚有很多难点有待解决 .该文提出了一种并发程序可测试性分析框架 .在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上 ,从单个并发单元、并发因素、共享变量因素及通信关系 4个方面对并发程序的可测试性进行了分析 ,为综合度量并发程序的可测试性提供了依据 . 陈振强 徐宝文 许蕾 张斌关键词:并发程序 软件测试 软件开发 一种基于敏感行为识别的安卓应用安全性分析方法 本发明提供了一种基于安卓应用源代码敏感行为识别的安卓应用安全性分析方法,包括下列步骤:1)源代码的获取与分析;2)敏感行为的获取;3)UI文本的提取;4)敏感行为数据的处理;5)特征值的选取;6)训练数据集的构成;7)安... 许蕾 缪小川 李言辉 徐宝文文献传递 TPython:一种扩充的Python语言 被引量:1 2009年 Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。 余超 周天琳 周晓宇 陈林 徐宝文关键词:PYTHON 解释器 动态语言