2001
DOI: 10.1002/stvr.234
|View full text |Cite
|
Sign up to set email alerts
|

Preventing untestedness in data‐flow based testing

Abstract: A large number of path‐oriented testing criteria have been proposed in the last twenty years. Surprisingly, almost all of them suffer from a serious weakness, which is called the untestedness syndrome: even though a criterion is satisfied, some statements of the program under test may remain ‘untested’, i.e., the observed test output does not depend on them. A new data‐flow based testing criterion is introduced which does not suffer from untestedness, called the All Program Function (APF) criterion. Intuitivel… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
6
0

Year Published

2003
2003
2021
2021

Publication Types

Select...
2
2
2

Relationship

0
6

Authors

Journals

citations
Cited by 10 publications
(6 citation statements)
references
References 19 publications
0
6
0
Order By: Relevance
“…One such factor is coincidental correctness, which occurs when "no failure is detected, even though a fault has been executed" [26]. Previously, coincidental correctness has been perceived as a problem and attracted many research interests (e.g., [14] [15] [23] [26]) because studies show that it can adversely affect the effectiveness of testing [11]. Recent experimental evidence shows that it is undesirable to CBFL techniques as well.…”
Section: Introductionmentioning
confidence: 98%
“…One such factor is coincidental correctness, which occurs when "no failure is detected, even though a fault has been executed" [26]. Previously, coincidental correctness has been perceived as a problem and attracted many research interests (e.g., [14] [15] [23] [26]) because studies show that it can adversely affect the effectiveness of testing [11]. Recent experimental evidence shows that it is undesirable to CBFL techniques as well.…”
Section: Introductionmentioning
confidence: 98%
“…Researchers have previously recognized the negative impact of CC on the effectiveness of coverage‐based fault localization (CBFL) , model checking‐based fault localization , and testing . The authors have also conducted a study demonstrating that both weak CC and strong CC are prevalent .…”
Section: Introductionmentioning
confidence: 99%
“…Coincidental correctness has been studied by several researchers for various purposes . However, our previous work is most relevant, which we summarize in this section.…”
Section: Introductionmentioning
confidence: 99%
“…When processing procedure B, first, the interprocedural propagation imports RD token RD would be propagated back to return site 6 a as well indicating that statements following node 6 a are affected by definitions y = x and x = y. This would result in the incorrectly identified "affected" statement print y in node 7 a that is actually not influenced by the initial definition.…”
Section: Examplementioning
confidence: 97%
“…These du pairs need to be covered by test cases to satisfy the well-known all-uses (all du pairs) criterion [13]. In addition, by controlling the length (or loops) in the investigated du chains, our algorithm can support other testing criteria as well, such as Ntafos' required k-tuples [12] or allprogram-functions (APF) [6].…”
Section: Examplementioning
confidence: 99%