董威
- 作品数：163 被引量：573H指数：11
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学军事理学更多>>
- 高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
- 董威
- 航天、武器装备等领域的嵌入式控制软件具有极高可信性要求，针对这类软件的特点研究可信软件相关理论、方法和工具如何进行集成应用以有效支持其可信性分析与保证具有重要意义。该项目通过对航天领域控制软件的发展现状和趋势进行调研，从...
- 关键词：
- 关键词：控制软件嵌入式控制软件
- 软件工程教育:迎接网络时代超大系统的挑战被引量：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、识别涉及资源使用的函数，以及识别资源使用所在的控制流分支，并将预先定义的...
- 陈立前黄仁杰王戟马成虎陈振邦董威毛晓光张永政刘培
