国家高技术研究发展计划(2007AA01Z141)

作品数：10被引量：32H指数：4
导出分析报告
相关作者：李必信张鹏程孙小兵陶传奇周颖更多>>
相关机构：东南大学更多>>
相关期刊：《计算机技术与发展》《计算机与数字工程》《小型微型计算机系统》《东南大学学报（自然科学版）》更多>>
相关主题：WEB服务抽象语法树切片CHI自动机更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于层次切片的软件错误定位方法被引量：6
《东南大学学报（自然科学版）》2010年第4期692-698,共7页许高阳 李必信 孙小兵 陶传奇 
国家自然科学基金资助项目(60773105);国家高技术研究发展计划(863计划)资助项目(2007AA01Z141);教育部新世纪优秀人才支持计划资助项目(NCET-06-0466)
提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通...
关键词：层次切片模型 抽象语法树 执行历史 逐步求精 
基于切片度量的重构对象识别被引量：3
《东南大学学报（自然科学版）》2010年第2期275-281,共7页张重峰 李必信 孙小兵 陶传奇 
国家自然科学基金资助项目(60773105);国家高技术研究发展计划(863计划)资助项目(2007AA01Z141);教育部新世纪优秀人才支持计划资助项目(NCET-06-0466)
为了提高识别重构对象的效率和正确性,提出一种自动化识别重构对象的技术.首先,在程序切片的基础上,构造一种度量函数来量化元素间的依赖程度.然后,利用度量结果识别出在原程序的位置和从属关系不合理的元素,从而自动识别出程序中的"坏...
关键词：程序切片 距离函数 控制度函数 度量 重构识别 
基于QoS的语义Web服务选择框架被引量：1
《计算机与数字工程》2009年第9期15-19,共5页王伟锋 刘亚军 
国家八六三项目(编号:2007AA01Z141)资助
服务质量(QoS)成为动态选择满足用户需求的Web服务的关键因素。然而目前Web服务的QoS信息描述缺乏语义性,且Web服务的选择还不能做到完全自动化。文章提出一种Web服务的QoS本体结构,并在此QoS本体和原有的语义Web服务的基础上提出基于Qo...
关键词：语义WEB服务 服务质量(QoS) QOS本体 QoS值匹配算法 服务选择框架 
一种基于监控需求的Web服务运行时监控方法被引量：4
《东南大学学报（自然科学版）》2009年第4期716-722,共7页孙明杰 李必信 张鹏程 
国家自然科学基金资助项目(60773105);江苏省自然科学基金资助项目(BK2007513);国家高技术研究发展计划(863计划)资助项目(2007AA01Z141);教育部新世纪优秀人才支持计划资助项目(NCET-06-0466)
提出了一种基于用户监控需求的Web服务运行时监控方法,给出了一个端到端的监控实施原型框架.首先采用WS-Policy对用户的多样性监控需求进行表达;然后生成AOP监控逻辑,获取服务运行时重要信息;最后使用特殊检测算法,基于MREG分析得出监...
关键词：WEB服务 运行时监控 监控需求 WS-Policy 
一种面向服务组合的回归测试技术被引量：1
《小型微型计算机系统》2009年第7期1357-1365,共9页王迪 蔡菊 李必信 
国家自然科学基金项目(60773105;60473065)资助;江苏省自然科学基金项目(BK2007513)资助;国家高技术研究发展计划项目(2007AA01Z141)资助;教育部新世纪优秀人才支持计划项目(NCET-06-0466)资助
服务组合是面向服务计算的关键技术,回归测试是服务组合演化与维护的重要组成部分.本文提出一种面向服务组合的回归测试方法,从服务消费者的角度,针对服务组合流程和绑定的变更,通过构造富含信息的扩展控制流图,对BPEL进行控制流分析,...
关键词：回归测试 测试路径 测试用例 服务组合 BPEL 
基于触摸屏驱动的Linux内核输入子系统研究被引量：2
《计算机技术与发展》2009年第3期5-8,共4页华明 徐造林 
国家"863"高技术研究发展计划(2007AA01Z141)
Linux是目前最为优秀的开源系统软件之一,其完全开放的特性和优良的性能表现使其在程序开发领域广受欢迎,而其不断完善的功能和极好的适应性更使其成为嵌入式领域的首选。根据应用的需要Linux推出了内核输入子系统的开发平台,极大地方...
关键词：LINUX 嵌入式 输入子系统 触摸屏 驱动程序 
基于扩展的层次有色petri网的组合服务测试用例生成被引量：3
《东南大学学报（自然科学版）》2008年第4期598-604,共7页蔡菊 王迪 李必信 
国家自然科学基金资助项目(60773105;60473065);江苏省自然科学基金资助项目(BK2007513);国家高技术研究发展计划(863计划)资助项目(2007AA01Z141);教育部新世纪优秀人才支持计划资助项目(NCET-06-0466)
为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后...
关键词：有色PETRI网 数据流 测试序列 OWL—S 组合服务 
面向用户的Web服务可靠性计算模型被引量：4
《东南大学学报（自然科学版）》2008年第4期605-610,共6页苏志勇 周颖 李必信 
江苏省自然科学基金资助项目(BK2007513);国家自然科学基金资助项目(60773105;60473065);国家高技术研究发展计划(863计划)资助项目(2007AA01Z141);教育部新世纪优秀人才支持计划资助项目(NCET-06-0466)
基于SOA,从用户的角度分析并计算Web服务及其应用的可靠性.首先采用一种扩展的UDDI模型收集可靠性相关数据,计算基本服务的可靠性、转移失效率和转移概率.然后基于BPEL文档构造组合服务的结构图,定义其结构属性,将转移失效率作为基本服...
关键词：面向用户 可靠性 结构属性 
软件体系结构测试技术的现状与思考被引量：2
《小型微型计算机系统》2008年第8期1450-1457,共8页巩绪芳 周颖 李必信 
国家自然科学基金项目(60773105;60473065)资助;江苏省自然科学基金项目(BK2007513)资助;国家高技术研究发展计划项目(2007AA01Z141)资助;教育部新世纪优秀人才支持计划项目(NCET-06-0466)资助
软件体系结构经过10年的研究和发展取得了一系列可喜的成就.目前,一些有代表性的软件测试策略被研究人员提议用于软件体系结构的测试.但是,传统的软件测试技术和方法不能直接用来解决软件体系结构的测试问题,需要改进传统的软件测试技...
关键词：软件体系结构 一致性测试 回归测试 结构测试 
属性序列图:形式语法和语义被引量：6
《计算机研究与发展》2008年第2期318-328,共11页张鹏程 周宇 李必信 徐宝文 
国家自然科学基金项目(60473065;60773105);江苏省自然科学基金项目(BK2007513);国家"八六三"高技术研究发展计划基金项目(2007AA01Z141);国家杰出青年科学基金项目(60425206)
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用...
关键词：时态逻辑 场景 属性序列图 Büchi 自动机 模型检验 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部