Structural testing criteria for message-passing parallel programs.
Saved in:
| Title: | Structural testing criteria for message-passing parallel programs. |
|---|---|
| Authors: | Souza, S. R. S., Vergilio, S. R., Souza, P. S. L., Simão, A. S., Hausen, A. C. |
| Source: | Concurrency & Computation: Practice & Experience; Nov2008, Vol. 20 Issue 16, p1893-1916, 24p, 4 Diagrams, 12 Charts |
| Subject Terms: | PARALLEL programs (Computer programs), COMMUNICATION, SYNCHRONIZATION, TESTING, TESTING-machines, COMPUTER interfaces |
| Abstract: | Parallel programs present some features such as concurrency, communication and synchronization that make the test a challenging activity. Because of these characteristics, the direct application of traditional testing is not always possible and adequate testing criteria and tools are necessary. In this paper we investigate the challenges of validating message-passing parallel programs and present a set of specific testing criteria. We introduce a family of structural testing criteria based on a test model. The model captures control and data flow of the message-passing programs, by considering their sequential and parallel aspects. The criteria provide a coverage measure that can be used for evaluating the progress of the testing activity and also provide guidelines for the generation of test data. We also describe a tool, called ValiPar, which supports the application of the proposed testing criteria. Currently, ValiPar is configured for parallel virtual machine (PVM) and message-passing interface (MPI). Results of the application of the proposed criteria to MPI programs are also presented and analyzed. Copyright © 2008 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR] |
| Copyright of Concurrency & Computation: Practice & Experience is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!