Formal approaches to software testing

Meer over het boek

Testing often constitutes over 50% of the effort in system development, prompting researchers to seek methods that reduce these costs through high-quality test specification and generation. Formal methods have emerged as a crucial approach to enhance the testing process, enabling rigorous mathematical analysis of models. These methods apply not only to system models but also to test models, facilitating the generation of comprehensive test suites systematically and potentially through automation. Analyzing test models helps identify design errors and optimize test suites for readability, compilation, and execution time. Consequently, the popularity of formal methods has surged in recent years, benefiting initiatives like the Formal Approaches in Software Testing (FATES) workshop series. Following successful workshops in Aalborg, Brno, and Montreal, FATES 2004 took place in Linz, Austria, in conjunction with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). The workshop received 41 submissions, each evaluated by at least three independent reviewers from the Program Committee, along with additional reviewers. Ultimately, 14 full papers and one work-in-progress paper from 11 different countries were selected for presentation, showcasing the global interest and advancements in the field.