NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP

During the last fifty years, there has been a significant increase of embedded HW-SW components in critical systems. This trend increases software size and complexity, and strongly impacts systems safety and reliability. Currently, many researches are focusing on how to achieve the trustworthiness levels required for these systems. To this end, model-based testing (MBT) techniques play an important role generating tests from specification models. When MBT is applied to analyse critical systems, it is also desired to formally state the conditions to guarantee that the SUT is correct with respect to the specification by means of a conformance relation, which can be used to prove that the test generation strategy is sound. In this situation, we say we have a formal MBT strategy.