Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems
2018 (Engelska)Ingår i: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2018, 2018, s. 355-374Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]
Concurrency control faults may lead to unwanted interleavings, and breach data consistency in distributed transaction systems. However, due to the unpredictable delays between sites, detecting concurrency control faults in distributed transaction systems is difficult. In this paper, we propose a methodology, relying on model-based testing and mutation testing, for designing test cases in order to detect such faults. The generated test inputs are designated delays between distributed operations, while the outputs are the occurrence of unwanted interleavings that are consequences of the concurrency control faults. We mutate the distributed transaction specification with common concurrency control faults, and model them as UPPAAL timed automata, in which designated delays are encoded as stopwatches. Test cases are generated via reachability analysis using UPPAAL Model Checker, and are selected to form an effective test suite. Our methodology can reduce redundant test cases, and find the appropriate delays to detect concurrency control faults effectively.
Ort, förlag, år, upplaga, sidor
2018. s. 355-374
Nationell ämneskategori
Teknik och teknologier Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-41709DOI: 10.1007/978-3-030-03424-5_24Scopus ID: 2-s2.0-85089721318ISBN: 978-3-030-03424-5 (tryckt)OAI: oai:DiVA.org:mdh-41709DiVA, id: diva2:1273324
Konferens
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2018, 30 Oct 2018, Limassol, Cyprus
Projekt
Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR)2018-12-202018-12-202021-03-26Bibliografiskt granskad