Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions.

Contemporary computing applications have an increasing level of concurrency; new techniques are demanded to tackle the challenge of testing the plentiful interactions that arise from concurrent behaviour. Current approaches for automatic test generation from natural language models do not allow the explicit specification of concurrent behaviour. This paper extends our previous test case generation approach to support concurrent mobile device features. A natural language notation is proposed to express the composition of sequential and concurrent behaviour. The notation can be automatically translated to a CSP model, from which tests are automatically produced using the FDR refinement checker. The approach is illustrated with a mobile application that includes concurrent features.