.NET平台下安全监管信息系统的设计与软件分布

针对传统安全监管手段和模式已很难适应当前迅速变化的复杂安全生产形势这一局面,文章从国家层面对企业安全生产监管计算机化进行了系统性分析,提出了建模方法,提供了基于.NET技术的系统设计方案,并在此基础上对系统的软件分布进行了探讨,对模拟开发实用软件具有一定的指导意义。

用户级通信在软件分布式共享存储系统中的应用与分析

通信性能不高是影响软件分布式共享存储系统性能的主要因素之一 .用户级通信技术能够充分发挥高速网络的硬件性能 ,减少数据拷贝次数、降低软件开销 ,明显改善了带宽和延迟 ,为软件分布式共享存储系统性能的提高开辟了新的途径 .设计并实现了一个面向软件分布式存储系统的用户级通信库 ,它不仅改善了系统的通信性能 ,同时也使得系统的并行计算性能得到改善 。

基于效益函数的软件分布式自动化测试调度算法研究

该文以分布式软件持续质量保证思想为基础,对软件分布式自动化测试平台的任务调度算法进行了讨论分析,发现其存在的问题。通过引入三种效益函数并结合测试任务调度的特点,提出了新的改进算法,文章给出了改进算法的仿真实验以及评价。虽然新算法在性能上有所改进,但是仍存在不足之处,文章最后提出了今后改进的方向,以使调度算法进一步趋于完善。

云计算的分布式软件测试方法应用及研究

软件测试是软件工程中不可缺少的重要环节,传统的软件测试方法在面对大规模、分布式的软件系统时,常常效率低下,不能较好支持快速迭代式开发的要求。云计算技术的出现,使分布式软件测试有了高效实现的途径。本文将探讨基于云计算的分布式软件测试方法的研究,旨在提高测试效率和准确性。

基于分布式SDN的机动通信系统拓扑发现方法

针对目前传统机动通信系统、主流软件定义网络(software defined network,SDN)的拓扑发现方法不适合基于分布式SDN的机动通信系统这一问题,遵循OpenFlow拓扑发现算法(OpenFlow discovery protocol,OFDP)移植传输控制协议/网际协议(transmission control protocol/Internet protocol,TCP/IP)相关协议到SDN网络的研究思路,对开放最短路径优先(open shortest path first,OSPF)协议进行优化,精简协议状态机、优化协议报文、增加协议功能并设计拓扑发现算法,提出一种适合基于分布式SDN的机动通信系统的拓扑发现方法,并搭建仿真实验平台进行验证。实验结果表明,优化后OSPF协议适应于分布式SDN网络,网络拓扑建链时间降低80%且重新收敛时间显著降低,建链开销平均每秒接收字节数、发送字节数分别下降了31.7%和21.5%,维持开销平均每秒收发字节数降低了45%,增加了收集信道种类等网络信息的新功能。

监控使能的分布式软件系统构造方法

针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提出了监控使能的分布式软件开发方法和工具,降低了监控实施代价,增强了代码的可维护性;基于运行时体系结构,提出了监控系统的动态可定制部署方法.监控使能的分布式软件构造方法能够在开发时控制功能代码和非功能代码的纠结,尽可能地降低软件编程人员的代码维护难度;能够在部署时保证监控系统和被监控对象的松耦合;能够在运行时实现监控信息的按需汇聚和按需处理.从而在对系统核心业务的影响尽可能小的前提下.获得对系统运行行为尽可能全面的理解.

云环境下基于统计监测的分布式软件系统故障检测技术研究

越来越多的分布式软件系统部署在公有云计算平台,通过互联网向外提供服务.云计算环境的复杂性、动态性和开放性使得分布式软件系统更易于出现故障,造成服务失效,从而影响大量用户正常使用,甚至造成巨大经济损失.故障检测技术旨在自动及时的检测系统故障的发生,以避免或减少服务失效所带来的损失,是保障分布式软件系统性能与可靠性的关键技术之一.云计算环境对该技术带来了新的挑战,该文首先分析了这些挑战.基于统计监测的故障检测技术在线搜集监测数据构建统计模型,并基于该模型对系统运行状态进行分析与预测,具有实时监测分析、自动化检测、无需领域知识等优势,能够满足云环境的需要,因此引起了学术界和工业界的广泛关注.该文提出了面向云计算环境的基于统计监测的分布式软件系统故障管理参考框架,包括分布式监测、监测数据处理、故障检测、故障诊断以及故障处理等模块;将已有工作分成基于规则、度量分析、日志分析和行为分析等四大类,逐类介绍其实现原理,并对比分析各类的优缺点;针对当前云计算环境的特点,从在线自动检测、运行环境感知和组件交互分析等3个方面展望了未来的研究方向.

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性.

一种具有时间约束的分布式软件可靠性评估方法

在对分布式软件的可靠性进行评估时 ,通常采用以分布式程序为基础建立的相应模型 ,然而这些模型侧重于分布式软件的可靠性 ,很少反映具有时间约束特征的可靠性特性 以分布式软件的可靠性模型为基础 ,将精简和广度优先两种方法有机结合 ,对文件生成树中的数据文件传输时间进行评测 ,确定文件生成树的状态 。

分布式软件的交互行为监测机制的研究

在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,为有效监测其交互行为,分析了交互行为监测对象,明确了对交互行为中哪些可信相关数据进行监测;给出了交互行为监测机制的设计原则,遵循此原则设计了3层结构的监测框架;并在此基础上实现了交互行为监测机制。该监测机制已应用于分布式电子商务应用系统中,结果表明该监测机制是有效的。

可重用的分布式软件构件模型分析

软件重用一直是软件生产的目标。分布式构件是可重用的软件模块,该文介绍了当前比较流行的三大分布式构件模型,并对它们进行了分析比较。

一种基于构件的分布式软件构架描述语言

针对分布式软件系统规模和复杂性不断增大的特点 ,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言 (DSADL) ,详细描述了DSADL的设计目标、组成元素以及形式化描述基础 ,并实现了分布式软件构架集成开发环境 (EDAD) .由于DSADL结合了SADL与构件技术 ,因此它既有严格的语义基础 ,同时又具有构件的可复用性、易移植性的特点 .实践证明 ,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计 。

基于检查点的分布式软件监控与可信性评价

基于检查点的传统软件可信性评价方法以及目前针对分布式软件的交互关联规则,对于具有复杂交互行为的分布式软件均不适用。采用伴随式分布式软件监控机制,在节点内织入3类检查点,引入适应复杂交互场景的交互关联规则。通过将节点分解为多层模块结构,进行基于检查点结构树的节点实例可信性以及基于节点的分布式软件可信性评价。实验表明能以较小的监控开销,更准确地评价分布式软件实例的可信性,能够处理无限路径,且不存在大状态空间问题。

基于组件的分布式软件的动态配置和容错

论文提出一种结构化新方法,它能通过动态配置支持基于组件的分布式软件的容错。采用面向图形的编程模型,基于组件的分布式软件的软件体系结构可用一个逻辑图来表示,该逻辑图可以精化为一个明确的对象并分布到网络中,软件的动态配置通过执行定义在图上的一系列操作来实现,发生错误时通过动态重配置软件来支持容错。论文描述了该方法的基本模型、系统结构及其在CORBA上的实现原型。

一个基于属性文法的分布式软件构架描述语言

综合考虑当前各种软件构架描述方式的特点,结合分布式软件的特征,首先,提出并建立了一个以属性文法AG(attributed grammar)为基础的、基于构件的分布式软件构架描述语言DSADL(distributedsoftware architecture descriptionlanguage)及其自动生成模型,通过对属性文法的扩充,实现了用其描述构件的并行、同步、时序等特性;其次,借助于AG分析器和属性计算器,开发了基于DSADL的分布式软件构架开发集成环境原型,支持对分布式软件体系结构的图形化建模和ADL的自动生成,可方便地进行系统验证和分析·初步使用表明,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计,从而提高系统的开发效率·

CORBA构件技术在信息系统分布式软件体系结构中的应用

随着企业(事业)分布式信息处理的日趋复杂,传统的C/S体系结构已不能适应复杂信息系统的需要,开发者必须寻找新的软件体系结构,才能成功地开发出可用性较好的信息系统。该文探讨了一种适用于企业(事业)信息系统的分布式软件体系结构,结合开发实例讨论了基于CORBA的构件技术及其在分布式信息系统开发中的一些具体方法。

一个基于构件的分布式软件构架开发环境

针对分布式软件和软件构架日益复杂的特点 ,本文首先提出并建立了一个基于构件的分布式软件构架描述语言 DSADL,然后介绍了基于 DSADL 的分布式软件构架开发集成环境 EDAD.实践证明 ,EDAD能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计 。

面向模式的分布式软件构架可视化建模

主要阐述了面向模式的分布式软件构架的概念、原理和常用构架模式的特点。重点研究了提出的面向模式的软件构架建模语言、可视化建模工具的设计原理、功能及特点等,并以一个具体应用实例展示了该建模工具的实用性。

CMM实践中的分布式软件工程管理框架

分布式计算机体系结构的进展,使得客户/服务器软件工程被分布式软件工程所代替。CMM(CapabilityMaturityModel)已被软件组织所认识和重视,CMM实践中的软件工程的管理机制是软件质量保障的关键因素。该文介绍一种符合CMM思想、支持CSCW、适合分布式系统结构的管理框架,通过CMM角色定义、过程定义、过程流与文档流的管理以及对CMM角色行为的协同控制,帮助软件企业有效地控制软件过程、增强开发效率、改进软件产品质量。