Random Cluster Sampling on X-Machines Test Cases

Yasir Imtiaz Khan, Sadia Kausar

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

1 Citation (Scopus)

Abstract

Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines. To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.
Original languageEnglish
Title of host publicationInternational Conference on Information Technology : New Generations (ITNG13)
Pages310-316
Number of pages7
ISBN (Electronic) 978-0-7695-4967-5
DOIs
Publication statusPublished - 2013
Event10th International Conference on Information Technology: New Generations - Las Vegas, United States
Duration: 15 Apr 201317 Apr 2013

Conference

Conference10th International Conference on Information Technology: New Generations
CountryUnited States
CityLas Vegas
Period15/04/1317/04/13

Fingerprint

Sampling
Specifications
Microwave ovens
Software testing
Testing
Software engineering

Cite this

Khan, Y. I., & Kausar, S. (2013). Random Cluster Sampling on X-Machines Test Cases. In International Conference on Information Technology : New Generations (ITNG13) (pp. 310-316) https://doi.org/10.1109/ITNG.2013.50

Random Cluster Sampling on X-Machines Test Cases. / Khan, Yasir Imtiaz; Kausar, Sadia.

International Conference on Information Technology : New Generations (ITNG13). 2013. p. 310-316.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Khan, YI & Kausar, S 2013, Random Cluster Sampling on X-Machines Test Cases. in International Conference on Information Technology : New Generations (ITNG13). pp. 310-316, 10th International Conference on Information Technology: New Generations, Las Vegas, United States, 15/04/13. https://doi.org/10.1109/ITNG.2013.50
Khan YI, Kausar S. Random Cluster Sampling on X-Machines Test Cases. In International Conference on Information Technology : New Generations (ITNG13). 2013. p. 310-316 https://doi.org/10.1109/ITNG.2013.50
Khan, Yasir Imtiaz ; Kausar, Sadia. / Random Cluster Sampling on X-Machines Test Cases. International Conference on Information Technology : New Generations (ITNG13). 2013. pp. 310-316
@inproceedings{5c344ddd8f3f435ab82eadd048e876c4,
title = "Random Cluster Sampling on X-Machines Test Cases",
abstract = "Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines. To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.",
author = "Khan, {Yasir Imtiaz} and Sadia Kausar",
year = "2013",
doi = "10.1109/ITNG.2013.50",
language = "English",
isbn = "978-0-7695-4967-5",
pages = "310--316",
booktitle = "International Conference on Information Technology : New Generations (ITNG13)",

}

TY - GEN

T1 - Random Cluster Sampling on X-Machines Test Cases

AU - Khan, Yasir Imtiaz

AU - Kausar, Sadia

PY - 2013

Y1 - 2013

N2 - Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines. To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.

AB - Software testing is considered one of the most expensive and critical phases of the software development. Formal testing approaches are extensively used for verifying the conformance of implementations to a given specification. These formal approaches usually generate a large amount of input test data which is costly in terms of time and effort. Techniques for reducing test input data are thus of the utmost importance. The contribution of this paper is to propose a framework for the reduction of test input data generated by a formal testing approach based on X-Machines. To achieve these objectives we have applied a well known statistical approach called Random Cluster Sampling on the test case set generated by a formal approach X-Machines. To exemplify our technique we have generated a test set for an X-Machine Microwave oven specification and then drew a sample from the test set by using the Random Cluster sampling technique. Based on the tolerated fault rate we have extracted conclusion about the accuracy of implementation.

U2 - 10.1109/ITNG.2013.50

DO - 10.1109/ITNG.2013.50

M3 - Conference proceeding

SN - 978-0-7695-4967-5

SP - 310

EP - 316

BT - International Conference on Information Technology : New Generations (ITNG13)

ER -