A transformation-based approach to testing concurrent programs using UML activity diagrams

Sun, Chang-ai and Zhao, Yan and Pan, Lin and He, Xiao and Towey, Dave (2016) A transformation-based approach to testing concurrent programs using UML activity diagrams. Software: Practice and Experience, 46 (4). pp. 551-576. ISSN 0038-0644

Full text not available from this repository.

Abstract

UML activity diagrams are widely used to model concurrent interaction among multiple objects. In this paper, we propose a transformation-based approach to generating scenario-oriented test cases for applications modeled by UML activity diagrams. Using a set of transformation rules, the proposed approach first transforms a UML activity diagram specification into an intermediate representation, from which it then constructs test scenarios with respect to the given concurrency coverage criteria. The approach then finally derives a set of test cases for the constructed test scenarios. The approach resolves the difficulties associated with fork and join concurrency in the UML activity diagram, and enables control over the number of the resulting test cases. We further implemented a tool to automate the proposed approach, and studied its feasibility and effectiveness using a case study. Experimental results show that the approach can generate test cases on demand to satisfy a given concurrency coverage criterion, and can detect up to 76.5% of seeded faults when a weak coverage criterion is used. With the approach, testers can not only schedule the software test process earlier, but can also better allocate the testing resources for testing concurrent applications.

Item Type: Article
RIS ID: https://nottingham-repository.worktribe.com/output/781667
Keywords: Software Testing; Scenario-oriented Testing; Concurrent Programs; UML Activity Diagrams
Schools/Departments: University of Nottingham Ningbo China > Faculty of Science and Engineering > School of Computer Science
Identification Number: https://doi.org/10.1002/spe.2324
Depositing User: QIU, Lulu
Date Deposited: 15 May 2018 08:44
Last Modified: 04 May 2020 17:43
URI: http://eprints.nottingham.ac.uk/id/eprint/51790

Actions (Archive Staff Only)

Edit View Edit View