西安电子科技大学计算机学院软件工程研究所
- 作品数：368 被引量：1,590H指数：19
- 相关作者：蔡希尧徐学洲刘坚郑有才龚杰民更多>>
- 相关机构：西安建筑科技大学理学院西北工业大学计算机学院西安邮电学院计算机学院计算机系更多>>
- 发文基金：国防科技技术预先研究基金国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信理学航空宇航科学技术更多>>
- 逆向工程中UML活动图的呈现技术研究被引量：2
- 2006年
- 在获取动态信息的基础上,研究了UML活动图的呈现技术,给出在Rose中呈现活动图的算法,论述了表示进程创建关系的Fork类型动态信息和表示进程同步关系的Wait类型动态信息的呈现和基于对象流的进程间通信关系呈现。最后,通过实际的系统验证了该算法的有效性。
- 许永峰李青山陈平史红军夏辉
- 关键词：逆向工程UML活动图
- 路径规划中空白区问题的求解
- 1996年
- 本文以多传感器数据融合为背景，针对真实军事环境下的空白区问题进行了研究，提出了将空白区的几何特征引人路径计算的求解方案，设计了空白区识别、空白区计数以及空白区几何特征提取等一系列算法。实验结果表明，本文所提出的方法克服了常规算法对空白区处理的弱点，路径计算的性能明显提高。
- 吴霁蔡希尧于涛
- 关键词：路径规划多传感器数据融合
- 基于IPSec的VPN网关设计被引量：6
- 2004年
- 基于IPSec的VPN网关实现方案包括通过插入IPSec模块和融合IPSec在系统内核中的两种方法。通过修改Linux内核实现IPSec具有处理速度快,可避免来自操作系统的安全漏洞的优点。讨论了在Linux系统下采用融合IPSec的VPN网关实现。
- 刘渭锋梁力张玉清王磊
- 关键词：IPSECVPN网关IKE
- 基于UML活动图的进程关系模型恢复方法
- 2006年
- 针对UNIX平台上的分布、并发的软件系统,提出了基于UML活动图的进程关系模型恢复方法。分析了UNIX平台支持的进程间关系,在此基础上提出了需要获取的动态信息,给出了用UML活动图表示进程关系模型的方法,并用一个实际的软件系统进行实验验证。实验结果表明:逆向恢复出来的进程关系模型具有直观、形象的效果,能够帮助用户更好地理解系统。
- 许永峰陈平
- 关键词：逆向工程UML活动图
- C/C++程序类型和计算顺序的安全分析与检查
- 2006年
- C/C++语言开发者追求的是语言的高效性、灵活性,为此在不同程度上忽略了语言的安全性。而且由于程序员能力上的不够或粗心大意,严重地威胁着软件的安全性。目前很多机构如NASA等对不同语言中存在的安全问题提供了相关信息,在此基础上对C/C++程序中存在的类型相关和计算顺序安全漏洞进行分析并提出检查方案,为开发安全性要求高的软件提供帮助。
- 赵文杰
- 关键词：安全性安全漏洞漏洞检测
- 需求分析中的可跟踪性问题
- 雍信阳蔡希尧
- 关键词：可跟踪性
- 基于RUP的系统动态行为描述方案
- 2002年
- 1 UML简介
UML最初是由Grady Booch,Jim Rumbaugh,1var JacobSon共同提出[1],它结合了OOA/OOD,OMT,OOSE等方法,并且为了增强其对模型动态行为的描述能力,引入了诸如Statechart,Sequence diagram,Collaboration diagram,并于1997年被OMG(Object Management Group)正式确定为国际标准,即UML 1.0.此后UML进入了快速发展的阶段,并相继在1998和1999年提出了UML 1.2和UML 1.3标准.
- 李航郭敬林刘西洋
- 关键词：RUP软件工程计算机
- 基于规则技术在面向对象系统中的集成研究被引量：2
- 2003年
- 规则大量存在于面向对象系统中,反映了诸如业务流程控制、数据处理准则、信息过滤策略等特点。但由于面向对象技术本身不具备规则推理能力,因此将现有的基于规则技术集成到面向对象系统中成为一个研究的兴趣点。近年来,商务规则广泛应用更是推进了这项研究的进程。论文分析了国内外现有的集成机制,并加以比较总结。而且,在此基础上还给出了一种符合紧耦合机制的构架分析。
- 卑小贤刘西洋陈平
- 关键词：面向对象系统
- 基于抽象语法树的数组越界的静态检测方法被引量：4
- 2006年
- 针对数组访问越界这一类安全漏洞,以源程序的抽象语法树作为分析对象,提出了一种新的静态解决方案。该方案通过分析数组访问越界安全漏洞的表现,抽象出安全模式,然后根据安全模式以及遍历ast过程中记录的节点属性构建安全规则,最后在安全规则的指导下实现对安全漏洞的检测。
- 徐明昌刘坚
- 关键词：安全漏洞
- 基于CORBA和Web的三层体系结构研究被引量：6
- 2004年
- 针对传统的两层 C/S结构的不足 ,根据当前网络规模的不断扩大以及凸现的网络异构特性 ,提出了基于CORBA和 Web的三层体系结构。并讨论了这种三层体系结构在网络财务系统中的应用。
- 罗武金益民
- 关键词：CORBAWEBC/S结构
