Abstract
This work presents ValiPVM, a testing tool for C/PVM parallel programs. This tool implements structural coverage criteria, using an architecture already employed for MPI programs. It supports generation and evaluation of test sets and considers the control, data and communication flows of PVM programs. ValiPVM has a graphical user interface, designed to facilitate the test execution, analysis of results and to guide the user during the execution of the testing activity.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transaction Software Engineering 11(4), 367–375 (1985)
Vergilio, S.R., Souza, S.R.S., Souza, P.S.L.: Coverage testing criteria for message-passing parallel programs. In: LATW 2005 - 6th IEEE Latin-American Test Workshop, Salvador, Ba, pp. 161–166 (2005)
Souza, S., Vergilio, S., Souza, P., Simão, A., Bliscosque, T., Lima, A., Hausen, A.: Valipar: A testing tool for message-passing parallel programs. In: International Conference on Software knowledge and Software Engineering (SEKE 2005), Taipei-Taiwan, pp. 386–391 (2005)
Sarmanho, F., Souza, P., Souza, S., Simão, A.: Structural testing for semaphore-based multithread programs. In: ICCS 2008 - International Conference on Computational Science, Krakow. LNCS, pp. 1–10. Springer, Heidelberg (2008) (accepted)
Hausen, A.C., Vergilio, S.R., Souza, S.R.S., Souza, P.S.L., Simao, A.S.: A tool for structural testing of MPI programs. In: 8th IEEE LATW (March 2007)
Souza, S., Vergilio, S., Souza, P., Simão, A., Hausen, A.: Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, 1–24 (2008) (accepted)
Taylor, R.N., Levine, D.L., Kelly, C.: Structural testing of concurrent programs. IEEE Transaction Software Engineering 18(3), 206–215 (1992)
Yang, C.S., Souter, A.L., Pollock, L.L.: All-du-path coverage for parallel programs. In: International Symposium on Software Testing and Analysis (ISSTA 1998), ACM-Software Engineering Notes, pp. 153–162 (1998)
Yang, R.D., Chung, C.G.: Path analysis testing of concurrent programs. Information and Software Technology 34(1) (January 1992)
Simão, A.S., Vincenzi, A.M.R., Maldonado, J.C., Santana, A.C.L.: A language for the description of program instrumentation and the automatic generation of instrumenters. CLEI Electronic Journal 6(1) (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Souza, P.L., Sawabe, E.T., da Silva Simão, A., Vergilio, S.R., do Rocio Senger de Souza, S. (2008). ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. In: Lastovetsky, A., Kechadi, T., Dongarra, J. (eds) Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2008. Lecture Notes in Computer Science, vol 5205. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87475-1_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-87475-1_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87474-4
Online ISBN: 978-3-540-87475-1
eBook Packages: Computer ScienceComputer Science (R0)