A transformation-based approach to testing concurrent programs using UML activity diagrams
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 appr...
| Main Authors: | Sun, Chang-ai, Zhao, Yan, Pan, Lin, He, Xiao, Towey, Dave |
|---|---|
| Format: | Article |
| Published: |
Wiley
2016
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/51790/ |
Similar Items
Automatic randomized test generation strategy for aspect-oriented software
by: Parizi, Reza Meimandi
Published: (2012)
by: Parizi, Reza Meimandi
Published: (2012)
Dynamic random testing of web services: a methodology and evaluation
by: Sun, Chang-Ai, et al.
Published: (2019)
by: Sun, Chang-Ai, et al.
Published: (2019)
A metamorphic testing approach for supporting program repair without the need for a test oracle
by: Jiang, Mingyue, et al.
Published: (2016)
by: Jiang, Mingyue, et al.
Published: (2016)
Identifying appropriate concurrent engineering principles for mass housing industry in Malaysia
by: Mohd Noor, Mohd Zairul
Published: (2011)
by: Mohd Noor, Mohd Zairul
Published: (2011)
Metamorphic testing as a test case selection strategy
by: Towey, Dave, et al.
Published: (2016)
by: Towey, Dave, et al.
Published: (2016)
MT4WS: an automated metamorphic testing system for web services
by: Sun, Chang ai, et al.
Published: (2016)
by: Sun, Chang ai, et al.
Published: (2016)
A methodology to support UML-B model development
by: Jasser, Muhammed Basheer
Published: (2018)
by: Jasser, Muhammed Basheer
Published: (2018)
Improving consistency of UML and its implementation using reverse engineering approach
by: Kaliappan, Vasanthi
Published: (2018)
by: Kaliappan, Vasanthi
Published: (2018)
Regression test case prioritization by code combinations coverage
by: Huang, Rubing, et al.
Published: (2020)
by: Huang, Rubing, et al.
Published: (2020)
A similarity metric for the inputs of OO programs and its application in adaptive random testing
by: Chen, Jinfu, et al.
Published: (2017)
by: Chen, Jinfu, et al.
Published: (2017)
A novel spatial TDMA scheduler for concurrent transmit/receive wireless mesh networks
by: Chin, Kwan-wu, et al.
Published: (2010)
by: Chin, Kwan-wu, et al.
Published: (2010)
A survey on adaptive random testing
by: Huang, Rubing, et al.
Published: (2019)
by: Huang, Rubing, et al.
Published: (2019)
XML views, part III: An UML based design methodology for XML views
by: Chang, Elizabeth, et al.
Published: (2005)
by: Chang, Elizabeth, et al.
Published: (2005)
Metamorphic testing: testing the untestable
by: Segura, Sergio, et al.
Published: (2018)
by: Segura, Sergio, et al.
Published: (2018)
Abstract test case prioritization using repeated small-strength level-combination coverage
by: Huang, Rubing, et al.
Published: (2020)
by: Huang, Rubing, et al.
Published: (2020)
A revisit of three studies related to random testing
by: Chen, Tsong Yueh, et al.
Published: (2015)
by: Chen, Tsong Yueh, et al.
Published: (2015)
A dimensioning and tolerancing methodology for concurrent engineering applications I: problem representation
by: Islam, Mohammad Nazrul
Published: (2009)
by: Islam, Mohammad Nazrul
Published: (2009)
How effectively does metamorphic testing alleviate the oracle problem?
by: Liu, Huai, et al.
Published: (2014)
by: Liu, Huai, et al.
Published: (2014)
New metrics for prioritized interaction test suites
by: Huang, Rubing, et al.
Published: (2014)
by: Huang, Rubing, et al.
Published: (2014)
A dimensioning and tolerancing methodology for concurrent engineering applications II: comprehensive solution strategy
by: Islam, Mohammad Nazrul
Published: (2009)
by: Islam, Mohammad Nazrul
Published: (2009)
One-domain-one-input: adaptive random testing by orthogonal recursive bisection with restriction
by: Ackah-Arthur, Hilary, et al.
Published: (2019)
by: Ackah-Arthur, Hilary, et al.
Published: (2019)
Enhancement Of Join Point Designation Diagrams (Jpdds) With Procedural Logic And Timing Constraint For Aspect-Oriented Modeling
by: Zarrin, Bahram
Published: (2010)
by: Zarrin, Bahram
Published: (2010)
Test case prioritization for object-oriented software: an adaptive random sequence approach based on clustering
by: Chen, Jinfu, et al.
Published: (2018)
by: Chen, Jinfu, et al.
Published: (2018)
Critic-based and collaborative approach for UML class diagram
by: Abdulkareem, Soran Mahmood
Published: (2015)
by: Abdulkareem, Soran Mahmood
Published: (2015)
Collaborative workflow modelling based on activity diagrams, coloured petri-nets and system dynamics
by: Pudhota, Leo
Published: (2012)
by: Pudhota, Leo
Published: (2012)
Prioritization of combinatorial test cases by incremental interaction coverage
by: Huang, Rubing, et al.
Published: (2013)
by: Huang, Rubing, et al.
Published: (2013)
Developing web for learning object oriented programming (OOP) using videos / Farah Syazwani Roslan
by: Roslan, Farah Syazwani Roslan
Published: (2020)
by: Roslan, Farah Syazwani Roslan
Published: (2020)
An investigation of the civil and defence aviation industry in 2025 using scenario planning
by: El Manialawi, Basma`, et al.
Published: (2006)
by: El Manialawi, Basma`, et al.
Published: (2006)
Teaching and learning secondary school biology with diagrams
by: Liu, Yang
Published: (2012)
by: Liu, Yang
Published: (2012)
Development of an in vitro model to investigate repeat ocular exposure
by: Wilkinson, Peter J.
Published: (2006)
by: Wilkinson, Peter J.
Published: (2006)
Aggregate-strength interaction test suite prioritization
by: Huang, Rubing, et al.
Published: (2015)
by: Huang, Rubing, et al.
Published: (2015)
On the selection of strength for fixed-strength interaction coverage based prioritization
by: Huang, Rubing, et al.
Published: (2018)
by: Huang, Rubing, et al.
Published: (2018)
Phase Diagram, and Structural and Electrical Properties of Pyrochlores in Bi2o3-Zno-Nb2o5 Ternary System
by: Tan, Kar Ban
Published: (2007)
by: Tan, Kar Ban
Published: (2007)
A UML extension for web design model for interaction process and user interface
by: Mubin, Siti Azreena
Published: (2017)
by: Mubin, Siti Azreena
Published: (2017)
Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)
by: Fowler, Jonathan
Published: (2019)
Worst-input mutation approach to web services vulnerability testing based on SOAP messages
by: Chen, Jinfu, et al.
Published: (2014)
by: Chen, Jinfu, et al.
Published: (2014)
Formative computer based assessment in diagram based domains
by: Bligh, Brett
Published: (2007)
by: Bligh, Brett
Published: (2007)
Computation of Probability Coefficients using Binary Decision Diagram and their Application in Test Vector Generation
by: Singh, Ashutosh Kumar, et al.
Published: (2009)
by: Singh, Ashutosh Kumar, et al.
Published: (2009)
A study on the mixing proportion in groundwater samples by using Piper diagram and Phreeqc model
by: Karmegam, U., et al.
Published: (2011)
by: Karmegam, U., et al.
Published: (2011)
Attention direction in static and animated diagrams
by: Lowe, Ric, et al.
Published: (2010)
by: Lowe, Ric, et al.
Published: (2010)
Similar Items
-
Automatic randomized test generation strategy for aspect-oriented software
by: Parizi, Reza Meimandi
Published: (2012) -
Dynamic random testing of web services: a methodology and evaluation
by: Sun, Chang-Ai, et al.
Published: (2019) -
A metamorphic testing approach for supporting program repair without the need for a test oracle
by: Jiang, Mingyue, et al.
Published: (2016) -
Identifying appropriate concurrent engineering principles for mass housing industry in Malaysia
by: Mohd Noor, Mohd Zairul
Published: (2011) -
Metamorphic testing as a test case selection strategy
by: Towey, Dave, et al.
Published: (2016)