Method of Paths Coverage at SA Level Based on E-CHAM

XU Shi-hua; LV Li-yuan; ZHAO Lei

Chinese

您当前的位置：

首页 >

文章列表页 >

Method of Paths Coverage at SA Level Based on E-CHAM

更新时间：2026-09-04

- Method of Paths Coverage at SA Level Based on E-CHAM
- Vol. 28, Issue 9, Pages: 22-26(2011)
- 作者机构：
  
  1. 1 黑龙江司法警官职业学院机构,黑龙江,哈尔滨,150060
  2. 2 哈尔滨师范大学图书馆,黑龙江,哈尔滨,150025
  3. 3 哈尔滨师范大学机构现代实验中心,黑龙江,哈尔滨,150025
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：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

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Method of All Path Coverage at SA Level Based on CHAM

Microservices anomaly detection based on the correlation of monitoring metrics

Aerial vehicle detection algorithm based on multi-scale fusion and small-object enhancement

A feature-oriented context understanding and slice analysis network for tuberculosis detection

Research on the design of blockchain-based AI-generated content traceability framework

Related Author

ZHAO Lei

XU Shi-hua

ZHAO Guo-sheng

LUN Li-jun

Related Institution

Modern Education and Technology Center, Harbin Normal University

The Professional Judicial Police College of Heilongjiang

Institute of Computer Science and Information Engineering, Harbin Normal University

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰