English

应用科学学报

• 论文 • 上一篇    下一篇

基于数据流的组件测试

曾红卫，周建云   

  1. 上海大学 计算机工程与科学学院，上海200072
  • 收稿日期:2006-11-07 修回日期:2007-07-19 出版日期:2007-11-30 发布日期:2007-11-30

Test of Software Component Using Data Flow Testing

ZENG Hong-wei, ZHOU Jian-yun   

  1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072 China
  • Received:2006-11-07 Revised:2007-07-19 Online:2007-11-30 Published:2007-11-30

被引次数

2

摘要： 用组件状态机为组件的行为建模，根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系，设计了组件状态机到组件流图的转换算法；提出了一种基于数据流的组件测试方法。按照全使用数据流测试准则，自动生成组件流图的定义－使用路径集。

关键词: 组件状态机, 数据流测试, 组件流图, 最短定义-使用路径

Abstract: Component state machine (CSM) is used to model the behavior of component under test. We design an algorithm transforming CSM into a component flow graph that describes control and data flows among states, transitions, and guards of transitions in the CSM. We then propose a data flow graph-based approach to test component. The du-path set of a component flow graph can be generated automatically according to all-use criterion for data flow testing.

Key words:

component state machine, data flow testing, component flow graph,, the shortest du-path