内部质量体系审核与软件过程改进

ISO9001对企业的质量管理体系给出来一个宏观的框架。其中，“内部质量体系审核”及其相关的“纠正及预防措施”、“管理评审”等，对整个质量体系提供了一个自我改进的机制，使质量系统持续地保持其有效性，并能不断改进和完善。CMM认为过程的不断改进基于许多小的、进化的步骤而不是革命性的创新，它为软件企业的过程能力提供了一个阶梯式的进化框架。文章参照CMM思想，提出建立模型数据库和过程数据库，结合内部质量体系审核机制，吸取以往软件工程的经验教训，不断提升企业的软件过程改进。     

引入CMM的软件企业内部质量体系审核

内部质量审核是实施ISO9000认证的质量保证体系的重要组成部分，文章阐述了吸取CMM模型思想在过程控制与改进方面的优势，建立企业的过程数据库，拓宽内部质量审核工作的时间与空间，寻求工作方式方法的改进与优化。     

实时产生式系统

产生式系统是一种重要的人工智能程序设计语言,但却比较难于应用到实时领域之中. 本文在分析其在实时应用方面两个主要不足的基础上,对实现实时产生式系统的几种可能途 径与方法做了较为深入的探讨.     

并发产生式系统程序设计语言COPS5

开发产生式系统的并行性是加快产生式系统执行速度的主要和有效方法。本文从产生式系统的计算模型着眼讨论，提出了并发生产生式系统的计算模型－ＭＰｏｓｔ系统，并在ＯＰＳ５语言基础上设计实现了一种基于上述模型的并发产生式系统程序设计语言ＣＯＰＳ５。     

基于证据的可信软件过程评估方法

现有软件过程可信性评估方法中,评估结果往往基于评估人员的主观经验,其准确性和客观性无法得到保证.为解决这个问题,提出了一种基于证据的可信软件过程评估方法(evidence-based trustworthy software process assessment method,EB-TSPAM).该方法以可信软件过程管...     

基于指令流混合模式学习的缓存预取算法

近期缓存预取算法的研究热点是使用基于模式识别的预测技术,例如Lookahead,推算访存请求的地址.此类算法一方面很难学习访存行为中的依赖缓存失效,另一方面不能精确控制预取请求发送和写回的时机.为了解决上述问题,本文提出了一种基于分支预测技术和混合模式学习的缓存预取（Instruction Flow Based Hybrid Prediction,IFBHP）算法.使用分支预测技术识别程序未来指令流中的访存指令流,通过多种地址关联模式的学习逐一计算访存指令流中每条指令的地址,写入访存地址队列.使用阈值评估未来指令流进入处理器主流水线的时刻,精确控制指令流所对应的预取请求的发送和写回.实验表明,本文算法相比STeMS(Spatio-Temporal Memory Streaming)算法、ISB++(Irregular Stream Buffer++)算法、SANGAM算法、IPCP(Instruction Pointer Classifier based spatial Prefetching)算法一级数据的读操作缓存失效次数分别平均减少31.58%,28.85%,17.85%,11....     

API使用的关键问题研究

API（Application Programming Interface,应用程序编程接口）在现代软件开发过程中被广泛使用.开发人员通过调用API快速构建项目,节省了大量的时间.但由于API数量众多、文档不够完善、维护更新不及时等原因,使开发人员在学习使用API的过程中面临着严峻的挑战.同时,一旦API使用不正确,程序可能会出现缺陷甚至严重的安全问题.本文通过对API相关文献的深入调研,对近些年来国内外学者在该研究领域取得的成果进行了系统总结.首先,介绍了API的基本概念并分析出影响API使用的三个关键问题：API文档质量不高,调用规约不完整以及API调用序列难以确定;接着,从API文档、调用规约和API推荐三个主要方面对研究成果进行全面的分析;最后,对未来研究可能面临的挑战进行了展望.     

参数化系统安全性的启发式符号验证

参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upward-closed)集合表示的安全性(safety property).与有限状态系统验证相类似,参数化系统的验证同样也面临着状态爆炸(state explosion)问题,并且模型检测算法的有效性依赖于如何采用有效的数据结构表示状     

软件过程建模方法研究

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20 个会议和7 种期刊的72 篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3 个问题,以便从总体上概括和把握该领域的研究:1) 软件过程建模方法主要基于什么范式;2) 软件过程建模方法研究的主要目的集中在哪些方面;3) 软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.