Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/9973
Title: Generating complete controllable test suites for distributed testing
Authors: Hierons, RM
Keywords: Software engineering/software/program verification;Software engineering/testing and debugging;Systems and software;Distributed testing;Test suite generation;Checking experiment
Issue Date: 2015
Citation: IEEE Transactions on Software Engineering, 41(3): 279-293, 2015
Abstract: A test suite is m-complete for finite state machine (FSM) M if it distinguishes between M and all faulty FSMs with m states or fewer. While there are several algorithms that generate m-complete test suites, they cannot be directly used in distributed testing since there can be additional controllability and observability problems. Indeed, previous results show that there is no general method for generating an m-complete test suite for distributed testing and so the focus has been on conditions under which this is possible. This paper takes a different approach, which is to generate what we call cm-complete test suites: controllable test suites that distinguish an FSM N with no more than m states from M if this is possible in controllable testing. Thus, under the hypothesis that the system under test has no more than m states, a cm-complete test suite achieves as much as is possible given the restriction that testing should be controllable. We show how the problem of generating a cm-complete test suite can be mapped to the problem of generating an m-complete test suite for a partial FSM. Thus, standard test suite generation methods can be adapted for use in distributed testing.
Description: Copyright @ 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
URI: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6930767&sortType%3Dasc_p_Sequence%26filter%3DAND(p_Publication_Number%3A32)%26pageNumber%3D9
http://bura.brunel.ac.uk/handle/2438/9973
DOI: http://dx.doi.org/10.1109/TSE.2014.2364035
ISSN: 0098-5589
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf336.7 kBUnknownView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.