改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

基于冲模CAD／CAM开发平台的构件库系统的研制

基于冲模ＣＡＤ／ＣＡＭ系统开发平台的设计思想，提出并论述了基于冲模ＣＡＤ／ＣＡＭ系统开发平台软构件库中之软构件的定义、分类、描述与管理机制以及软构件库的树形结构图与软构件库系统——ＳＣＢＭＳ（ＳｏｆｔｗａｒｅＣｏｍｐｏｎｅｎｔＢａｓｅＭａｎａｇｅｍｅｎｔＳｙｓｔｅｍ）的功能模型及其实现思路，开发了一个原型ＳＣＢＭＳ．     

面向复用的软构件信息系统的设计与实现

基于软件体系结构,从需求分析出发,讨论适合此系统的体系结构设计决策,分析系统设计的实现过程,设计并实现一个面向复用的软构件信息系统.该系统能使管理人员有效地组织和管理各类软构件实体和相关角色信息等,开发者可以在此高效检索到需要的软构件,构件生产厂商可以方便提交自己生产的构件,有效管理软构件以提高软件开发效率.     

一个面向对象软件集成环境的设计与实现

本文提出并初步实现了这样一个面向对象软件集成环境,它能把面向对象技术结合到软件分析、软件设计、软件生成及软件维护等阶段,并最终生成符合软件工程标准的软件产品．在设计该环境时着重考虑了理论方面与技术方面的实用性和先进性,建立了适合于一般软件系统特别是信息系统的应用框架和对象环境库模型以及与之相适应的一套开发方法和流程．在本文的最后,根据课题研究成果实现了一个简单的应用,它是某大学教务管理系统中有关学籍管理的一部分．     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

平台软件菜单生成器的设计与实现

首先阐述生成器设计与实现的一般方法，之后详细论述了基于非过程性的第四代语言平台软件菜单生成器的设计思想，即以人机交互过程来定义菜单标题及各级菜单内容，最终完成菜单树的生成．此平台软件菜单生成器包含三个功能模块：定义系统标题模块、定义各层菜单模块、生成下拉式菜单模块，全部程序均用ＴｕｒｂｏＣ语言以自定义函数形式编程实现     

基于MVC的GNSS验证系统授时指标软件设计与实现

为了方便分析GNSS验证系统授时指标,设计并实现了授时指标软件。该软件具有数据解析、授时载波频率准确性分析、载波频率稳定性分析、码载一致性分析、数据拟合、频域分析等功能。采用MVC(model-view-controller)模式对软件的系统架构进行设计,描述了Qt的信号与槽机制和核心模块的设计及其交互,并用C++语言在Qt平台完成了软件的开发。实验表明,该软件可方便地实现GNSS验证系统授时指标的定量分析,GNSS验证系统频率准确度为10~(-10)、码载一致性为10~(-10)。     

基于WEB的软件工程测量专家系统的构建

讨论基于WEB的软件工程测量专家系统.利用软件工程测量系统软件,在一个正式和一致的框架之下,提供全面的关于软件测量及度量的建议.系统包括一个知识库和推理引擎,支持软件工程中以目标、过程、类别为导向的测量和分析.该系统易于和B/S系统集成,简化软件测量过程中的复杂度.     

软件设计中的系统分析技术方法与实践

软件的系统分析阶段是软件工程的重要组成部分，是关系到软件工程实现的重要步骤，由此产生的软件方案是程序员代码设计阶段的工作手册和基本软件档。以软件工程理论为指导，结合项目开发与实践，提出了一些指导实践的技术方法。     

可变数据编码管理系统

提出了软件系统中的可变数据编码问题，给出了数据编码的树形结构的例子．并提出了数据编码的外码、内码、定码的概念．为使软件系统不受数据编码变动的影响从而具有适应性、可维护性，还提出了可变数据编码管理系统用于辅助编码维护；并论述了其原理、功能和接口．