Title
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions.
Abstract
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.
Year
Venue
Field
2018
SBMF
Notation,Programming language,Concurrency,Automatic test generation,Computer science,Mobile device,Natural language,Software testing
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
8
3
Name
Order
Citations
PageRank
Rafaela Almeida100.34
Sidney Nogueira2495.69
Augusto Sampaio350143.38