浅析实现与测试网构软件的方法

本文阐述网构软件的构成及测试,并提出了具体的实现方式。概括了基于互联网服务的网构软件的实质,网构软件与传统软件间的差异,提出了在互联网上实现网构软件的趋势及实现网构软件的测试方法。     

基于模型的网构软件可达性检测方法研究

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...     

网构软件的实现和测试方法的研究

对网构软件的形成和测试进行了理论的分析,并提出了具体的实现方法.综述了基于Internet平台上的新形态的软件,即网构软件的概念、特征及其生命力,网构软件形态和传统软件形态的区别,传统软件的测试前提、技术和步骤以及传统的测试方法.提出了网构软件在Internet平台上实现的雏形,及网构软件实现过程中的测试方法.     

基于监控的可信网构软件构造方法建模

网构软件是一种面向网络环境的新型软件形态,其构建依赖于对开放、动态和多变环境中各网络节点软件实体之间的有效协同,然而,目前的软件构造方法都是基于静态可信,即:都是研究软件制造过程中的可信度,一旦软件制作完成,在运行过程中,软件的可信度是否会改变就不在研究范围之内。针对网构软件的开放、动态和多变特性,设计了一种基于监控的可信网构软件构造模型,该模型随着网构软件的运行,随时根据网络节点状态等相关因素动态评估网构软件的可信度,并根据监测结果改进网构软件和监控参数,为网构软件提供动态可信支持,并逐步提高网构软件的可信度。     

网构软件实体的功能描述及其发现

网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关的环境实体以及这些环境实体需要的来自软件实体的交互,环境实体的生命周期用树结构层次状态机来刻画.网构软件实体的功能则表现为它能够与那些环境实体发生的交互,以及这些环境实体在它的作用下所发生的变化.文中构型了网构软件实体功能描述之间的匹配过程,以支持网构软件实体的发现.选择在线教学领域中的具体案例展示了所提出方法的有效性.     

一种基于信任关系的网构软件安全模型及其应用研究

作为一种新的软件架构概念和技术,网构软件成为当前软件工程研究领域的焦点之一。然而新的架构技术和运行环境也使得网构软件技术面临着一些新的问题,其中包括网构软件的信息安全性问题。为了实现对网构软件的信息安全保护,本文提出了一种基于信任关系的网构软件安全保护模型,它通过建立网构软件中各软件主体之间的信任关系,达到对网构软件中信息的安全保护目的。     

一种网构软件构件选择方法

针对网构软件构件选取问题的特点,将网构软件构件选取问题中的构件选择问题CSPI映射为MMKP,提出一种基于遗传算法的网构软件构件选择方法。该方法首先对构件库中的构件依据构件的功能刻面分类并检索,得到检索集;然后引入遗传算法,从检索集中选择多个合适的构件构建网构软件;接着,引入蚁群算法中的正反馈思想,对遗传算法中的变异操作进行改进;最后,实验结果表明:遗传算法能够选择合适的构件构建网构软件,并且改进的遗传算法能够选择更合适的构件构建网构软件。     

Internet计算环境下的新型软件形态——网构软件(Internetware)综述

软件形态受到应用、平台和技术发展的影响而不断演化。由于Internet这一新的计算环境的普及,传统的软件形态逐渐无法适应Internet环境下的开发和应用,需要研究新的软件形态和软件技术。该文在分析软件发展历史的基础上结合相关研究说明了基于Internet环境的网构软件(Internetware)是未来软件的发展趋势,介绍了网构软件的基本特征,并说明了网构软件领域的研究问题。     

基于贝叶斯网络的网构软件可信性评估模型

对于运行在开放、动态、难控的互联网环境的网构软件,其可信性评估是一个重要课题,但目前大量研究中可信性计算多是基于黑盒的,没有深入考虑系统结构,且评价指标过于单一.因此,提出了一个基于贝叶斯网络的网构软件可信性评估模型.该模型通过对网构软件进行结构分析,根据其结构模式,建立多层的网构软件可信性评估指标体系.基于贝叶斯网络采用自底向上逐层分析计算的方法,对网构软件的各组成实体及其系统整体的多方面可信性指标进行评估,形成统一的可信性结果,并使用客观数据对其进行修正.实验证明,该模型可以明确、客观地对网构软件的可信性进行评估,并能够对网构软件的设计、开发和部署提供帮助.     

基于PTCPN的网构软件建模与分析

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模型对时间Petri网进行了可变代价和颜色信息的扩展,并使用代价时间变迁系统定义了PTCPN的语义;定义了PTCPN的累积代价状态类,并证明了累积代价状态类的合理性和完备性;给出了基于PTCPN的多Agent网构软件建模及分析方法.最后,通过实例分析说明应用PCTPN对网构软件进行形式化建模及分析是可行的.     

一种满足可靠度期望的网构软件优化方法*

Internet环境下网构软件的开发是一个构件组装过程,传统的软件可靠性技术在其应用过程中面临着新的挑战。建立了网构软件的抽象模型和物理模型,介绍了可靠性的形式化定义及五种构件组装结构的可靠性度量方法,提出了一种满足可靠度期望的网构软件优化方法。该方法将复杂的网构软件结构进行串行化,以抽象构件、链路的可靠度期望阈值过滤无效分支,以网构软件的可靠性期望筛选较优路径,应用一种改进的蚁群优化算法求解,从而实现了网构软件抽象模型与物理模型的映射。实验仿真及分析表明,该方法适用于解决开放式环境下网构软件的可靠性优化问题,相对于传统方法,它具备较好的执行性能。     

网构软件中实体发现和排序的TEA方法

自治软件实体分布在开放、动态和多变的互联网中,它们的协作构成网构软件的基础。动态连接模式是网构软件重要的协作方式。在该模式下,如何选择具有所需质量的软件实体,是一个非常困难的任务。介绍了运行时测试和自动化测试技术,提出网构软件的自动化运行时测试方法。总结网构软件中用于软件实体的发现和排序的解决方法,提出了测试和评估方法TEA。网构软件不知道候选软件实体的质量,通过进行自动化的运行时测试,TEA可以选择具有更高质量的实体。如同网构软件一样,自治软件实体也可以在运行时改变自身结构。通过使用确认断言来评估每次实体调用的结果,TEA可以尽早发现实体变化引起的质量问题。TEA中的软件实体注册机收集每个不同的网构软件反馈的测试和评估结果信息,可以产生按估计质量排序的实体列表。在模拟实验中,TEA产生的有序列表获得最好的评估分数。     

用抽象质量类型构建高质量网构软件

在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预测,从而在部署和运行阶段进一步进行评估和验证。提出了一种新的抽象概念,即抽象质量类型,将软件实体的数据状态、相关的操作、质量属性以及保证质量得以实现的环境封装在一个统一的语法单元中,从而为建模软件实体以及推导其功能和非功能属性提供了一种严格的手段。探讨了基于软件体系结构及软件交互过程的抽象质量类型的组合,这为构建高质量网构软件提供了一定的形式化基础。最后,还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件,并验证和提高网构软件系统的相关质量属性。     

基于层次着色Petri网的网构软件性能建模与仿真分析方法

网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含一个顶层CPN和若干个子层CPN.顶层CPN建模网构软件的业务处理流程;子层CPN详细建模从请求服务到服务执行完成的过程.服务请求来自网构软件和其它软件系统.然后采用CPN Tools工具通过模型的仿真进行性能分析.最后通过仿真实验研究外部负载对服务进而对网构软件性能的影响.     

面向服务的网构软件中间件研究

网构软件是近年来提出的一种具有自底向上的自主性、协同性、反应性、演化性、多态性等特征的软件状态 ,主要用来解决 Internet下分散的构件体的共享、集成和复用 ,但网构软件还处于发展初始阶段。结合 SCA简化 SOA所构建的业务应用程序的设计和集成 ,以及 SDO和 DAS的数据访问模式来构建一种网构软件中间件框架 ,并用 UML对各个阶段建模 ;最后结合 Apache下 SCA系统的 Tuscany开源包的一个远程教育集成系统来应用该网构软件中间件。     

一个决策驱动的网构软件动态演化模型

传统的建模方法比较难实现网构软件系统的动态演化和自适应性,基于决策驱动的网构软件动态建模方法研究已经成为一个热点。从决策抽象和问题分解角度,提出一个决策驱动的网构软件动态演化模型。首先使用松弛原子算法来分解问题与动态组合决策;然后采用累加累减算法建立网构软件动态演化模型;最后设计相关的网构软件系统来验证该模型。性能分析表明,相比传统模型,该模型有良好的动态演化效果。     

一种情境驱动的网构软件体系架构与支撑环境

本文从网构软件Internet环境下涉及的各类事物和事件情境及情境的整个生命周期出发,以情境驱动为核心,对网构软件的体系结构与支撑环境展开研究,以支持服务实体的自适应、自演化行为。本文研究了Internet环境下服务实体交互与协同关系中的各种情境构成,给出了一个适合网构软件的情境本体定义。在此基础上,给出了一种基于情境感知的网构软件体系架构,并描述了在这一架构下网构软件按需聚合和动态演化的模型与机制。围绕该应用场景,结合服务实体实际运行时的特点及要素,给出了该体系架构下网构软件的支撑环境软件设计。最后,本文给出了一种基于OSGi服务平台的支撑环境参考实现。     

网络环境下的新型软件开发方法——网构软件

针对当前网构软件的研究与探索,从其支撑技术着手介绍网构软件的概念模型及运行机制,总结国内外在构件、软件Agent等技术所做的工作。     

基于复杂网络的网构软件信任评估与搜索算法

为提高网构软件的信任水平和网络收敛速率,将复杂网络的小世界特征和无标度特性引入到网构软件的信任评估和可信构件搜索过程中,对网构软件进行群落划分,提出基于复杂网络的网构软件信任评估方法及基于最大度搜索的可信构件搜索(TIS)算法。仿真实验结果表明,与随机搜索算法和广度优先搜索算法相比,TIS算法能提高可信构件的搜索效率,减少网络负载量,降低信任路径长度和信任风险。     

网构软件演化的业务一致性验证方法

为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法.基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ/ADL到接口自动机的转换规则,给出检验系统业务一致性的3个规则,结合实例给出业务一致性的检验过程.通过模型检测器Spin证明该方法能够验证网构软件演化的业务一致性.