窦文生

作品数：7被引量：121H指数：2
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：代码分布式系统自动化测试方法自动化测试关系型数据库更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学与探索》《软件学报》《计算机科学》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于TLA+形式化规约的Raft协议测试
《软件学报》2024年第12期5363-5381,共19页王栋 窦文生 高钰 吴陈傲 魏峻 黄涛 
国家自然科学基金(62072444,62302493);国家自然科学基金联合基金(U20A6003)。
Raft是最为流行的分布式共识协议之一.自2014年被提出以来,Raft协议及其变体在各种分布式系统中被广泛应用.为了证明Raft协议的正确性,开发者使用TLA+形式化规约对协议设计进行了建模和验证.但由于抽象的形式化规约与实际的系统实现源...
关键词：RAFT 分布式系统 软件测试 模型检查 
谛听:面向鲁棒分布外样本检测的半监督对抗训练方法被引量：1
《软件学报》2024年第6期2936-2950,共15页周志阳 窦文生 李硕 亢良伊 王帅 刘杰 叶丹 
国家自然科学基金(61972386)。
检测训练集分布之外的分布外(out-of-distribution,OOD)样本对于深度神经网络(deep neural network,DNN)分类器在开放环境的部署至关重要.检测OOD样本可以视为一种二分类问题,即把输入样本分类为“分布内(in-distribution,ID)”类或“...
关键词：分布外样本检测 对抗鲁棒性 对抗训练 
共用数据导向的分布式系统失效恢复缺陷检测被引量：1
《软件学报》2023年第12期5578-5596,共19页高钰 王栋 戴千旺 窦文生 魏峻 
国家自然科学基金(62072444,61732019);中国科学院前沿科学重点研究项目(QYZDJ-SSW-JSC036);中国科学院青年创新促进会(2018142)。
分布式系统的可靠性和可用性至关重要.然而,不正确的失效恢复机制及其实现会引发失效恢复缺陷,威胁分布式系统的可靠性和可用性.只有发生在特定时机的节点失效才会触发失效恢复缺陷,因此,检测分布式系统中的失效恢复缺陷具有挑战性.提...
关键词：失效恢复缺陷 缺陷检测 故障注入 失效恢复 分布式系统 
区块链共识协议综述被引量：71
《软件学报》2021年第2期277-299,共23页夏清 窦文生 郭凯文 梁赓 左春 张凤军 
中国科学院战略性先导A类专项(XDA20080200)。
共识协议作为区块链的核心技术,近年来已经得到学术界和产业界的广泛重视,并取得了一系列研究成果.当前,关于共识协议的综述研究一般将共识协议作为整体进行比较分析,缺乏对共识协议中主要步骤的解耦与比较.将共识协议分为出块节点选举...
关键词：区块链 共识协议 出块节点选举 主链共识 工作量证明 
程序分析研究进展被引量：45
《软件学报》2019年第1期80-109,共30页张健 张超 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 
国家重点基础研究发展计划(973)(2014CB340701);中国科学院前沿科学重点项目(QYZDJ-SSW-JSC036);国家自然科学基金(61772308;U1736209;61872273;61672045;61472440;61632015;61872445;61502465)~~
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析...
关键词：程序分析 软件质量保障 静态分析 动态分析 
面向协作的软件开发环境及其构造方法被引量：1
《计算机科学与探索》2011年第7期624-632,共9页窦文生 王伟 高楚舒 魏峻 
国家高技术研究发展计划(863)No.2007AA010306~~
针对现有软件开发环境中,工具集成缺乏灵活的过程逻辑,开发者、工具、制品数据之间关系割裂的问题,提出了一种新的面向协作的软件开发环境——软件生产线,以及一种构造软件生产线的方法——软件生产线框架,详细阐述了软件生产线框架的...
关键词：软件生产线 工具集成 软件开发环境 
基于状态方面的Web服务动态替换被引量：2
《计算机科学》2009年第7期97-102,共6页窦文生 吴国全 魏峻 刘绍华 
国家高技术研究发展计划项目(No.2006AA01Z163;2007AA010301);国家科技支撑研究发展项目(No.2006BAH02A02)资助
随着面向服务计算技术的成熟,服务复合已成为Internet上开发企业间业务协作的一种新模式,WS-BPEL是服务复合事实上的标准。但是由于复合服务所依赖的第三方伙伴服务的分布、自治和松散耦合等特性,在执行过程中易受到伙伴服务失效的影响...
关键词：WEB服务 WS-BPEL 状态方面 动态替换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部