国家自然科学基金(61370051)

作品数：11被引量：40H指数：4
导出分析报告
相关作者：赵会群毛立志孙晶江燕敏韩兵更多>>
相关机构：北方工业大学北京航空航天大学更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《计算机学报》《信息与电脑（理论版）》更多>>
相关主题：JDBC代数模型RFIDJAVA数据库连接快照更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基本路径测试用例自动生成的方法研究被引量：2
《计算机工程与应用》2018年第20期48-53,共6页孙晶 李硕 赵会群 
国家自然科学基金(No.61370051)
基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术...
关键词：基本路径测试 测试用例生成 编译技术 规约自动提取 条件归约组合优化 
SOA下服务演化的方法研究被引量：2
《计算机应用研究》2018年第9期2802-2805,2810,共5页孙晶 王欣悦 
国家自然科学基金资助项目(61370051)
在验证网构软件模型代数性质等价的理论基础上,为了进一步优化代数性质的性能,针对SOA下BPEL程序结构的自动演化方法进行了研究。通过网构软件分析BPEL结构的等价演化代数性质,提出一种BPEL等价自动演化算法。结合编译技术对BPEL结构进...
关键词：网构软件 面向服务的体系 自动演化 
基于JDBC数据管理与查询优化的研究被引量：5
《计算机技术与发展》2018年第9期176-180,共5页韩兵 李晶晶 方英兰 
国家自然科学基金(61370051)
在大多数Web应用系统中,当用户浏览数据时,每次都向数据库发送查询请求的做法会使系统性能下降,查询速度降低,而利用缓存技术将部分数据缓存在Web应用服务中可以减少对数据库的查询操作,提高数据的利用率和检索效率。JDBC是应用程序与...
关键词：JDBC WEB应用 热点数据 缓存置换 缓存价值 命中率 
开源软件可信性评价方法被引量：1
《计算机工程与设计》2017年第12期3272-3278,共7页孙晶 刘丽丽 
国家自然科学基金项目(61370051)
为有效解决企业和用户对开源软件的可信性的评价,分析开源软件的特点,提出开源软件可信性模型,给出开源软件的可信属性及组件可信性定义。爬取缺陷跟踪系统中开源软件可信证据,评价开源软件在实时运行时的可信性;在此基础上,对可信属性...
关键词：开源软件 可信性模型 缺陷跟踪系统 可信证据 火狐浏览器 
软件模型代数性质的程序化验证
《计算机科学》2017年第11期240-245,共6页赵会群 黄榆涵 
国家自然科学基金(61370051)资助
软件模型代数的思想是通过引入进程代数来对软件体系结构进行建模。它将构件解释为变量,将连接子抽象为代数运算,并针对软件的特性建立了软件体系结构代数模型。在代数模型的基础上,讨论分析获得一系列能指导软件演化的代数性质。但是,...
关键词：代数模型 代数性质 程序化验证 软件演化 
基于JDBC的数据访问优化技术被引量：14
《计算机工程与设计》2017年第8期1991-1996,2031,共7页韩兵 江燕敏 方英兰 
国家自然科学基金项目(61370051)
为使Web应用系统能够有效、快速地访问数据,分析当前Web系统三层框架有关数据缓存和访问优化的技术,通过对JDBC接口原理及实现技术的深入研究,提出基于JDBC的数据自主识别、前置驻留与快速访问的策略和实现方案。使用key-value存储机制...
关键词：JAVA数据库连接 数据识别 数据前置 访问过滤 快照数据 
复杂事件模式检测与CEP测试数据生成算法研究被引量：6
《计算机学报》2017年第1期256-272,共17页赵会群 孙晶 杨岩坤 毛立志 
国家自然科学基金(61370051)资助~~
随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件...
关键词：复杂事件处理 事件模式检测 测试数据生成 大数据 代数模型 
一种RFID复杂事件语义分析方法研究被引量：1
《计算机应用研究》2016年第10期3041-3044,共4页赵会群 毛立志 
国家自然科学基金面上项目(61370051)
现有的RFID复杂事件处理模型,如基于Petri网的模型、基于树的模型、基于图的模型、基于自动机的模型,并不能十分有效地解决复杂的RFID应用问题,具体地说,RFID复杂事件的语义分析方面缺乏进一步的研究。针对上述问题,提出了一种RFID复杂...
关键词：射频识别技术 复杂事件 事件属性 编译技术 语义分析 
一种BPEL结构演化算法研究被引量：1
《计算机应用研究》2016年第9期2637-2640,2668,共5页孙晶 李东方 
国家自然科学基金资助项目(61370051)
针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的...
关键词：服务演化 并发 BPEL结构 
基于数据链的软件故障定位方法被引量：9
《软件学报》2015年第2期254-268,共15页杨波 吴际 刘超 
国家自然科学基金(61370051)
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考...
关键词：故障定位 数据流 变量 数据链 软件测试 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部