一种针对格式文件的符号执行优化方法

为了解决符号执行中路径爆炸、新路径发现率低等问题，提出了针对文件格式数据块约束的符号执行分析方法（FFCBSE，File Format Constraint Based Symbolic Execution）优化框架.文件格式信息的缺失会影响符号执行的效率以及测试用例生成，该方法通过分析程序代码自动分析程序读取的格式文件数据块之间的依赖关系并建立相关约束，随后使用这些约束引导符号执行更关注于核心功能代码区域.在KLEE中实现了上述优化框架，并对Tcpdump、Readelf、Elfdump、File、Zlib等7个常用文件处理程序做了检测.和KLEE以及DASE相比，FFCBSE发现了13个之前未知的缺陷，在指令覆盖率和分支覆盖率有10%~225%不同程度的提升.     

基于知识的机器人规划系统KBROPS-1的OPS83实现

本文在已采用OPS5实现的基于知识的机器人规划系统KBROPS-1的基础上,讨论了同样世界模型下,KBROPS-1的OPS83实现,并对其规划过程及规划结果做了分析。     

基于知识的机器人协同问题求解系统KBCOPS

本文在讨论了机器人协同问题求解的概念及难点的基础上，以模型化机器人世界为协同问题研究领域，选择并发成员系统程序设计语言ＭＳ—１为系统基本开发环境，设计开发了一个基于知识的机器人协同问题求解系统ＫＢＣＯＰＳ（Ｋｎｏｗｌｅｄｇｅ—ＢａｓｅｄＣＯｏｐｅｒａｔｉｖｅＰｒｏｂｌｅｍＳｏｌｖｉｎｓＳｒｓｔｅｍ），并给出了其在一维模型世界下的具体实现。     

一种基于模型融合的CMM实施过程建模方法

提出了一种基于模型融合的CMM实施过程建模方法．该方法使用软件过程工程元模型SPEM建立CMM过程模型CPM和企业过程模型EPM，通过融合CPM和EPM来获得CMM实施过程模型CIPM．文中利用带标记的有向图描述过程模型。给出了模型融合方法，并进行了一致性证明．最后通过一个过程模型融合原型工具和实例说明了方法的应用情况．     

软件成本估算方法及应用

软件成本估算从20世纪60年代发展至今,在软件开发过程中一直扮演着重要角色.按照基于算法模型的方法、非基于算法模型的方法以及组合方法的分类方式,全面回顾、分析了软件成本估算的各种代表性方法,也归纳讨论了与成本估算强相关的软件规模度量问题.在此基础上,进一步研究了软件成本估算方法的评价标准,并给出了一个应用实例及其分析.最后,从估算模型、估算演进、估算应用、估算内容、工具支持和人为因素6个方面,指出了软件成本估算方法下一步的主要发展趋势.     

基于SPEM2XPDL模型转换的软件过程执行

SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方法.通过将SPEM模型转换为XPDL(XML process definition language)模型,利用XPDL引擎支持SPEM模型的执行.制定了SPEM和XPDL之间的映射规则,设计了转换算法并开发了转换引擎.该方法被应用在SoftPM项目中,成功地基于XPDL引擎Shark实现了对软件过程模型的执行支持.     

基于RTLinux构建机载SAR实时成像处理器嵌入式控制系统

面向地学处理的机载SAR实时成像处理器由一组连接在工业总线上的数据处理板和一个嵌入式主控子系统构成，成像处理器的总体设计对主控系统的实时性，稳定性及可扩展性提出了严格的要求，比较了传统的嵌入式工业控制系统的设计方法，设计并实现一个基于廉价的PC与RTLinux的主控系统，分析了主控系统的两个重点；DSP宿主环境和RTLinux下的混合任务集，并通过给出一个RTLinux与Linux调度精度和误差的对比试验及其结果，证明了基于RTLinux的主控系统对支持细粒度调度方面的优越性。     

基于邮件预取策略的嵌入式邮件客户端设计与实现

互联网时代嵌入式产品的发展对嵌入式软件技术提出了新的挑战,如何增强嵌入式设备的网络通讯能力已经越来越成为人们关心的问题。作为一种重要的网络通讯软件,嵌入式邮件客户端已经成为了众多嵌入式产品的关键应用之一。该文介绍了一种基于邮件预取策略的嵌入式邮件客户端。与传统的嵌入式邮件客户端不同,笔者引入了一种新的邮件接收策略,通过跟踪用户的历史行为,优先接收用户感兴趣的邮件,从而提高了嵌入式邮件客户端在不稳定、低速的网络环境下的使用效率。     

软件开发:从面向对象到Agent技术

简单回顾了软件开发的发展历史 ,介绍了当前流行的面向对象的软件开发方法以及新采用 agent技术的软件开发方法 ,比较了两者的异同 ,指出了 agent技术的应用前景。