云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60633010)

国家自然科学基金(60633010): 作品数：24被引量：107H指数：5; 导出分析报告; 相关作者：徐宝文聂长海蔡开元周毓明郭君红更多>>; 相关机构：东南大学北京航空航天大学中国科学院软件研究所南京大学更多>>; 相关期刊：《Science China(Information Sciences)》《计算机学报》《北京航空航天大学学报》《控制理论与应用》更多>>; 相关主题：软件测试OBJECT-ORIENTED插桩技术插桩飞行控制软件更多>>; 相关领域：自动化与计算机技术电子电信更多>>

A fuzzy extension for SHOIQ based on comparisons between degrees of membership被引量：2: 《Science China(Information Sciences)》2013年第8期162-172,共11页KANG DaZhou XU BaoWen LI YanHui; supported by China Postdoctoral Science Foundation (Grant No. 20090461085);the National High-Technology Research and Development Program of China (Grant No. 2009AA01Z147);the National Natural Science Foundation of China (Grant Nos. 90818027,60633010); The current fuzzy extensions for description logics do not support representing and reasoning with complex fuzzy knowledge about comparisons between degrees of membership, which is very useful in practi- cal applicati...; 关键词：fuzzy description logic knowledge representation~ reasoning algorithm

基于隶属度比较的描述逻辑SHOIQ模糊扩展被引量：3: 《中国科学：信息科学》2013年第5期571-583,共13页康达周徐宝文李言辉; 国家自然科学基金重大研究计划项目(批准号:90818027);国家自然科学基金重大研究计划重点项目(批准号:60633010);国家博士后科学基金项目(批准号:20090461085)资助; 语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FS...; 关键词：模糊描述逻辑隶属度比较知识表示推理算法

飞行控制软件测试中插桩技术的优化方法被引量：3: 《计算机工程》2010年第4期20-21,24,共3页郭君红李跃飞白成刚蔡开元; 国家自然科学基金资助项目(60633010); 飞行控制软件主要采用Host-Target的仿真测试模式,并基于插桩技术实现覆盖测试。针对采用传统的程序插桩技术,往往会大量增加程序运行时间,降低程序的实时性甚至导致软件失效的问题,通过分析插桩在程序仿真测试中对程序各阶段执行时间...; 关键词：飞行控制软件覆盖测试插桩

Automatic Identification of Use Cases from Codes: A User’s Goal Driven Approach: 《Wuhan University Journal of Natural Sciences》2009年第5期409-414,共6页ZHOU Xiaoyu QIAN Ju CHEN Lin XU Baowen; Supported by the Major Research Plan of the National Natural Science Foundation of China(90818027);the Key Program of the National Natural Science Foundation of China(60633010);the National Natural Science Foundation of China (60873050,60873049,60803008);the Natural Science Foundation of Jiangsu Province of China(BK2006094,BK2008292);the Opening Foundation of State Key Laboratory of Software Engineering in Wu-han University (SkLSE20080717); Based on the different roles played by base flow and alternative flow in the process to achieve user＇s goals, we have found that loop structure is frequently used to implement alternative flow and/or to connect diffe...; 关键词：use case identification control flow graph program analysis reverse engineering unified modeling language （UML）

基于路径分析的死循环检测被引量：7: 《计算机学报》2009年第9期1750-1758,共9页阮辉严俊张健; 国家自然科学基金(60633010);国家"八六三"高技术研究发展计划项目基金(2009AA01Z148)资助~~; 提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是...; 关键词：死循环循环展开路径可行性测试数据

Slicing Java Generic Programs Using Generic System Dependence Graph: 《Wuhan University Journal of Natural Sciences》2009年第4期304-308,共5页CHEN Lin1,2,XU Baowen1,2 1.State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093,Jiangsu China 2.Department of Computer Science and Technology,Nanjing University,Nanjing 210093,Jiangsu China; Supported by and the National High Technology Research and Development Program of China (863 Program) (2009AA01Z147);the National Natural Science Foundation of China (90818027, 60633010); The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for ...; 关键词：SLICING system dependence graph GENERICS program analysis

Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration: 《Wuhan University Journal of Natural Sciences》2009年第4期321-326,共6页QIAN Ju XU Baowen ZHOU Xiaoyu CHEN Lin SHI Liang; Supported by the National High Technology Research and Development Program of China (863 Program) (2009AA01Z147);the National Natural Science Foundation of China (90818027, 60633010, 60803008);the National Science Foun for Distinguished Young Scholars (60425206); To avoid the precision loss caused by combining data- flow facts impossible to occur in the same execution path in dependence analysis for C programs, this paper first proposes a flow-sensitive and context-insensitive...; 关键词：pointer analysis dependence analysis executable path

飞行控制软件测试中的插桩技术被引量：6: 《北京航空航天大学学报》2009年第5期580-583,共4页李跃飞郭君红白成刚蔡开元; 国家自然科学基金资助项目(60633010); 插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相...; 关键词：插桩软件测试飞行控制软件实时性

测试资源受约束的安全关键软件加速测试方法被引量：5: 《计算机科学》2009年第5期138-141,共4页张德平聂长海徐宝文; 教育部博士点基金(20060286020);国家自然科学基金(60425206,60773104,60633010,60503033);武汉大学软件工程重点实验室开放基金;东南大学优秀青年教师教学科研基金资助; 基于马尔可夫链使用模型提出了一种针对安全关键软件测试资源受约束的启发式加速测试方法。该方法利用一种新的随机优化技术——交叉熵方法,以软件投放后软件失效风险损失最小为目标,基于失效风险损失通过修正操作剖面,自动生成测试数...; 关键词：软件测试安全关键软件加速测试方马尔可夫链使用模型交叉熵方法

补充生成测试用例的优先级设定与动态调整算法被引量：2: 《山东大学学报（工学版）》2009年第2期137-140,共4页屈波徐宝文聂长海; 国家自然科学基金资助项目(60773104,60633010);教育部博士点基金资助项目(20060286020);江苏省自然科学基金资助项目(BK2005060);东南大学优秀青年教师教学科研资助计划资助项目; 测试用例优先级技术是一种实用高效的回归测试技术,然而现有各种优先级技术均围绕待复用的测试用例集,忽视了对补充生成测试用例的优先级设定和调整方法的讨论.针对这一问题,在现有研究基础上提出一种面向补充生成测试用例优先级的设定...; 关键词：回归测试优先级技术动态调整

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60633010)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60633010)

检索结果分析

下载全文

用户登录

高级检索检索式检索