陈平 作品数:188 被引量:873 H指数:15 供职机构: 西安电子科技大学 更多>> 发文基金: 国防科技技术预先研究基金 国家自然科学基金 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 理学 更多>>
逆向工程中UML活动图的呈现技术研究 被引量:2 2006年 在获取动态信息的基础上,研究了UML活动图的呈现技术,给出在Rose中呈现活动图的算法,论述了表示进程创建关系的Fork类型动态信息和表示进程同步关系的Wait类型动态信息的呈现和基于对象流的进程间通信关系呈现。最后,通过实际的系统验证了该算法的有效性。 许永峰 李青山 陈平 史红军 夏辉关键词:逆向工程 UML活动图 基于UML活动图的进程关系模型恢复方法 2006年 针对UNIX平台上的分布、并发的软件系统,提出了基于UML活动图的进程关系模型恢复方法。分析了UNIX平台支持的进程间关系,在此基础上提出了需要获取的动态信息,给出了用UML活动图表示进程关系模型的方法,并用一个实际的软件系统进行实验验证。实验结果表明:逆向恢复出来的进程关系模型具有直观、形象的效果,能够帮助用户更好地理解系统。 许永峰 陈平关键词:逆向工程 UML活动图 基于规则技术在面向对象系统中的集成研究 被引量:2 2003年 规则大量存在于面向对象系统中,反映了诸如业务流程控制、数据处理准则、信息过滤策略等特点。但由于面向对象技术本身不具备规则推理能力,因此将现有的基于规则技术集成到面向对象系统中成为一个研究的兴趣点。近年来,商务规则广泛应用更是推进了这项研究的进程。论文分析了国内外现有的集成机制,并加以比较总结。而且,在此基础上还给出了一种符合紧耦合机制的构架分析。 卑小贤 刘西洋 陈平关键词:面向对象系统 并发式软件系统横切关注点的建模方法(英文) 2007年 基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系。同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义。实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点。 苏旸 张敏情 潘峰 陈平关键词:UML状态图 横切关注点 动静态信息相结合的UML2.0序列图逆向生成方法 2008年 符合UML2.0标准的序列图在UML1.x序列图的基础上添加了控制流信息。为此,本文提出一种基于动静态信息相结合的UML2.0序列图逆向生成方法。该方法首先利用目标程序运行时的动态信息产生基本的方法调用序列,然后依据静态的程序依赖图对其进行补充和调整,在其上添加方法间的逻辑关系,使产生的序列图带有控制流信息。这种方法生成的序列图符合UML2.0标准,可以很好地辅助用户理解目标程序。 梁若莹 陈平 胡圣明 刘鹏飞关键词:逆向工程 序列图 UML2.0 小卫星柔性测试床设计与实现 被引量:1 2005年 分析了小卫星地面综合测试系统的特点和功能,通过对几种型号小卫星系统的研究,给出了柔性测试床的软硬件体系结构,阐述了柔性测试床星上和地面两部分的设计思想,主要介绍了通信参数的动态配置、TM数据信号的定义与解析的实现方法。小卫星柔性测试床已成功应用于三颗小卫星系统的研制,并取得了明显的应用效果。 朱智林 王竹平 陈平关键词:测试床 遥测 一种面向自愈计算的OS体系架构研究 2009年 传统OS重要的状态数据分散在OS的各层之中,增加了错误诊断和错误恢复的难度。此外,应用中的监控进程和普通进程均运行在同一权利级别下,造成监控进程不能便捷地实施监控,且监控进程的自身行为缺乏制约。为此,提出了章鱼体系架构,它通过状态集中存储和权力分级解决上述问题。该架构主要创新点在于:将系统中的重要状态集中统一存放;位于高权力级别的,并且相互之间存在制约的多监控进程对位于低权力级别的应用进程实施监控。最后,在Bochs模拟器上验证了该架构的有效性。 李航 刘西洋 陈平关键词:计算机软件 自愈 谈C++语言的教学理念与课程设计 2004年 一、引言C+十语言是一种高效的、应用很广泛的、支持多种程序设计范型的通用程序设计语言之一。它既支持面向过程、面向模块的程序设计,又支持面向对象的程序设计,现已成为国内众多工科院校电子类专业学生一门必修专业基础课程。C++语言由于其自身的灵活性、复杂性,加之其在教学中存在一些误区,故国内目前很多院校C++语言的教学并不尽如人意。本文作者之一陈平教授是ISO C++语言标准委员会技术专家,凭借其对C++语言的深刻理解和多年丰富的C+十语言开发经验,带领C++课程小组在C+十语言的教学中进行了大胆的改革探索。该课程在仅实施了二届的情况下就显示出非凡效果。2003年该课程脱颖而出,被评为校级精品课程,深受广大师生的推崇、欢迎。 李雁妮 陈平关键词:课程设计 电子类专业 面向对象 架构技术 类库 仿真环境中智能化控制语言的研究 被引量:1 2005年 智能化控制语言可控制仿真系统中的实体,使其表现出智能化行为。本文定义了一种智能化控制脚本语言ICSL(Intelligent Control Scripting Language),并实现了ICSL的解释器。ICSL支持基本的控制语句和核心对象,针对领域特征,对仿真领域的语义进行编码,并提供语义扩展机制,为控制策略的制定者提供一种灵活表达策略的手段。ICSL语言的解释器将智能化策略映射为仿真系统中实体的行为序列,实现了对仿真实体的智能化控制。最后,本文通过把ICSL语言用于战场仿真系统对其实用性进行了系统的实验研究,结果表明,基于ICSL语言定义的控制策略可以有效地映射到仿真系统中,从而完成对仿真实体的智能化控制。 胡圣明 李青山 陈平 褚华关键词:控制语言 仿真环境 智能化控制 CONTROL 仿真系统 脚本语言 软件逆向工程的研究与发展 被引量:7 2006年 从介绍逆向工程的产生背景出发,给出了逆向工程的基本概念,同时也给出了与逆向工程密切相关的正向工程和再工程概念.通过分析逆向工程的主要目的,概括出逆向工程的最基本目标是为了系统的维护和进一步开发而增加对系统的全面理解能力.指出了逆向工程的主要任务为分析系统、抽象系统和展现系统,并论述分析系统的方法,即静态分析法和动态分析法.总结了国内外逆向工程的发展现状和应用现状,提出了发展方向. 王玉英 陈平 方海燕 许人民关键词:逆向工程 静态信息