42 search results - page 2 / 9 » Augmenting data flow criteria for class testing |
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...
COMPSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
SAM
2000
13 years 7 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
ICSE
2003
IEEE-ACM
13 years 10 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
SAFECOMP
2005
Springer
13 years 11 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...