Model-based Testing for a more efficient Development Process

Software-intensive systems are omnipresent: Whether in finance and healthcare, in aerospace or traffic, software plays an ever greater role. In order to remain competitive in the market, manufacturers are more and more under pressure to deliver high-quality software systems quickly and reasonably priced. The most effective way to ensure the quality of a software product is testing. 

Traditional testing still faces the same challenges it has for many years. In short, testing bears a high optimization potential to reduce the time to market:

  • Lack of automation
  • Inflexible process structures
  • Unstructured test case derivation
  • Implicit tester's knowledge
  • Inadequate documentation
  • Insufficient communication among stakeholders

Leading experts in the field of quality assurance are convinced that the most promising approach to mitigate those challenges is Model-Based Testing (MBT). MBT uses formal models to improve automation, documentation and transparency of the entire software development process. This results in a more efficient development process – in time and costs – the main target of the Fokus!MBT tool chain.

Fokus!MBT is an integrated test modeling environment that guides the user along the methodology of Fokus!MBT and thereby simplifies the creation of the underlying test model.