化学抽象机

作品数：16被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵磊徐士华伦立军崔光霁赵恒更多>>
相关机构：太原理工大学哈尔滨师范大学黑龙江司法警官职业学院武汉数字工程研究所更多>>
相关期刊：《计算机光盘软件与应用》《计算机技术与发展》《计算机与数字工程》《中国教师》更多>>
相关基金：黑龙江省教育厅科学技术研究项目国防科技技术预先研究基金黑龙江省科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多智能体的虚拟油料保障系统求解研究
《中国储运》2012年第12期130-132,共3页程飞 丁国勤 刘雄 
在基于Multi-agent的虚拟油料保障系统问题求解研究中,组织是一种有效的求解方法,笔者首次将演算和化学抽象机运用到军队油料保障系统中,利用化学抽象机的运行过程对MAS组织结构进行设计,最后进行了具体应用,该求解方法对基于Multi-agen...
关键词：MULTI-AGENT 组织结构 Π演算 化学抽象机 油料保障 
一种软件体系结构级基本路径覆盖方法
《计算机工程》2012年第10期60-62,66,共4页赵磊 吕莉媛 赵国生 
教育部青年基金资助项目(10YJC870025);黑龙江省科技攻关基金资助项目(GZ09A109);黑龙江省教育厅科技基金资助项目(12521150)
软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基...
关键词：化学抽象机 软件体系结构 有向无环图 测试覆盖准则 基本路径覆盖 
基于扩展CHAM的SA级路径覆盖方法
《微电子学与计算机》2011年第9期22-26,共5页徐士华 吕莉媛 赵磊 
教育部项目(10YJC870025)
化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件...
关键词：测试路径 标号迁移系统 测试覆盖准则 化学抽象机 
CHAM在面向对象类测试中的应用
《电脑开发与应用》2011年第6期48-49,52,共3页赵艳军 崔冬华 
UML已经成为当前面向对象软件测试研究的重要方向。面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试。CHAM具有良好的动态特性可以很好地描述类状态的动态变换。LTS作为多种形式化语言的语义模型可以表达出类的...
关键词：化学抽象机 标号迁移系统 UML状态图 软件测试 
UML状态图的形式化描述
《电脑开发与应用》2011年第5期58-60,共3页崔冬华 崔光霁 
面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描述。利用和改进原有的CHAM建模语言,使其能够对UML状态图进行...
关键词：统一建模语言 化学抽象机 状态图 CHAM 
形式化CHAM语言的软件设计辅助工具
《计算机光盘软件与应用》2011年第8期133-135,共3页崔耕第 崔光霁 
化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。它借用化学反应的隐喻，通过化学中分子和化学反应的概念和抽象机模型的特点来描述系统状态的动态变化，但复杂的形式和缺乏工具...
关键词：统一建模语言 化学抽象机 状态图 形式化 
基于CHAM的SA级全路径覆盖方法被引量：1
《微电子学与计算机》2010年第4期140-144,共5页赵磊 徐士华 赵国生 伦立军 
黑龙江省教育厅科技项目(11531237)
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
关键词：软件体系结构 测试路径 标号迁移系统 测试覆盖准则 化学抽象机 
在软件体系结构中应用化学抽象机
《中国教师》2009年第S1期128-128,共1页袁廷香 
软件体系结构在软件工程领域中至关重要,而软件体系结构描述语言ADL为软件体系结构的表示和分析提供了语言符号和支持工具。分析和研究了动态形式化描述语言化学抽象机CHAM及其在软件体系结构中的应用。
关键词：化学抽象机 软件体系结构信息科学 
一种软件体系结构测试序列生成方法
《小型微型计算机系统》2009年第4期628-631,共4页孔庆彦 伦立军 刘永纯 宋益波 
黑龙江省教育厅科技项目(10541098)资助
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则...
关键词：软件体系结构测试 化学抽象机 反应规则依赖图 测试序列 
化学抽象机在软件体系结构中的应用
《黑龙江科技信息》2008年第33期129-129,共1页刘永纯 伦立军 
软件体系结构在软件工程领域中至关重要,而软件体系结构描述语言ADL为软件体系结构的表示和分析提供了语言符号和支持工具。分析和研究了动态形式化描述语言化学抽象机CHAM及其在软件体系结构中的应用。
关键词：化学抽象机 软件体系结构 软件工程 语言符号 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部