【技术实现步骤摘要】
一种软件组件系统组件间协作行为分析方法
本专利技术属于计算机软件领域,涉及一种软件组件系统组件间协作行为分析方法。
技术介绍
近年来,随着计算机和软件技术的迅速发展与广泛应用,社会的信息化程度不断提高,计算机软件已经广泛应用于诸如航空航天、核反应堆、国防建设以及与国民经济相关的重要领域。如果计算机软件系统的安全受到危害,将会危及国家安全,引起社会混乱,造成重大损失。因此,确保计算机软件系统的安全成为世人关注的社会问题,并成为信息科学
中的研究热点。随着人们对软件系统功能要求的不断提高,软件系统的规模也越来越大,导致软件的开发、集成和维护工作也越来越复杂,软件在被使用时遇到广泛的软件信任问题。增强软件系统的可信性得到了广泛的关注。软件系统的可信是指软件系统的行为及其结果总是符合人们的,在受到干扰时仍能提供连续的服务。然而,由于目前尚严重缺乏相关的可信软件构造技术,导致软件产品在推出时总会含有一些已知或未知的缺陷,这些缺陷对软件系统的运行构成了严重的威胁。因此,构造可信软件已经成为现代软件技术发展和应用的重要趋势和必然选择。目前,对于可信软件的开发方法以及运行支撑平台的研究仍然处于起步阶段。对于生产可信软件产品来说,仍然缺少科学的理论基础和严格的技术手段。因此,如何构造可信软件的相关问题,已经成为当前软件行业所面临的一个挑战,并且已成为软件工程领域的热点问题之一,该领域的研究具有重要的理论意义和应用价值。现有的软件行为分析方法多是通过静态分析或动态分析,获取软件自身的状态序列从而进一步获取行为序列,其缺点是只能关注软件本身顺序执行的行为,而对软件系统中各 ...
【技术保护点】
一种软件组件系统组件间协作行为分析方法,其特征在于包括以下步骤:步骤1:分析组件行为,建立组件的行为模型;分析组件与其它组件的外部交互,确定组件与指定组件交互所接收和发送的消息,建立组件的UML状态图,通过状态图进一步了解了组件的行为;步骤2:对各组件进行基于Pi演算的行为描述;针对组件行为分析结果,以组件与其它组件协作情况下的UML状态图为主,并将组件收发的消息作为附加信息,按所定义的抽取规则对组件状态图进行Pi演算语义的抽取,得到各组件基于Pi演算的行为描述;步骤3:生成协作路径集合;利用Pi演算操作语义推演组件间的协作路径,生成协作路径集合,将该集合作为组件间协作行为的一部分;步骤4:分析协作路径上的时间约束,生成带时间约束的协作路径集;构造系统的时序图,根据所生成的协作路径从所构造的时序图中抽取所需的时间约束,生成带时间约束的协作路径集。
【技术特征摘要】
1.一种软件组件系统组件间协作行为分析方法,其特征在于包括以下步骤:步骤1:分析组件行为,建立组件的行为模型;分析组件与其它组件的外部交互,确定组件与指定组件交互所接收和发送的消息,建立组件的UML状态图,通过状态图进一步了解了组件的行为;步骤2:对各组件进行基于Pi演算的行为描述;针对组件行为分析结果,以组件与其它组件协作情况下的UML状态图为主,并将组件收发的消息作为附加信息,按所定义的抽取规则对组件状态图进行Pi演算语义的抽取,得到各组件基于Pi演算的行为描述;步骤3:生成协作路径集合;利用Pi演算操作语义推演组件间的协作路径,生成协作路径集合,将该集合作为组件间协作行为的一部分;步骤4:分析协作路径上的时间约束,生成带时间约束的协作路径集;构造系统的时序图,根据所生成的协作路径从所构造的时序图中抽取所需的时间约束,生成带时间约束的协作路径集;其中,步骤2所述的抽取规则包括以下内容:规则1.一个组件可以作为Pi演算中的一个进程;规则2.一个组件可以通过消息的接收与发送与其它组件交互,当一个消息被传递时,假定存在一个传递该消息的通道与Pi演算中的传递该消息的通道相对应;规则3.在状态图中,状态的迁移是由事件的触发引起的,事件的触发由消息的收发引起,因此一个状态迁移可以由基本进程表达式表达;从S1状态迁移到S2状态,由通道a接收消息x,这一迁移可以表示为a<x>;规则4.在状态图中,没有通过接收或发送消息而被触发的事件所造成的状态变迁不进行Pi演算语义抽取;规则5.在状态图中,互斥的条件分支借助Pi演算中的和式表达式表示;规则6.在状态图中,由一系列状态迁移构成的可行流程用Pi演算的进程表达式来表达;步骤3所述的协作路径是各组件协作完成某项任务的过程中进行消息传递形成的协作消息链;组件间的协作路径可以表示为pi=<mi1mi2…mij>,其中mij是所传递的消息,可以用一个三元组表示为mij=(sender,name,receiver),其中,i>0,j>0;sender为消息发送者的标识;name为所传递消息的标识;receiver为消息接收者的标识;所述协作路径集合可以表示为集合P={pk},其中pk为组件间的协作...
【专利技术属性】
技术研发人员:王丹,王晓曦,杜金莲,苏航,庞俊彪,赵文兵,
申请(专利权)人:北京工业大学,
类型:发明
国别省市:北京;11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。