化学抽象机概要.pptx

化学抽象机;化学抽象机CHAM;基本概念;基本概念;结构 一个化学抽象机由一组分子m0,m1,m2?、溶液s0,s1,s2?和变换规则组成 分子是CHAM的基本元素, 由一个常数集和操作符集派生而成的句法代数定义; 溶液是由有限多个分子的集合, 它反映了系统的某种状态, 溶液中的分子根据变换规则进行反应;规则 变换规则从应用范围可分为 通用规则, 即在整个CHAM中通用的规则; 专用规则, 适用于某些特定分子的规则。 从反应作用可分为 加热规则, 把大分子分解成小分子的规则; 冷却规则, 小分子合成大分子的规则 从反应涉及的分子可分为 自反应规则, 只有单一分子的状态变化; 互反应规则, 反应过程中至少有两个分子参加反应;膜结构的使用 在CHAM中, 膜是一种封装结构, 任何溶液可以被看作一个关于其它溶液的单一分子, 膜内的溶液可以独立进化。膜具有半可渗透性, 允许某些分子进入和离开, 通过膜上的气孔, 可以有选择地从膜中抽取分子, 同时, 气孔的可逆性允许分子被重新吸收到原始溶液中, 膜表示了复合构件, 实际上提供了一种刻画系统模块化的途径;化学抽象机的优势 与其他以状态机为转换模型的技术相比, CHAM利用化学反应这一隐喻, 因此在刻画系统的动态性特征方面比较自然 CHAM规格说明是一个基于操作的系统框架, 这种框架不会把所描述的系统曲解为某种特定的计算模型 CHAM描述不仅可以描述系统静态特征,还能从系统操作动态性方面进行描述, 通过对各单元的描述、引入的转换规则及项重写描述和分析体系结构的动态行为, 因而可使软件开发人员很快地了解系统功能和行为, 适用于多种层次的用户 能够有效地描述体系结构的动态特性，并且其动态特征能够用LTS表示出来，这为体系结构测试提供了基础．因此生成LTS是基于SA规格说明测试的关键问题． ;LTS:带标号的迁移系统;LTS状态树生成算法;LTS状态树生成算法;LTS状态树生成算法;LTS状态树生成算法(广义）;LTS状态树生成算法(广义）;应用：ATM测试用例生成;应用：ATM测试用例生成;应用：ATM测试用例生成;应用：ATM测试用例生成;应用：ATM测试用例生成;应用：ATM测试用例生成;应用：ATM测试用例生成;应用：ATM测试用例生成;应用：ATM测试用例??成;应用：ATM测试用例生成;应用：ATM测试用例生成;化学抽象机