化学抽象机相关论文
软件体系结构(SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,SA的动态描述常被用来指导分析和测试......
基于构件的软件系统的测试问题，应该从构件的提供者和构件的使用者两个角度来看。当构件从提供者交付到使用者时，往往假定单个构......
面向对象技术以它独有的优越性被程序员广泛使用,使得软件开发过程简单化,系统模块化以及重用性程度提高等等,这给软件行业带来了......
随着软件系统需求的不断变化，软件系统也需要随之更新。对于静态体系结构的软件系统而言，软件扩展、更新和维护需要系统停止运行，这将......
软件测试在软件开发过程中是一个极其重要的环节,但是软件测试本身却是一个过程复杂、耗时耗力且具有较高重复性的工作。为了提高......
从上世纪五十年代软件诞生开始，软件设计一直是软件系统开发的核心内容，好的软件设计有助于软件开发人员提高工作效率，减少不必要的开......
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步.许多软件体系结构描述语言是利用带标号的转换......
UML已经成为当前面向对象软件测试研究的重要方向。面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试。CHA......
化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构......
SA（软件体系结构）的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系......
This paper analyzes and studies the form and the ability of the Chemical Abstract Machine, or CHAM, ondescribing the sys......
在基于Mult-agent的虚拟油料保障系统问题求解研究中，组织是一种有效的求解方法，笔者首次将演算和化学抽象机运用到军队油料保障系统......
期刊
介绍了软件体系结构的形式化描述方法-化学抽象机(ChemicalAbstractMachine,CHAM),总结了队列网络模型(QueueingNetworkModel,QNM)......
面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模......
化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。它借用化学反应的隐喻，通过化......
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则......
软件连接件是软件体系结构中的一个重要概念,是构件间相互作用的媒体.用形式化方法对其模型加以描述是软件体系结构研究中的一个重......
软件体系结构在软件工程领域中至关重要,而软件体系结构描述语言ADL为软件体系结构的表示和分析提供了语言符号和支持工具。分析和......
军队后勤保障指挥决策系统是高技术局部战争后勤保障的中枢,科学合理构 建系统的结构是提高决策系统质量的关键,针对该系统大范围......
软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径......
目前基于构件的软件工程(Component-based Software Engineering，CBSE)已成为软件工程领域的研究热点。各种新型构件开发技术进一步......
软件体系结构在软件开发过程中至关重要，其中任何微小错误都会给软件开发及后期维护带来很大麻烦．本文提出一种软件体系结构测试序列......
组织是油料保障系统问题的重要方面,Agent组织是一种有效的组织结构设计方法。将π演算和化学抽象机分别运用到军队油料保障组织结......
期刊
