logo
  • English
  • ไทย
  • Log In
    or
    Have you forgotten your password?
logo
  • Communities & Collections
  • Research Outputs
  • Projects
  • People
  • Organizations
  • Statistics
  • English
  • ไทย
  • Log In
    or
    Have you forgotten your password?
  1. Home
  2. 1. Schools / Colleges
  3. School of Science and Technology (ST)
  4. ST: Research Reports
  5. Mutation Operators for OCL Specifications
 
Options

Mutation Operators for OCL Specifications

Loading...
Thumbnail Image
File(s)
 1705abstract_eng.pdf (29.51 KB)
 1705abstract_thai.pdf (227.09 KB)
Author(s)
Panuchart Bunyakiati
Other Contributor(s)
University of the Thai Chamber of Commerce. School of Science and Technology
Publisher(s)
University of the Thai Chamber of Commerce
Date Issued
2013
Resource Type
Text::Report::Research report
Language
English
Abstract
Mutation Testing is an important technique for evaluating the quality of a test suite. Thetechnique involves inserting small changes to the source code of a program to producea set of altered programs, each of which is called a “mutant”. The test suite in questionis considered incomplete when it could not detect the changes made in those mutants.As a result, the findings from mutation testing may lead to a better, improved test suite.The fundamental idea of mutation testing is to imitate the malfunction that may occur inthe program, such as using incorrect mathematical operators, incorrect variable namesand incorrect reference types of the object.This research studies eight mutation operators for OCL (Object Constraint Language).These operators are used to create mutants from OCL specifications in the subset of theUML (Unified Modeling Language) standard. These operators are exmined in twoaspects: (1) the assessment of test coverage of the test suite according to the mutationoperators and (2) the performance of the eight mutation operators when applied in a realworld specficiation. Results from the case study used here indicates that the operatorscan produce mutants effectively where 67% of which are meaningful.
Sponsorship
Research Support Office, UTCC
Subject(s)
Information Technology and Communication
Degree Grantor
University of the Thai Chamber of Commerce
Access Rights
Open access
Rights
This work is protected by copyright. Reproduction or distribution of the work in any format is prohibited without written permission of the copyright owner.
Rights Holder
University of the Thai Chamber of Commerce
Bibliographic Citation
Panuchart Bunyakiati (2013) Mutation Operators for OCL Specifications.
URI
https://hdl.handle.net/20.500.14437/581
Views
19
Acquisition Date
Jun 5, 2026
Downloads
122
Last Week
1
Last Month
2
Acquisition Date
Jun 5, 2026
google-scholar
  • Cookie settings
  • Privacy policy
  • Send Feedback
Central Library, University of the Thai Chamber of Commerce © 2012
Powered by DSpace-CRIS