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

• 软件技术与数据库 • 上一篇    下一篇

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

赵 磊 a,吕莉媛 b,赵国生 a   

  1. (哈尔滨师范大学 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   

  1. (a. Modern Experiment Center; b. Library, Harbin Normal University, Harbin 150025, China)
  • Received:2011-10-12 Online:2012-05-20 Published:2012-05-20

摘要: 软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的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

中图分类号: