毛晓光
- 作品数：103 被引量：255H指数：6
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划湖南省普通高等学校教学改革研究项目更多>>
- 相关领域：自动化与计算机技术文化科学军事理学更多>>
- 落实计算思维培养的大学计算机基础课程改革实践被引量：14
- 2020年
- 为更好地落实大学计算机基础课程计算思维培养的目标,在广泛调研国内外同类课程建设情况的基础上,提出问题式的课程内容、"问题引导、知识植入、增量设计"的教学方法、以能力评估为核心的全过程考核方式等,结合国防科技大学的具体情况,介绍大学计算机基础课程改革实践过程,说明改革成效并提出思考。
- 周海芳周竞文毛晓光李暾
- 关键词：大学计算机基础计算思维课程改革
- 一种基于数值抽象的程序资源使用量自动分析方法
- 本发明公开了一种基于数值抽象的程序资源使用量自动分析方法，其包括：步骤S1：资源操作API的配置；步骤S2：代码自动插桩；步骤S3：资源引用变量指向分析：通过指向分析得到程序中每个资源引用变量指向的基地址集合及对应的资源...
- 陈立前范广生陈涛清王戟尹帮虎刘江潮董威毛晓光李姗姗
- 文献传递
- 一个集成的软件可靠性工程环境被引量：1
- 2007年
- 针对软件可靠性工程实施中发现的核心问题,本文介绍了我们在软件可靠性关键技术上取得的突破,以及以此为支撑的集成环境SREE。该系统依托Eclipse,支持软件可靠性工程的关键活动:使用模型生成和构建、软件可靠性测试、软件可靠性评估和预测以及软件开发过程中可靠性的跟踪分析等。
- 唐赞岳毛晓光王戟徐锡山董威
- 关键词：工程环境
- 基于构件软件的可靠性通用模型及系统实现被引量：6
- 2005年
- 本文给出了基于构件软件中的函数抽象,依据该抽象提出了基于构件软件的一个可靠性通用模型,并介绍了相应的可靠性分析原型系统的实现。通过此系统可以在软件开发的各个阶段对软件进行可靠性分析,实现基于构件软件开发全过程的可靠性跟踪和监控。
- 邓勇进毛晓光
- 关键词：软件开发软件体系结构
- 关于AOP实现机制及在测试中的应用被引量：1
- 2004年
- AOP(Aspect-OrientedProgramming)是一种支持横切关注点的分解技术,表达更高的抽象层次,它对于横切关注点如同面向对象程序设计中的对象封装和继承一样,能够提供明确的截获横切结构的语言机制.讨论了关于AOP实现机制及在测试中的应用.
- 邓毅刚毛晓光
- 关键词：JBOSSAOPJVM拦截器
- 基于抽象符号表的内存模型被引量：1
- 2011年
- 符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
- 代子营毛晓光马晓东王瑞
- 关键词：内存模型
- 面向方面体系结构建模研究被引量：1
- 2011年
- 面向方面体系结构建模是面向方面软件开发(AOSD)的重要组成部分,也是近些年面向方面领域研究的热点问题。传统的软件体系结构设计方法没有单独地考虑横切关注点。因此,在软件体系结构设计阶段,建模人员需要新的机制来描述这些横切关注点。本文首先提出一个以横切为中心的面向方面体系结构概念框架;然后通过在体系结构设计阶段引入该框架中的核心概念,提出一种在体系结构设计阶段建模横切关注点的方法,从而支持其在早期进行横切关注点的分离。
- 王瑞毛晓光代子营王燕妮
- 关键词：体系结构横切关注点
- 基于指针神经网络的细粒度缺陷定位
- 2024年
- 软件缺陷定位是指找出与软件失效相关的程序元素.当前的缺陷定位技术仅能产生函数级或语句级的定位结果.这种粗粒度的定位结果会影响人工调试程序和软件缺陷自动修复的效率和效果.专注于细粒度地识别导致软件缺陷的具体代码令牌,为代码令牌建立抽象语法树路径,提出基于指针神经网络的细粒度缺陷定位模型来预测出具体的缺陷代码令牌和修复该令牌的具体操作行为.开源项目中的大量缺陷补丁数据集包含大量可供训练的数据,且基于抽象语法树构建的路径可以有效捕获程序结构信息.实验结果表明所训练出的模型能够准确预测缺陷代码令牌并显著优于基于统计的与基于机器学习的基线方法.另外,为了验证细粒度的缺陷定位结果可以贡献于缺陷自动修复,基于细粒度的缺陷定位结果设计两种程序修复流程,即代码补全工具去预测正确令牌的方法和启发式规则寻找合适代码修复元素的方法,结果表明两种方法都能有效解决软件缺陷自动修复中的过拟合问题.
- 王尚文刘逵林博黎立Jacques KLEINTegawendéFrançois BISSYANDÉ毛晓光
- 关键词：神经网络
- 面向批量未解释程序的联合验证方法
- 本发明公开一种面向批量未解释程序的联合验证方法，步骤包括：S01.进行程序抽象得到程序自动机，使用保存的抽象模型对程序自动机进行精化；S02.判断精化后的程序自动机是否为空，如果为空则判定程序正确，转入步骤S05，否则转...
- 陈振邦王戟杜一德洪伟疆毛晓光董威李姗姗文艳军陈立前刘万伟尹良泽
- 角色建模工具RModeler的设计与实现
- 2008年
- 提倡在对象技术中基于角色识别对象及其协调关系,然后展开到类模型、接口模型、实体模型,同时对角色模型的形式化定义和表示方法进行了系统地研究,并在此基础上设计和实现了基于RML的可视化角色建模工具RModeler。RModeler目前完成了代码实现和测试工作,并在实际开发中使用,运行良好。RModeler支持业务过程中采用RML语言的建模,具备将RML模型转换为UML模型的功能,采用业界标准数据描述格式XMI来传递和共享建模信息。
- 文斌毛晓光
- 关键词：角色角色模型
