制定软件工程化生产规范的若干问题

本文扼要描述了计算机软件在信息社会中的地位和作用,刻划了新的“软件危机”的主要特征,并指出认真制订和切实执行科学的软件工程化生产规范是克服“软件危机”的重要途径之一。同时还详细地剖析了软件工程化生产规范与软件生存周期概念、软件工程原理以及我国软件发展动向的关系。最后概要指出制订我国软件工程化生产规范应该采取的策略。     

基于需求演化的软件开发迭代时机选择

瀑布过程模型要求所有需求都明确并经过评审后才能开始软件设计和编码,使得整个软件系统的研制周期很长。为了缩短软件研制周期,可以采用迭代过程模型开发飞控软件系统。在采用迭代过程模型时,必须合理确定迭代的次数和每次迭代的时机。本文介绍了软件需求演化的概念,建立了基于需求演化规律的迭代次数和迭代时机确定模型,提出了确定软件需求演化函数的方法。以实例对模型的应用和演化函数确定方法进行了说明。     

软件测试技术及其支持环境

本文在扼要介绍现代软件测试技术之后,详细描述了C软件测试环境CSTE和Pascal软件测试环境。PSTE的原理、设计与实现。这两个历时三年多、近七万行源语句行的软件工程实践的经验和体会,对今后开展软件工程项目的研究或开发工作都有所裨益。     

基于加密和即时解密的软件保护

通过加密来保护软件,是防止盗版者通过逆向工程理解程序的一种有效方式.传统加密保护方式,运行时解密开销大,又由于采用一次性解密方式,易受到攻击而直接从存储器中获得解密后的程序映像.提出了即时解密技术,摒弃了传统的一步解密的方式,在运行时通过即时解码器以函数为单位一步步揭开隐藏在软件中的秘密.仅对一次运行中必须的部分解密,使得攻击者难以获得完整的解密后程序,难以篡改并绕过未解密部分中的软件保护功能,增强了抗攻击性.在运行效果上,由于解密分散进行,就解决了启动延时长的问题.用基于一次一密加密技术,与对称密钥加密算法相比,进一步减少了运行时开销,使得该技术在目前处理器上可以流畅运行.该方法增强了基于加密的软件保护的实用性,增大了破解的难度.      

基于差分递减权系数的加权Q控制图

Q控制图的异常检出时间远长于参数已知时控制图的异常检出时间,对此提出了一种加权Q控制图方法.基于单容量样本度量和多容量样本度量,分别给出了相应算法,对算法的正确性给出了数学证明.加权Q控制图方法根据差分递减的权系数构造加权Q控制图的Q统计量,随后对该Q统计量使用Q控制图进行异常分析.仿真结果表明:加权Q控制图的异常检出时间短于Q控制图的异常检出时间,且与参数已知时的控制图的异常检出时间相差不大,综合考虑实用性和检测灵敏度这两个指标,加权Q控制图优于Q控制图和参数已知时的控制图.     

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

软件度量过程的研究与实施

软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.      

基于贝叶斯网的业务端编程方法

针对现有的业务端编程方法缺乏对于没有软件开发背景的最终用户的指导机制,提出了一种基于贝叶斯网的业务端编程方法.首先提出了一种基于贝叶斯网的最终用户编程基本框架,然后基于贝叶斯网结构学习方法和过程日志建立了用来支撑业务端编程的领域专家系统,在此基础上提出了以领域专家系统为核心的启发式业务端编程方法.该方法在编程过程中依赖领域专家系统对最终用户推荐业务活动,提供实时指导,帮助最终用户逐步完成应用系统的构造.最后对该方法的有效性进行了定性的评估和分析,结果表明,基于贝叶斯网的业务端编程方法可以在一定程度上提高最终用户编程的效率.     

软件文档的数据库设计

本文讨论了在计算机辅助软件工程（ＣＡＳＥ）环境中，数据库管理系统（ＤＢＭＳ）的数据结构特征框架。较为详细的探讨了数据结构三个主要的数据库模式设计。讨论了软件工程（ＳＥ）文档以及ＳＥ中的数据种类：正文的、表格的、图形的以及无结构数据类。分析了程序代码数据结构以及ＣＡＳＥ在程序代码上的操作     

飞机全生命期过程建模技术及支持环境

从飞机全生命周期过程建模的需求出发,针对大型复杂过程的建模提出了综合过程模型,对过程建模语言进行了扩充.探讨了大型复杂过程的建模方法,设计并开发了相应的过程建模和模拟软件,并成功地应用于某型飞机研制过程的建模.