Oriental Journal of Computer Science and Technology

Open Access Open Access  Restricted Access Subscription Access

Testing of Multithreaded Code under Deterministic and Predictable Environment


Affiliations
1 Master of Computer Science, King Abdulaziz University, Saudi Arabia
2 King Abdulaziz University, King Abdulaziz University, Saudi Arabia
3 Department of Production Engineering, Alexandria University, Egypt
 

This report focuses on the execution of multithreaded programs and finding bugs and errors in those programs. Testing is done to determine if the code written runs correctly or not. The report also covers comparison of traditional testing tools with the new and efficient systematic testing tool called CHESS. The repost explains in detail about the testing technique of CHESS including how it identifies and handles bugs in multithreaded programs. The various experiments performed using different outputs have also been discussed and their respective results have also been shown in order to determine the behavior of CHESS tool when it is provided random inputs. Using this input did not lead to non-deterministic test and the execution time increases exponentially.

Keywords

Multithreaded, CHESS, Software Testing, Operating System, Concurrently.
User
Notifications
Font Size

  • Ball, T., Burckhardt, S., de Halleux, P., Musuvathi, M., & Qadeer, S., “Predictable and Progressive Testing of Multithreaded Code,” IEEE Software, 28(3), (2011).

  • Blumofe, R., Joerg, C., Kuszmaul, B., Leiserson, C., R, all, K., & Zhou, Y., “Cilk: An efficient multithreaded runtime system,” Journal Of Parallel And Distributed Computing, 37(1), 55-69, (1996).

  • Farchi, E., Nir, Y., & Ur, S. (2003), “Concurrent bug patterns and how to test them,” 7.

  • Jagannath, V., Gligoric, M., Jin, D., Rosu, G., & Marinov, D. (2010), “IMUnit: improved multithreaded unit testing,” 48-49.

  • Musuvathi, M., & Qadeer, S., “CHESS: Systematic stress testing of concurrent software,” Springer, 15-16, (2007).

  • Musuvathi, M., & Qadeer, S. (2007), “Iterative context bounding for systematic testing of multithreaded programs,” 42(6), 446-455.

  • Rinard, M., “Analysis of multithreaded programs,” Springer, 1-19, (2001).

  • Sen, K., Rocsu, G., & Agha, G., “Detecting errors in multithreaded programs by generalized predictive analysis of executions,” Springer, 211-226, (2005).

  • Sen, K., Rosu, G., & Agha, G., “Runtime safety analysis of multithreaded programs,” 28(5), 337-346, (2003).

  • Souza, S., Brito, M., Silva, R., Souza, P., & Zaluska, E. (2011), “Research in concurrent software testing: a systematic review,” 1-5.


Abstract Views: 229

PDF Views: 0




  • Testing of Multithreaded Code under Deterministic and Predictable Environment

Abstract Views: 229  |  PDF Views: 0

Authors

Mohammed Alghamdi
Master of Computer Science, King Abdulaziz University, Saudi Arabia
Mohammed Alrifai
Master of Computer Science, King Abdulaziz University, Saudi Arabia
Khalil Alsulbi
Master of Computer Science, King Abdulaziz University, Saudi Arabia
Wadee Alhalabi
King Abdulaziz University, King Abdulaziz University, Saudi Arabia
Moustafa Mahmoud Yousry
Department of Production Engineering, Alexandria University, Egypt

Abstract


This report focuses on the execution of multithreaded programs and finding bugs and errors in those programs. Testing is done to determine if the code written runs correctly or not. The report also covers comparison of traditional testing tools with the new and efficient systematic testing tool called CHESS. The repost explains in detail about the testing technique of CHESS including how it identifies and handles bugs in multithreaded programs. The various experiments performed using different outputs have also been discussed and their respective results have also been shown in order to determine the behavior of CHESS tool when it is provided random inputs. Using this input did not lead to non-deterministic test and the execution time increases exponentially.

Keywords


Multithreaded, CHESS, Software Testing, Operating System, Concurrently.

References