Non-specification-based approaches to logic testing for software

摘要: Abstract Testing is a crucial part of the development software systems. In this paper, we consider testing an implementation that intended to satisfy Boolean formula. literature, specification-based has been suggested for purpose. Typically, such methods first hypothesize fault class and then generate tests. However, there almost no research justifies classes proposed previously. Moreover, specifications amenable automatic test generation are not always available testers in practice. Based on these observations, examine applicability non-specification-based approaches, which need specification form formula create We compare approach three namely, random testing, antirandom combinatorial testing. The results experiment show often comparative superior both