基于扩展CHAM的SA级路径覆盖方法

徐士华; 吕莉媛; 赵磊

Chinese

您当前的位置：

首页 >

文章列表页 >

基于扩展CHAM的SA级路径覆盖方法

更新时间：2026-09-04

- 基于扩展CHAM的SA级路径覆盖方法
- Method of Paths Coverage at SA Level Based on E-CHAM
- 微电子学与计算机 2011年28卷第9期页码：22-26
- 作者机构：
  
  1. 1 黑龙江司法警官职业学院机构,黑龙江,哈尔滨,150060
  2. 2 哈尔滨师范大学图书馆,黑龙江,哈尔滨,150025
  3. 3 哈尔滨师范大学机构现代实验中心,黑龙江,哈尔滨,150025
- 作者简介：
- 基金信息：
  
  教育部项目(10YJC870025)
- DOI：
  中图分类号：
- 纸质出版：2011
- 稿件说明：
移动端阅览
徐士华, 吕莉媛, 赵磊. 基于扩展CHAM的SA级路径覆盖方法[J]. 微电子学与计算机, 2011, 28(9): 22-26.

XU Shi-hua, LV Li-yuan, ZHAO Lei. Method of Paths Coverage at SA Level Based on E-CHAM[J]. 2011, 28(9): 22-26.
徐士华, 吕莉媛, 赵磊. 基于扩展CHAM的SA级路径覆盖方法[J]. 微电子学与计算机, 2011, 28(9): 22-26. DOI：

XU Shi-hua, LV Li-yuan, ZHAO Lei. Method of Paths Coverage at SA Level Based on E-CHAM[J]. 2011, 28(9): 22-26. DOI：

摘要

化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化

以此来指导分析和测试.针对软件体系结构(SA)中构件的概念

采用CHAM对SA中的构件进行建模

并据此导出该构件的标号迁移系统(LTS)

以表示该构件与其它构件之间的行为交互

并根据选取的测试覆盖准则

生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例

通过实验验证了该方法在生成DB构件的测试路径上是可行的.

Abstract

Chemical Abstract machine(CHAM) language describes system states diversification by combining chemical reaction and concept of Abstract machine.For this reason

description of CHAM can be employed in guiding analysis and testing.This paper uses CHAM to model components of software architecture(SA)

and then derives labelled transition system(LTS) of this component to show interactive of components behaviors.According to the selected coverage criteria

we derive all testing paths based on the LTS of the component.Finally

regarding Browser/Server(B/S) architecture as an example

the experiments on generating testing paths of DB component is shown feasible.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于CHAM的SA级全路径覆盖方法

一种用于极低压boost系统的高效率电荷泵

面向处理器分支预测单元的Spectre攻击轻量化防御方法

AlN/GaN混合缓冲层双异质结p-GaN HEMT直流特性仿真

一种基于特征上下文理解与切片分析的肺结核检测算法