Dependence Testing: Extending Data Flow Testing with Control Dependence

Abstract

Abstract. This paper presents a new approach to structural testing, called dependence testing. First we propose dependence oriented coverage criteria that extend conventional data flow oriented coverage criteria with control dependence. This allows one to capture the full dependence information of a program or specification systematically. We then describe a model checking-based approach to test generation for dependence testing. It is shown that dependence oriented coverage criteria can be characterized in the temporal logics LTL and CTL. This enables one to use any LTL and CTL model checkers as test generators. Finally, we show that the temporal logic-based characterization can also be used for reducing the cost of dependence testing.

Data Flow Coverage for Circus-Based Testing

“…Data-flow based testing for state-based specification languages has been applied to Lotos [15], to SDL and Estelle (that is, EFSM) [16], and extended with control dependencies in [8]. Our sel-var-df-chain-trace selection criterion is inspired from [15], but different, due to the notion of internal state in Circus and to the forms of symbolic tests considered in the Circus testing theory (see [3] for details).…”

Testing with model checkers: a survey

“…Data flow coverage criteria are extended with control dependence information in [61]. In [62], data and control flow criteria are applied to Statecharts specifications.…”