一种软件体系结构级基本路径覆盖方法

doi:10.3969/j.issn.1000-3428.2012.10.017

计算机工程 ›› 2012, Vol. 38 ›› Issue (10): 60-62. doi: 10.3969/j.issn.1000-3428.2012.10.017

一种软件体系结构级基本路径覆盖方法

赵磊 ^a，吕莉媛 ^b，赵国生 ^a

(哈尔滨师范大学 a. 现代实验中心；b. 图书馆，哈尔滨 150025)

收稿日期:2011-10-12 出版日期:2012-05-20 发布日期:2012-05-20
作者简介:赵磊(1979－)，男，硕士，主研方向：软件测试，软件体系结构；吕莉媛，副教授、硕士；赵国生，高级工程师、博士
基金资助:
教育部青年基金资助项目(10YJC870025)；黑龙江省科技攻关基金资助项目(GZ09A109)；黑龙江省教育厅科技基金资助项目(12521150)

Basic Path Coverage Method for Software Architecture Level

ZHAO Lei ^a, LV Li-yuan ^b, ZHAO Guo-sheng^a

(a. Modern Experiment Center; b. Library, Harbin Normal University, Harbin 150025, China)

Received:2011-10-12 Online:2012-05-20 Published:2012-05-20

摘要/Abstract

摘要： 软件体系结构描述系统的高层结构和行为特征，其动态描述常被用来指导软件的分析和测试。基于此，提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图，表达软件体系结构的动态特征。根据基本路径覆盖准则及测试序列生成算法，生成测试路径。以C/S体系结构为例验证该方法的正确性和有效性。

关键词: 化学抽象机, 软件体系结构, 有向无环图, 测试覆盖准则, 基本路径覆盖

Abstract: Software architecture describes high-level structure and behavior of system, and the dynamic description of software architecture is often used to guide analysis and testing. Based on this, a new test path coverage technique on architecture level is presented. Directed Acyclic Graph(DAG) is derived to express the dynamic characteristics of software architecture, from which described by chemical abstract machine. Test paths are generated based on the criteria, according to the defined basic path courage criteria and the algorithm to generate testing sequence. It regards C/S architecture as an example, and the technique on generating test paths of software architecture is shown valid and effective.

Key words: Chemical Abstract Machine(CHAM), software architecture, Directed Acyclic Graph(DAG), test coverage criterion, basic path coverage

中图分类号:

TP311.5

赵磊, 吕莉媛, 赵国生. 一种软件体系结构级基本路径覆盖方法[J]. 计算机工程, 2012, 38(10): 60-62.

DIAO Lei, LV Chi-Yuan, DIAO Guo-Sheng. Basic Path Coverage Method for Software Architecture Level[J]. Computer Engineering, 2012, 38(10): 60-62.

http://www.ecice06.com/CN/Y2012/V38/I10/60

参考文献

[1] 巩绪芳, 周颖, 李必信. 软件体系结构测试技术的现状与思考[J]. 小型微型计算机系统, 2008, 29(8): 1450-1457.
[2] Jin Zhenyi, Offutt J. Deriving Tests from Software Architec- tures[C]//Proc. of the 12th IEEE International Symposium on Software Reliability Engineering. Hong Kong, China: [s. n.], 2001: 308-313.
[3] Jin Zhenyi. A Software Architecture Based Testing Technique[D]. Fairfax, USA: George Mason University, 2000.
[4] Zhao Jianjun. Applying Slicing Technique to Software Architec- tures[C]//Proc. of the 4th IEEE International Conference on Engineering of Complex Computer Systems. [S. l.]: IEEE Press, 1998: 87-99.
[5] Kim T H, Song Y T, Chung L. Dynamic Software Architecture Slicing[C]//Proc. of the 23rd IEEE Annual International Computer Software and Applications Conference. [S. l.]: IEEE Press, 1999: 61-66.
[6] Muccini H, Dias M, Richardson D J, et al. Towards Software Architecture-based Regression Testing[J]. ACM SIGSOFT Software Engineering Notes, 2005, 30(4): 1-7.
[7] Muccini H, Bertolino A, Inverardi P. Using Software Architecture for Code Testing[J]. IEEE Transactions on Software Engineering, 2004, 30(3): 160-171.
[8] Berry G. The Chemical Abstract Machine[J]. Theoretical Com- puter Science, 1992, 96(1): 217-248.
[9] Perry D E, Wolf A L. Foundations for the Study of Software Architectures[J]. ACM SIGSOFT Software Engineering Notes, 1992, l7(4): 40-52.
[10] Richardson D J, Wolf A L. Software Testing at the Architectural Level[C]//Proc. of the 2nd International Software Architecture Workshop and International Workshop on Multiple Perspectives in Software Development. New York, USA: ACM Press, 1996: 68-71.
[11] McCabe T J. A Complexity Measure[J]. IEEE Transactions on Software Engineering, 1976, 2(4): 308-320.

[1]	王劲松, 杨唯正, 赵泽宁, 魏佳佳. 基于有向无环图的区块链技术综述[J]. 计算机工程, 2022, 48(6): 11-23.
[2]	王静, 陈岚, 张贺, 王海永. 基于EDA多任务流的调度算法研究[J]. 计算机工程, 2021, 47(2): 146-151.
[3]	郭彪, 唐麒, 文智敏, 傅娟, 王玲, 魏急波. 面向SCA的DPR软件架构设计与调度技术[J]. 计算机工程, 2021, 47(12): 221-229.
[4]	焦一鸣, 周川, 郭健, 崔玉伟. 异构计算环境下一种新型的多DAG任务调度算法[J]. 计算机工程, 2019, 45(7): 1-5.
[5]	李云洋,周川,王琦. 异构分布式计算环境下一种新型表调度算法[J]. 计算机工程, 2018, 44(8): 43-47.
[6]	杨平平,岳春生,胡泽明. 异构信号处理平台中层次性流水线调度算法[J]. 计算机工程, 2018, 44(11): 83-89.
[7]	屈雁秋,陈锋. 基于随机丛林的人体部件分类方法[J]. 计算机工程, 2018, 44(1): 247-251.
[8]	张晶,王中正,范洪博. 基于随机Petri网的嵌入式软件能耗模型[J]. 计算机工程, 2017, 43(9): 316-321.
[9]	沈健,蒋芸,邹丽,陈娜,胡学伟. 基于节点选择优化的DAG-SVM 多类别分类[J]. 计算机工程, 2015, 41(6): 143-146.
[10]	刘宴涛,夏桂阳,徐静,秦娜. 一种基于子树分解的组播线性网络编码算法[J]. 计算机工程, 2015, 41(11): 153-159.
[11]	黄袁, 付晓东, 贾楠, 代志华, 马玉倩. 一种工作流的控制流距离度量方法[J]. 计算机工程, 2013, 39(7): 94-98,114.
[12]	叶晓敏, 王侃文, 陈佳临, 周学功, 王伶俐. 优化的可重构多常数乘法器生成算法[J]. 计算机工程, 2012, 38(3): 228-233.
[13]	马苏拉. 软件体系结构的广义视角研究[J]. 计算机工程, 2012, 38(23): 42-46.
[14]	刘石柱, 尹首一, 殷崇勇, 刘雷波, 魏少军. 基于可重构处理器的并行优化算法[J]. 计算机工程, 2012, 38(21): 286-289.
[15]	李静梅, 张博. 基于混合粒子群优化的CMP线程调度方法[J]. 计算机工程, 2012, 38(20): 113-115.

选择文件类型/文献管理软件名称

选择包含的内容

一种软件体系结构级基本路径覆盖方法

Basic Path Coverage Method for Software Architecture Level

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

一种软件体系结构级基本路径覆盖方法

Basic Path Coverage Method for Software Architecture Level

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价