基于信息量的动态软件网络节点重要性研究

以复杂网络理论研究了面向对象软件系统质量的度量方法.以实际软件系统作为研究对象,分析了软件系统在初始化以及功能执行完全两个不同阶段下系统复杂度的变化.在此基础上,使用网络模型中节点的信息量作为评判类在软件系统中重要性的指标,用来发掘软件系统运行过程中功能上更加重要的类;最后,用软件网络的信息熵衡量软件系统的复杂度.通过研究证明了以信息量作为描述类的重要程度的合理性,进一步验证了信息熵在整个软件系统复杂程度方面的作用.     

基于Petri网的构件软件系统可靠性研究

近年来,构件软件系统已成为软件工程领域的研究热点以及大型软件系统与软件产品线进行开发的关键技术之一。对构件软件系统的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的系统架构是整个软件系统的基础。文章通过分析构件软件系统的特征和可靠性因素,提出了一种基于Petri网的构件软件系统可靠性分析方法,对构件软件系统的各因素的可靠性进行分析评估,从而推导出整个构件软件系统的可靠性,并在开发后期对构件软件系统可靠性进行改进。     

软件模型被动学习推断综述

软件系统庞大而复杂,通常由数百个组件组成,理解这样一个系统的行为是一项非常艰巨的任务,也难以开发和维护软件系统。在过去几十年里,提出了一系列被动学习技术,并设计了相应的工具来推断软件系统的模型,通过模型帮助理解软件系统和开发维护软件系统。针对软件模型被动学习推断的发展,介绍了软件模型推断的相关定义,介绍软件模型推断的过程和相关被动学习技术,指出当前研究中的不足,并对未来研究方向进行展望。     

知识化制造软件系统自动生成的实现

研究了知识化制造系统应用到一个新方向--气象预测评估系统后,其软件系统的自动生成方法.为了实现软件的自动生成,首先,分析了知识化制造软件系统的特点和作用,并对其自动生成做出简单说明;然后,研究了知识网的数据存储方式,提出了层级数据结构的数据库表示形式,在此基础上实现了数据遍历以生成软件系统,并给出了软件系统自动生成的步骤;最后,通过实例对软件系统的生成方法进行说明和验证,表明了该方法的有效性和可行性.     

软件可信性演化的移动元胞自动机模拟

演化是软件可信性的核心问题。为了研究在动态、开放、多变环境下,干扰对软件可信性的影响,在分析软件系统可信性传递过程的基础上,结合元胞自动机机理和耗散理论,构建基于用户视角的软件系统可信性演化的移动元胞自动机仿真模型,仿真研究了软件系统在受到干扰的情境下,软件可信性的变化过程。研究表明,软件系统在受到干扰的环境下,当运行状态发生变化时,其可信性评价值降低,在经历了多次干扰后,系统可信性评价值最终稳定,这为动态评价、预测软件系统可信性提供了一个新的模型与方法。     

面向对象软件系统行为监控及其验证策略

随着信息技术的不断发展,软件系统也在不断的演化,变得越来越复杂、庞大,在社会各个领域中发挥着越来越重要的作用。随着用户对软件系统应用需求的不断增加,软件系统在运行时往往会发生一些错误,软件规模在不断扩大,分布式计算等应用也在不断普及,人们对软件系统的可信问题也越来越关注。而与传统软件维护技术相比,面向对象软件系统基于监控和验证的方法,能有效保障软件系统的可信运行。笔者对面向对象软件系统行为监控和验证问题进行了研究,为了使面向服务的架构更适应动态演化的需求,提出了基于体系结构空间、支持动态演化的面向对象软件系统行为监控及验证的SASM模型。     

人工智能软件系统的非功能属性及其质量保障方法综述

随着神经网络等技术的快速发展,人工智能被越来越多地应用到安全关键或任务关键系统中,例如汽车自动驾驶系统、疾病诊断系统和恶意软件检测系统等.由于缺乏对人工智能软件系统全面和深入的了解,导致系统时常发生严重错误.人工智能软件系统的功能属性和非功能属性被提出以加强对人工智能软件系统的充分认识和质量保障.经调研,有大量研究者致力于功能属性的研究,但人们越来越关注于人工智能软件系统的非功能属性.为此,专注于人工智能软件系统的非功能属性,调研了138篇相关领域的论文,从属性定义、属性必要性、属性示例和常见质量保障方法几个方面对目前已有的研究工作进行系统的梳理和详细的总结,同时重新定义和分析了非功能属性之间的关系并介绍了人工智能软件系统研究中可以用到的开源工具.最后,展望了人工智能软件系统非功能属性的未来研究方向和挑战,以期为该领域的研究人员提供参考.     

规则软件系统模式匹配算法研究综述

模式匹配算法是规则软件系统的核心技术.本文叙述规则软件系统的基本概念、工作原理和主要推理方式;研究规则软件系统的模式匹配问题,总结了改善模式匹配效率的方法和技术;介绍Rete、Treat、Leaps和Matchbox四种典型的前向推理顺序模式匹配算法,分析研究了各个算法使用的提高匹配效率的技术及其优缺点,并对模式匹配算法当前研究进展和规则软件系统的应用现状进行了阐述.     

基于安装个人计算机软件系统的探讨

通过对软件系统的分析,可以提高用户对软件系统的重要性认识。对于规划好个人计算机安装什么样的软件系统进行了研究,提高了个人计算机安装软件系统的认识,达到了用户掌握自己安装软件系统的目的。并探讨几个具体问题:操作系统的功能、应用软件、硬盘分区。     

面向微服务架构的软件系统韧性增强技术研究

软件系统韧性是系统在面对被动故障和主动攻击等挑战时提供和维持可接受的服务水平的能力,被认为是未来互联网的基本设计属性.面对现有补丁式防御手段存在的缺陷,如何增强软件系统的韧性能力引起了安全领域研究人员的广泛关注.结合软件系统微服务化的发展趋势,对微服务架构下软件系统韧性增强技术的研究现状进行了归纳分析,从冗余及多样性、...     

基于代码审查的综合软件质量评估方法

评价一套软件系统的质量,一方面要对其所表现出来的外部特征进行研究,另一方面还应对其内部结构进行分析。因为构成软件系统的程序代码质量如何直接决定了整个软件系统的质量水平,所以程序代码中的缺陷分布特征也直接反映了软件系统的质量特征。介绍了如何通过抽样审查程序代码的方法建立软件缺陷分布函数,从而达到由软件缺陷分布来对软件质量进行综合、量化评估的目的。     

基于数据源识别和驱动分析的软件系统测试方法

航天测控软件系统安全关键等级高,其质量直接决定航天任务成败,具有架构庞大、软件配置项多、内外接口复杂、数据传递路径长、处理实时性强等特点,软件系统测试的要求高且难度大,目前存在系统测试需求不清晰、测试针对性差等实际问题;航天测控软件系统是典型的数据驱动型软件系统,针对其特点,文章提出了一种基于数据源识别和数据流分析的软件系统测试方法,开展了数据源识别、数据流路径分析、数据状态分析和获取、系统级数据流顺序图生成等关键技术研究,给出了该方法的推荐工作流程;该方法已在多个航天测控中心软件系统测试中应用,实践表明,针对数据驱动型软件系统,该方法可以显著提高系统测试的设计有效性和测试效率。     

基于机房管理系统的高校机房软件系统安装与维护

高等学校计算机房承担着教学、实践、研究等诸多任务,本文提出,使用机房管理系统能够实现机房软件系统盼陕速安装与维护,提高了机房软件系统的管理效率,满足了教与学的需要。     

基于构件的软件演化波及效应分析

随着新技术的采用和系统环境的变化,构件和软件系统的演化在所难免,演化会影响系统的整体行为。分析了基于构件的软件系统中的耦合性对演化波及效应的影响,对软件系统中构件内部各种依赖关系、构件与连接件之间的各种耦合关系进行矩阵表示,提出一种能够防止波及效应扩大化的软件系统动态演化的波及效应方法,实现了对软件系统的构件和连接件的演化波及效应研究。在基于构件的软件系统的动态演化中,可以根据波及效应的分析获得需要进行重新修改或演化的构件和连接件,从而保证动态演化的一致性和连续性。     

基于数据库的智能组卷系统开发

研究了试题库管理与智能组卷软件系统的整体框架.利用ADO.NET实现了数据库中试题库的管理功能,开发了题库管理软件系统,实现了高效智能组卷.     

基于过程建模的软件系统开发环境

随着计算机系统应用范围的快速扩展，人们迫切需要质量高、成本低、上市早的软件系统，软件系统的自动生成是解决问题的一个好的方法，提出一种基于过程建模的软件系统开发方法，并且研究和实现了一个支持软件系统从需求分析到软件自动生成的软件开发环境SDEBPM。     

雷达对抗仿真软件系统

提出了雷达对抗仿真软件体系结构，阐述了各部分内涵和功能，研究了雷达对抗仿真软件系统逻辑结构，在该软件系统总体设计思想的基础上，使用VC＋＋开发了雷达对抗仿真软件平台，结合实际进行了仿真试验实例分析，验证了仿真软件系统的正确性。     

基于复杂网络的软件方法重要性评估指标

为了探究软件方法对软件系统性能的影响,在复杂网络理论的基础上对软件中方法的重要性进行了研究。首先介绍了一种可以准确描述软件结构的动态软件网络模型,并基于该网络模型结合PageRank算法的思想,提出了软件系统的方法重要性评估指标—PRW。通过与现有指标的对比实验,验证了PRW指标能够更加准确的对软件方法的重要性进行评估,也更适用于软件系统。PRW值较大的方法应该优先得到优化,这样可以有效提升软件系统性能。     

模糊综合评判开发工具的设计与实现

以图论、数理逻辑和关系数学理论为指导,结合模糊数学理论,研制开发了一个基于树和最小生成树算法的多级模糊综合评判开发工具。旨在帮助各专业工程师设计、建立和调试模糊综合评判模块或模糊综合评判软件,提高软件系统的设计效率,缩短软件系统的研究周期,降低软件系统的开发成本。     

可配置网络式软件系统的可用性预计研究

在复杂系统的建模与仿真研究的基础上,提出了一种基于多Agent的可配置网络式软件系统的可用性预计方法。首先介绍了多Agent系统建模与仿真方法;其次分析了可配置网络式软件系统的特点;然后在研究基于多Agent的网络式软件系统建模与仿真的基础上,研究可配置的行为模型,并建立了基于多Agent的可配置网络式软件 系统可用性仿真方法;最后利用Nctlog。仿真平台,结合实例对可配置的作用进行了可用性预计,并验证了本方法的有效性。