Data-flow testing is a type of MBT that focuses on the paths and interactions of data in the system. A data-flow model represents the sources, destinations, transformations, and dependencies of ...

In the software domain Data Flow Testing (DFT) has demonstrated to be a powerful testing strategy in this regard. In this paper we introduce a DFT approach for SystemC-AMS TDF models based on two ...

The functionality of most programs is delivered in terms of data. The values are somehow received by variables, which represent data and these values are used in computation of values for other ...