您的位置: 专家智库 > >

董威

作品数:165 被引量:578H指数:11
供职机构:国防科学技术大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术文化科学军事理学更多>>

文献类型

  • 80篇专利
  • 69篇期刊文章
  • 12篇会议论文
  • 2篇科技成果
  • 1篇学位论文

领域

  • 112篇自动化与计算...
  • 14篇文化科学
  • 3篇军事
  • 1篇动力工程及工...
  • 1篇电子电信
  • 1篇航空宇航科学...
  • 1篇一般工业技术
  • 1篇理学

主题

  • 17篇软件工程
  • 16篇代码
  • 14篇配置项
  • 11篇迭代
  • 10篇语义
  • 10篇自动机
  • 9篇软件开发
  • 8篇搜索
  • 8篇监控器
  • 8篇UML
  • 7篇源代码
  • 7篇课程
  • 7篇规约
  • 6篇软件测试
  • 6篇数据库
  • 6篇嵌入式
  • 6篇污点
  • 6篇向量
  • 6篇遍历
  • 5篇切片

机构

  • 160篇国防科学技术...
  • 5篇华中师范大学
  • 4篇中国人民解放...
  • 3篇南京大学
  • 3篇教育部
  • 2篇上海交通大学
  • 2篇中国人民解放...
  • 2篇中国人民解放...
  • 1篇东北大学
  • 1篇长沙学院
  • 1篇北京交通大学
  • 1篇武汉大学
  • 1篇中国科学院
  • 1篇中国人民解放...
  • 1篇中山大学
  • 1篇中国科学院软...
  • 1篇北京系统工程...
  • 1篇中国人民解放...
  • 1篇北京市遥感信...
  • 1篇国防科技大学

作者

  • 164篇董威
  • 74篇陈立前
  • 73篇王戟
  • 54篇陈振邦
  • 43篇李姗姗
  • 34篇齐治昌
  • 31篇毛晓光
  • 31篇文艳军
  • 29篇刘万伟
  • 13篇廖湘科
  • 12篇王腾
  • 10篇刘江潮
  • 8篇周书林
  • 6篇李小玲
  • 6篇尹良泽
  • 6篇宁洪
  • 6篇马俊
  • 5篇谭庆平
  • 5篇舒绍娴
  • 5篇赵常智

传媒

  • 11篇计算机工程与...
  • 9篇软件学报
  • 7篇计算机科学
  • 5篇计算机教育
  • 4篇中国大学教学
  • 4篇计算机研究与...
  • 4篇电子学报
  • 4篇计算机工程与...
  • 3篇计算机工程
  • 3篇科技信息
  • 2篇小型微型计算...
  • 2篇2007年全...
  • 1篇计算机光盘软...
  • 1篇节能技术
  • 1篇计算机学报
  • 1篇计算机系统应...
  • 1篇软件
  • 1篇高等教育研究...
  • 1篇科学技术与工...
  • 1篇软件导刊

年份

  • 12篇2024
  • 19篇2023
  • 17篇2022
  • 15篇2021
  • 10篇2020
  • 3篇2019
  • 9篇2018
  • 8篇2017
  • 4篇2016
  • 7篇2015
  • 4篇2014
  • 4篇2013
  • 5篇2012
  • 7篇2011
  • 4篇2010
  • 5篇2009
  • 2篇2008
  • 4篇2007
  • 4篇2006
  • 4篇2005
165 条 记 录,以下是 1-10
排序方式:
高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
董威
航天、武器装备等领域的嵌入式控制软件具有极高可信性要求,针对这类软件的特点研究可信软件相关理论、方法和工具如何进行集成应用以有效支持其可信性分析与保证具有重要意义。该项目通过对航天领域控制软件的发展现状和趋势进行调研,从...
关键词:
关键词:控制软件嵌入式控制软件
软件工程教育:迎接网络时代超大系统的挑战被引量:6
2009年
本文系统回顾了软件工程的发展历程,分析了网络时代软件工程的特点以及以此为基础构建超大系统面临的机遇与挑战,并提出了对软件工程教育改革的思考。
齐治昌谭庆平宁洪毛新军董威
关键词:软件工程网络时代软件工程教育
无人驾驶汽车决策系统的规则正确性验证被引量:7
2017年
无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题。针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开发框架。该框架利用模型检验技术对无人车决策系统进行环境建模,通过验证可以发现无人车决策系统的设计过程中不易发觉的缺陷,解决其安全性不足的问题,同时能够将安全检查与软件开发同步,降低其维护成本。基于该框架,设计并实现了无人车决策系统辅助开发工具UNMANNED_RULE_EDIT(URE),目前该工具已初步应用于国内某单位研制的无人车上,为其开发研制工作提供了帮助。
刘斌斌刘万伟毛晓光董威
关键词:无人驾驶汽车决策系统环境建模
数字电路板的自动测试与仿真技术被引量:10
2003年
文章描述了利用自动测试系统对数字电路板进行仿真、测试和故障维修的方法。首先介绍了基于VXI总线的自动测试系统集成技术,然后探讨如何利用数字仿真软件自动为数字电路板生成测试向量和故障字典。最后给出了一个自动测试程序集成开发环境的体系结构,可以方便地利用自动测试系统为数字电路板开发自动测试程序和故障诊断程序。
王大翊董威
关键词:数字电路板仿真
一种基于部分解Caching与重用的符号执行优化方法
本发明公开一种基于部分解Caching与重用的符号执行优化方法,包括步骤:S1:使用符号执行对被测程序进行分析以生成测试用例时,收集符号执行过程中路径约束;S2.判断收集的路径约束是否能够命中当前Cache,如果命中则返...
陈振邦王戟马科林刘坤林帅子琦毛晓光董威李姗姗文艳军陈立前刘万伟尹良泽
混源软件质量模型与度量方法研究被引量:5
2017年
由于混源软件包含自主代码、开源代码等不同来源代码,从而具有更高的多样性和复杂性,对其质量的度量评估与传统软件存在极大区别。为了度量混源软件质量,建立混源软件质量度量模型和方法是非常必要的。通过分析混源软件质量特性,提出混源软件质量模型。然后利用层次分析法、幂性法及线性法构建度量方法体系。最后对UbuntuKylin操作系统进行了实验性的度量评估,验证了模型与方法的可行性和有效性。
刘启林董威尹良泽齐璇杨沙洲
关键问题驱动的软件工程人才实践创新能力培养
针对软件工程教学与重大工程实践联系不紧密、培养的人才缺乏解决软件开发中重难点关键问题能力的现状,提出并实践了关键问题驱动的实践创新能力培养模式,阐述了软件工程教学中对重大工程关键问题的抽象与提炼、各种关键问题与知识领域和...
董威陈立前尹良泽
关键词:软件工程实践创新能力
无人驾驶汽车决策系统的规则描述与代码生成方法被引量:9
2015年
无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅助工具,具有图形化编辑和代码自动生成的功能,有利于开发人员清晰直观地设计规则,并摆脱繁琐的编码工作。主要讨论了UNMANNED_RULE_EDIT的中间语言(规则语言)设计和代码自动生成算法。目前,该工具已初步应用在国内某单位研制的无人车上,为其决策系统的开发提供便利。
兰韵刘万伟董威刘斌斌付辰刘大学
关键词:无人驾驶汽车决策系统规则语言代码自动生成
基于局部堆内存抽象表示的堆操作程序内存泄露检测被引量:4
2012年
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势.
董龙明王戟陈立前董威
关键词:内存泄漏检测
基于资源使用感知模糊测试的程序资源消耗量上界预测方法
本发明公开一种基于资源使用感知模糊测试的程序资源消耗量上界预测方法,步骤包括:步骤S1.利用静态分析方法识别目标程序中指定资源类型的资源操作API、识别涉及资源使用的函数,以及识别资源使用所在的控制流分支,并将预先定义的...
陈立前黄仁杰王戟马成虎陈振邦董威毛晓光张永政刘培
共17页<12345678910>
聚类工具0