title   
  

Interleaving coverage criteria oriented testing of multithreaded applications

Çalpur, Mehmet Çağrı (2012) Interleaving coverage criteria oriented testing of multithreaded applications. [Thesis]

[img]PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1595Kb

Official URL: http://192.168.1.20/record=b1416997 (Table of Contents)

Abstract

Concurrent programs run several to thousands of processes or threads in parallel and the correctness of the outcome is critical. Successful tests for deterministic systems can not be applied to concurrent programs, because of their non-deterministic behavior. Exhaustive testing is not applicable because of the search space and testing costs. We have designed a testing algorithm that produces Sequence Covering Arrays of a concurrent program's execution segments, and tests these interleaving sequences. We provide a coverage metric that works as a measure to de ne the ratio of covered test possibilities. Our approach relies on the sequence covering arrays to cover all interleavings, while requiring least amount of testing. This thesis presents the Interleaving Coverage Criteria-oriented testing of multithreaded programs, it's utility programs to take over the control of applications to run tests and the case studies that we have done to show the efficiency of the system against exhaustive testing and its variants.

Item Type:Thesis
Uncontrolled Keywords:Software testing. -- Covering arrays. -- Concurrent programs. -- Instrumentation. -- Interleaving coverage. -- Yazılım testi. -- Kapsama dizileri. -- Koşut zamanlı programlar. -- Enstrümantasyon. -- Serpiştirme kapsama.
Subjects:T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800-8360 Electronics > TK7885-7895 Computer engineering. Computer hardware
ID Code:26543
Deposited By:IC-Cataloging
Deposited On:19 Dec 2014 16:33
Last Modified:19 Dec 2014 16:33

Repository Staff Only: item control page