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

国家自然科学基金(61170071): 作品数：15被引量：98H指数：4; 导出分析报告; 相关作者：王蓁蓁陈林徐宝文许蕾吴迪更多>>; 相关机构：金陵科技学院南京大学中国科学院软件研究所南京航空航天大学更多>>; 相关期刊：《南京大学学报（自然科学版）》《计算机应用与软件》《小型微型计算机系统》《应用科技》更多>>; 相关主题：软件测试面向对象程序设计SOCIAL_NETWORKSOF-THE-ART程序语言更多>>; 相关领域：自动化与计算机技术兵器科学与技术理学更多>>

抽象解释的部分等价逻辑关系模型: 《南京大学学报（自然科学版）》2015年第2期453-457,共5页王蓁蓁; 国家自然科学基金(61170071);金陵科技学院科研基金(jit-n-201305); 抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原系统上的一...; 关键词：抽象解释部分等价关系逻辑部分等价关系

Link prediction in social networks: the state-of-the-art被引量：56: 《Science China(Information Sciences)》2015年第1期1-38,共38页WANG Peng XU BaoWen WU YuRong ZHOU XiaoYu; supported by National Key Basic Research and Development Program of China (Grant No. 2014CB340702);National Natural Science Foundation of China (Grant Nos. 61170071, 91318301, 61321491, 61472077);China Postdoctoral Science Foundation (Grant No. 2014M560378);Foundation of the State Key Laboratory of Software Engineering (SKLSE); In social networks, link prediction predicts missing links in current networks and new or dissolution links in future networks, is important for mining and analyzing the evolution of social networks. In the past decad...; 关键词：social network link prediction dynamic network similarity metric learning model

基于两个等级分布的平均随机TBFL方法: 《计算机应用与软件》2014年第9期16-21,39,共7页王蓁蓁; 国家自然科学基金项目(61170071);金陵科技学院科研基金项目(jit-b-201207); 运用测试集对程序错误语句定位算法,现在被统称为TBFL(testing based fault localization)方法。目前通行的算法,一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费掉。随机TBFL方法是一类新的TBFL方法...; 关键词：错误定位测试为基础的错误定位随机错误定位方法

Identifying extract class refactoring opportunities for internetware被引量：1: 《Science China(Information Sciences)》2014年第7期33-50,共18页CHEN Lin QIAN Ju ZHOU YuMing WANG Peng XU BaoWen; supported by National Natural Science Foundation of China (Grant Nos.61003020,61170071,61003156,61073029,61321491);Jiangsu Natural Science Foundation (Grant No.BK2011190); The quality of internetware software is significantly associated with class structure.As software evolves,changes often introduce many unrelated responsibilities to the same classes or distribute tightly-related metho...; 关键词：REFACTORING extract class community structure software modularity INTERNETWARE

SIMPLE:一种新型多范型程序设计语言: 《计算机科学》2014年第7期1-8,44,共9页吴迪陈林徐宝文; 国家重点基础研究发展计划项目(2014CB340702);国家自然科学基金项目(61170071);江苏省自然科学基金(BK2011190)资助; 为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程...; 关键词：程序设计语言语言设计多范型程序设计面向过程程序设计面向对象程序设计函数式程序设计

基于测试结果调整语句出错概率方法: 《计算机工程与科学》2014年第5期891-899,共9页王蓁蓁; 国家自然科学基金资助项目(61170071);金陵科技学院科研基金资助项目(jit-n-201305); 运用测试集对程序错误语句定位的算法被统称为TBFL方法。目前通行的TBFL算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费。随机TBFL就是一类新型TBFL方法,其精神就是在随机理论的框架下,把这些...; 关键词：软件测试错误定位先验知识随机方法

软件测试理论初步框架被引量：23: 《计算机科学》2014年第3期12-16,35,共6页王蓁蓁; 国家自然科学基金项目(61170071);金陵科技学院科研基金(jit-b-201207)资助; 软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种...; 关键词：软件测试软件度量程序语言随机测试

Ada语言的发展被引量：1: 《计算机科学》2014年第1期1-15,38,共16页吴迪徐宝文; 国家自然科学基金项目(61170071)资助; Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好...; 关键词：ADA 程序设计语言强类型机制程序包分别编译异常处理类属单元面向对象程序设计并发程序设计契约式程序设计大型软件开发

等级平均随机TBFL方法: 《计算机科学》2014年第1期235-241,共7页王蓁蓁; 国家自然科学基金项目(61170071);金陵科技学院科研基金项目(jit-n-201305)资助; 运用测试集对程序错误语句定位的算法,现在被统称为TBFL(testing based fault localization)方法。目前通行的算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费掉。文献[12]引入了一类新的随机TBF...; 关键词：错误定位测试为基础的错误定位随机错误定位方法

智能随机TBFL方法: 《应用科技》2013年第6期39-45,共7页王蓁蓁; 国家自然科学基金资助项目(61170071);金陵科技学院科研基金资助项目(jit-n-201305); 测试集测试结果对程序错误定位算法(testing-based fault localization,TBFL)没有考虑到程序和测试用例集本身的信息,而智能随机TBFL方法,则是利用随机理论将测试员、程序员关于测试用例和程序的先验知识和测试结果信息结合起来,去定位...; 关键词：错误定位测试为基础的错误定位随机错误定位方法软件测试智能算法

国家自然科学基金(61170071)