Techniques for quality assurance have to deal with the complexity of software systems and the high probabilities of new errors appearing in any stage of the software life cycle. Software testing is a widely used approach but, due to the costs involved in this process, development teams often debate its applicability in their projects. In the endeavor to reduce the complexity of this process, this study presents an approach for software development based in Test-Driven Development (TDD) supported by Model-Based Testing (MBT) tools to allow automatic test-case generation. The approach, called MoFQA (Model-First Quality Assurance), consists of two main aspects: i) a method to drive software development based on testing techniques which defines steps and recom-mended practices; and, ii) a tool-set to allow clients and stakeholders to model system requirements, testers to create models that represent unit and abstract tests, and transformation tools used to generate executable tests. The tools that MoFQA provides are focusing on web applications. In order to validate the MoFQA tools, two validation experiences are presented.
MoFQA: A TDD Process and Tool for Automatic Test Case Generation from MDD Models
