一种软件体系结构级测试序列生成技术

Chinese

您当前的位置：

首页 >

文章列表页 >

一种软件体系结构级测试序列生成技术

更新时间：2026-09-04

- 一种软件体系结构级测试序列生成技术
- Technique of Testing Sequences Generation on SA Level
- 微电子学与计算机 2012年29卷第1期页码：117-120
- 作者机构：
- 作者简介：
- 基金信息：
  
  教育部青年基金项目(10YJC870025)
- DOI：
  中图分类号：
- 纸质出版：2012
- 稿件说明：
移动端阅览
一种软件体系结构级测试序列生成技术[J]. 微电子学与计算机, 2012, 29(1): 117-120.

Technique of Testing Sequences Generation on SA Level[J]. 2012, 29(1): 117-120.
一种软件体系结构级测试序列生成技术[J]. 微电子学与计算机, 2012, 29(1): 117-120. DOI：

Technique of Testing Sequences Generation on SA Level[J]. 2012, 29(1): 117-120. DOI：

摘要

软件体系结构(software architecture

SA)通过对系统构件及其交互的抽象

提供了一个描述大型、复杂系统的高层次模型

软件体系结构的动态描述常被用来指导分析和测试.本文通过CHAM(chemical abstract machine

CHAM)描述的SA规格说明生成LTS

并根据测试需求进行测试功能的选取

提出了基于功能的最小LTS图(M-LTS)生成方法

根据McCabe覆盖方法生成M-LTS图的测试路径.最后以B/S结构为例

验证了该方法在生成SA级的测试路径上是可行的.

Abstract

Software architecture provide a high level model to describe large

complex systems by Abstracting system components and their interactions.Dynamic descriptions of SA can be employed in guiding test and analysis.This paper proposes an approach to generate LTS described by CHAM.According to the testing requirement

we select testing function and provide method of minimized labelled transition system(M-LTS) graph generation.Then

we generate testing paths of M-LTS graph according McCabes covering method.Finally

Regarding Browser/Server architecture as an example

the method on generating testing path of SA is shown feasible.

关键词

Keywords

references

浏览量

下载量

CSCD

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

提交

工具集

关联资源

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

基于区块链的AI生成内容溯源框架设计研究

大模型发展综述：从BERT到Deepseek的技术演进

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

V型沟槽SiC中子探测器的蒙特卡洛分析