云南高校图书馆联盟文献共享服务平台- 国家教育部博士点基金(20100092110022)

国家教育部博士点基金(20100092110022): 作品数：14被引量：71H指数：4; 导出分析报告; 相关作者：李必信孙小兵吉顺慧文万志刘翠翠更多>>; 相关机构：东南大学扬州大学中国科学院软件研究所徐州师范大学更多>>; 相关期刊：《Science China(Information Sciences)》《计算机学报》《东南大学学报（自然科学版）》《电子学报》更多>>; 相关主题：切片CPS信息物理融合系统BPELWEB服务组合更多>>; 相关领域：自动化与计算机技术更多>>

Profiling selected paths with loops: 《Science China(Information Sciences)》2014年第7期70-84,共15页LI BiXin WANG LuLu LEUNG Hareton; supported by the Natural Science Foundation of Jiangsu Province (Grant No.BK20130633);the National Natural Science Foundation of China (Grant No.60973149);the Doctoral Fund of Ministry of Education of China (Grant No.20100092110022); Path profiling records the frequency of each path in an executed program.To accomplish profiling,probes are instrumented in the program and executed as the program runs.So,the number of probes has a significant impact...; 关键词：path profiling interesting paths dynamic analysis

过程间循环路径剖析方法被引量：1: 《计算机学报》2013年第11期2224-2235,共12页王璐璐李必信; 江苏省自然科学基金(BK20130633);国家自然科学基金(60973149);中国科学院计算机科学国家重点实验室开放基金(SYSKF1110);教育部博士点基金(20100092110022);江苏省高校科研成果产业化推进项目(JHB2011-3)资助~~; 该文在过程内剖析技术的基础上提出了一种新的过程间路径剖析方法PIP,能够精确地编码过程间路径和方法级执行序列.为了有效地处理方法间多态等复杂调用,文中提出了一种新的剖析模型PCCG(Polymorphic Cluster Call Graph),能够精确描述...; 关键词：路径剖析过程间路径多态动态分析软件测试

基于XCFG的BPEL数据流属性分析与验证被引量：3: 《电子学报》2013年第7期1365-1370,共6页吉顺慧李必信邱栋; 国家自然科学基金(No.60973149);博士点基金(No.20100092110022);江苏省高校科研成果产业化推进项目(No.JHB2011-3); BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证...; 关键词：WEB服务组合扩展控制流图(XCFG) 数据流属性验证

基于模型的构件软件修改影响分析被引量：11: 《软件学报》2013年第5期942-960,共19页陶传奇李必信 Jerry GAO 孙小兵; 国家自然科学基金(60773105;60973149);国家高技术研究发展计划(863)(2008AA01Z113);高等学校博士学科点专项科研基金(20100092110022);中国科学院软件研究所计算机科学国家重点实验室开放基金(SYSKF1110); 基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.面向构件的系统主要由第三方提供的可重用构件或者内建的可重用构件组成,因此,系统的质量好坏和维护的难易程度依赖于构件的品质.一...; 关键词：修改影响分析修改影响分析模型基于构件的软件软件维护

一种基于层次切片谱的软件错误定位技术被引量：18: 《软件学报》2013年第5期977-992,共16页文万志李必信孙小兵刘翠翠; 国家自然科学基金(60973149;61202006);高等学校博士学科点专项科研基金(20100092110022);中国科学院计算机科学国家重点实验室开放基金(SYSKF1110); 传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,...; 关键词：层次切片模型层次切片谱可疑度错误定位程序谱

基于条件执行切片谱的多错误定位被引量：12: 《计算机研究与发展》2013年第5期1030-1043,共14页文万志李必信孙小兵齐珊珊; 国家自然科学基金项目(60973149);国家自然科学基金青年科学基金项目(61202006);高等学校博士学科点专项科研基金项目(20100092110022);中国科学院计算机科学国家重点实验室开放基金项目(SYSKF1110); 基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了...; 关键词：多错误定位程序切片谱程序谱条件执行切片软件调试

一种基于微分代数动态逻辑的CPS建模与验证方法被引量：1: 《计算机研究与发展》2013年第4期700-710,共11页陈乔乔李必信吉顺慧; 国家自然科学基金项目(60973149);高等学校博士学科点专项科研基金项目(20100092110022);江苏省高校科研成果产业化推进项目(JHB2011-3); 随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑...; 关键词：信息物理融合系统微分代数动态逻辑 HybridUML 微分代数程序验证

A personalized trustworthy service selection method被引量：3: 《Journal of Southeast University(English Edition)》2013年第1期16-21,共6页吴晓娜李必信李超; The National Natural Science Foundation of China(No.60973149);the Open Funds of State Key Laboratory of Computer Science of the Chinese Academy of Sciences(No.SYSKF1110);the Doctoral Fund of Ministry of Education of China(No.20100092110022);the College Industrialization Project of Jiangsu Province(No.JHB2011-3); A personalized trustworthy service selection method is proposed to fully express the features of trust, emphasize the importance of user preference and improve the trustworthiness of service selection. The trustworthi...; 关键词：service selection trust metrics PREFERENCE trustworthiness analytic hierarchy process preference ranking organization method for enrichment evaluations

基于WSDG的Web服务组合可靠性预测被引量：1: 《东南大学学报（自然科学版）》2012年第6期1074-1079,共6页谢春丽李必信苏志勇; 国家自然科学基金资助项目(60973149);教育部博士点基金资助项目(20100092110022);江苏省高校科研成果产业化推进项目(JHB2011-3); 为了更好地对基于SOA的Web服务组合进行可靠性预测,提出了基于服务依赖图的可靠性模型.首先介绍了Web服务组合的描述语言WS-BPEL,以及用来描述服务业务流程的原子活动和结构化活动;其次在传统的控制流图的基础上提出了Web服务依赖图的概...; 关键词：WEB服务可靠性 Web服务依赖图 BPEL

基于微分动态逻辑的CPS建模与属性验证被引量：16: 《电子学报》2012年第6期1126-1132,共7页朱敏李必信陈乔乔吉顺慧李加凯; 国家自然科学基金(No.60973149);博士点基金(No.20100092110022);中科院计算机科学国家重点实验室开放基金基金(No.SYSKF1110); 随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型...; 关键词：信息物理融合系统微分动态逻辑 HybridUML 模型转换验证

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家教育部博士点基金(20100092110022)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家教育部博士点基金(20100092110022)

检索结果分析

下载全文

用户登录

高级检索检索式检索