Coverage Criteria for UML State Chart Diagram in Model-based Testing

Authors

  • Yasir Dawood Salman Human-Centered Computing Research Lab, Universiti Utara Malaysia, Kedah, Malaysia
  • Nor Laily Hashim Human-Centered Computing Research Lab, Universiti Utara Malaysia, Kedah, Malaysia
  • Mawarny Md Rejab Human-Centered Computing Research Lab, Universiti Utara Malaysia, Kedah, Malaysia
  • Rohaida Romli Human-Centered Computing Research Lab, Universiti Utara Malaysia, Kedah, Malaysia
  • Haslina Mohd Human-Centered Computing Research Lab, Universiti Utara Malaysia, Kedah, Malaysia

Keywords:

Coverage Criteria, Test Case Generation, UML State Chart Diagram,

Abstract

Software testing is a necessary and essential part of the software quality process and plays a major role in detecting errors in systems. To improve the effectiveness of test case generation during software testing, and with the growing adoption of UML by software developers and researchers, many studies have focused on the automation of test case generation from UML diagrams. One of these diagrams is the UML state chart diagram. These test cases are generally generated to achieve certain coverage criteria. However, combinations of multiple criteria are required to achieve better coverage. Different studies use various number and type of coverage criteria in their methods and approaches. This paper reviews previous studies to present the most practical coverage criteria combinations for UML state chart diagram, including all-states, all-transitions, all-transition-pairs and all-loop-free-paths coverage. A special calculation is necessary to determine the coverage percentage of the proposed coverage criteria. This paper presents a calculation method to achieve this goal with an example is applied to a UML state chart diagram. This finding would be beneficial in the area of automatic test case generating for model-based testing and especially in the UML state chart diagram.

Downloads

Published

2017-09-15

How to Cite

Salman, Y. D., Hashim, N. L., Md Rejab, M., Romli, R., & Mohd, H. (2017). Coverage Criteria for UML State Chart Diagram in Model-based Testing. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), 9(2-11), 85–89. Retrieved from https://jtec.utem.edu.my/jtec/article/view/2743

Issue

Vol. 9 No. 2-11: The Challenge of Computer and Engineering in Building Sustainable Service Systems I

Section

Articles

License

TRANSFER OF COPYRIGHT AGREEMENT

The manuscript is herewith submitted for publication in the Journal of Telecommunication, Electronic and Computer Engineering (JTEC). It has not been published before, and it is not under consideration for publication in any other journals. It contains no material that is scandalous, obscene, libelous or otherwise contrary to law. When the manuscript is accepted for publication, I, as the author, hereby agree to transfer to JTEC, all rights including those pertaining to electronic forms and transmissions, under existing copyright laws, except for the following, which the author(s) specifically retain(s):

  1. All proprietary right other than copyright, such as patent rights
  2. The right to make further copies of all or part of the published article for my use in classroom teaching
  3. The right to reuse all or part of this manuscript in a compilation of my own works or in a textbook of which I am the author; and
  4. The right to make copies of the published work for internal distribution within the institution that employs me

I agree that copies made under these circumstances will continue to carry the copyright notice that appears in the original published work. I agree to inform my co-authors, if any, of the above terms. I certify that I have obtained written permission for the use of text, tables, and/or illustrations from any copyrighted source(s), and I agree to supply such written permission(s) to JTEC upon request.


Most read articles by the same author(s)

1 2 > >>