Abstract
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.
Highlights
A commonly used technique for Quality Assurance (QA) is software testing
We propose the following conjecture: “A software development process based on Test-Driven Development (TDD) and supported by Model-Based Testing (MBT) for the generation of test cases, could improve team’s productivity in terms of the number of resulting tests and the time required to create them
This article has presented the MoFQA approach, which is oriented to software development based on the TDD process
Summary
A commonly used technique for Quality Assurance (QA) is software testing. the difficulties and limitations that appear when applying it have great impact on costs. We aim to promote software testing by inserting it into the software development process in a more natural way, attempting to reduce the time and effort needed to apply it. In this endeavor, we propose to develop software by applying Model-Based Testing (MBT) (1) together with Test-Driven Development (TDD) (2). MBT is an approach for software testing in which abstract models represent the software system to be tested. These abstract models are used to automatically (or semi-automatically) generate testing code. MBT has been widely adopted and many tools support its use (3)
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
