云南高校图书馆联盟文献共享服务平台- 国家高技术研究发展计划(2007AA010302)

国家高技术研究发展计划(2007AA010302): 作品数：30被引量：132H指数：6; 导出分析报告; 相关作者：宫云战杨朝红金大海肖庆王雅文更多>>; 相关机构：北京邮电大学装甲兵工程学院华东师范大学北京航空航天大学更多>>; 相关期刊：《北京航空航天大学学报》《电子学报》《计算机应用研究》《High Technology Letters》更多>>; 相关主题：软件测试自动生成状态机不可达路径源代码更多>>; 相关领域：自动化与计算机技术理学建筑科学更多>>

覆盖测试中基于回溯法的路径选择被引量：4: 《软件》2014年第11期9-13,共5页俞濛黄俊飞; 国家"八六三"高技术研究发展计划基金(2007AA010302);国家自然科学基金(91018002); 单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高自动化单元测试的覆盖率,本文提出了一种面向目标覆盖元素,基于回溯法遍历程序控制流图,选择可达路径的方法。该方法从函数入口节点开始,进行深度优先的路径遍历,以当前的部分路径...; 关键词：软件测试单元测试区间运算路径选择不可达路径

Context-aware end-to-end QoS diagnosis and guarantee based on Bayesian network: 《High Technology Letters》2012年第1期51-58,共8页Lin Xiangtao Cheng Bo Chen Junliang Qiao Xiuquan; Supported by the National High Technology Research and Development Program of China （No. 2007AA010302, 2009AA012404）; the National Basic Research Program of China （No. 2007CB307103）; the National Natural Science Foundation of China （No. 60432010, 60802034） ; the Specialized Research Fund for the Doctoral Program of Higher Education （No. 20070013026）.; A systematic approach for end-to-end QoS qualitative diagnosis and quantitative guarantee is proposed to support quality of service （QoS） management on current Internet. An automatic unwatched discretization algorit...; 关键词：CONTEXT context discretization quality of service （QoS） qualitative diagnosis quantitativeguarantee Bayesian network

基于源代码的内存泄漏静态分析方法被引量：4: 《内蒙古大学学报（自然科学版）》2011年第5期515-520,共6页甘红星金大海宫云战; 国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404);国家自然科学基金资助项目(91018002); 在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语...; 关键词：内存泄漏控制流图抽象语法树可达路径

Research and implementation on multi-dimension trust evaluation method with web service: 《High Technology Letters》2011年第3期252-258,共7页Mao Hongyan Qi Zhengwei; Integrating with practical e-commerce application, this paper introduces a novel multi-dimension evaluation method to depict and calculate the trust values. The multi-dimension evaluation metrics include functional an...; 关键词：multi-dimension measurement trusting model Markov chain mechanism web service

一个基于Eclipse的通用Java程序插桩工具被引量：3: 《计算机科学》2011年第7期139-143,169,共6页郑晓梅; 863国家高技术研究发展计划(2007AA010302);国家自然科学基金(60425204);江苏省自然科学基金(BK2007714);江苏省高校自然科学基金(07KJB10002)资助; 插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作。此外,由于在原始程序中插入了大量额外代...; 关键词：程序插桩 JAVA ECLIPSE插件

基于抽象解释的变量值范围分析及应用被引量：16: 《电子学报》2011年第2期296-303,共8页王雅文宫云战肖庆杨朝红; 国家863高技术研究发展计划重点项目(No.2007AA010302);国家863高技术研究发展计划(No.2009AA012404); 精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值...; 关键词：软件测试静态分析抽象解释区间抽象范围分析不可达路径

函数后置信息在软件静态测试中的应用被引量：2: 《北京邮电大学学报》2010年第6期103-106,111,共5页金大海宫云战杨朝红肖庆; 国家高技术研究发展计划项目(2009AA012404);国家高技术研究发展计划重点项目(2007AA010302); 为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI.该方法以较低的计算复杂性得到所有函数的后...; 关键词：软件测试静态测试函数后置信息控制流迭代

XML联合签名: 《计算机科学》2010年第8期208-213,247,共7页郑晓梅张天; 863国家高技术研究发展计划(No.2007AA010302);国家自然科学基金(No.60425204);江苏省自然科学基金(No.BK2007714)资助; 首先分析了目前Web服务架构中XML多方通信业务链的典型应用,并建立了相应的研究模型。基于此模型,提出了联合签名加密技术,以解决传统签名技术在此类应用中存在的重复签名、信息关联不严格等问题。同时,分析了通过现有XML签名规范实现...; 关键词：XML多方通信业务链联合签名 XML签名 XML联合签名

Java语言基于函数摘要的全局分析静态测试方法被引量：2: 《计算机研究与发展》2010年第S1期64-68,共5页胡成杰宫云战金大海; 国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404); 静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法....; 关键词：函数摘要静态测试缺陷模式全局分析

一种悬挂指针故障的静态检测方法被引量：2: 《计算机研究与发展》2010年第S1期69-73,共5页孙涛宫云战金大海; 国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404); 悬挂指针是指那些不指向任何合法对象的指针,它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因.针对C/C++语言中常见悬挂指针故障进行了分析,建立了悬挂指针类型故障模型,设计并实现了一种悬挂指针故障的静态检测方法...; 关键词：软件测试静态分析悬挂指针函数摘要

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