Infeasible paths in the context of data flow based testing criteria: identification, classification and prediction

Journal of the Brazilian Computer Society

University of São Paulo, São Carlos, Brazil¹  State University of Campinas, Campinas, Brazil¹  Maldonado, José Carlos¹  UFPR, Curitiba, Brazil¹  Vergilio, Silvia Regina¹  Jino, Mario¹ 

关键词: software testing;    data flow based criteria;    infeasible paths.;   

DOI  :  10.1007/BF03192389

学科分类：农业科学（综合）

来源: Springer U K

【 摘 要 】

Infeasible paths constitute a bottleneck for the complete automation of software testing, one of the most expensive activities of software quality assurance. Research efforts have been spent on infeasible paths, basically on three main approaches: prediction, classification and identification of infeasibility. This work reports the results of experiments on data flow based criteria and of studies aimed at the three approaches above. Identification, classification, and prediction of infeasible paths are revisited in the context of data flow based criteria (Potential Uses Criteria-PU). Additionally, these aspects are also addressed in the scope of integration and object-oriented testing. Implementation aspects of mechanisms and facilities to deal with infeasibility are presented taking into consideration Poketool - a tool that supports the application of the Potential Uses Criteria Family. The results and ideas presented contribute to reduce the efforts spent during the testing activity concerning infeasible paths.

【 授权许可】

Unknown