Dissertation > Excellent graduate degree dissertation topics show

A Study of Concurrent Program Testing Method Based on Event Sequencing Constraints

Author: WangJing
Tutor: LuYanSheng
School: Huazhong University of Science and Technology
Course: Computer Software and Theory
Keywords: software testing concurrent program synchronized sequence event constraint
CLC: TP311.11
Type: Master's thesis
Year: 2007
Downloads: 62
Quote: 1
Read: Download Dissertation

Abstract


With the rapid development of computer and network technology, parallel and concurrent computation has been applied more and more widely. Due to synchronism and communication, the execution of concurrent program is non-deterministic, and concurrent program testing becomes much more difficult than before. Some of the traditional testing methods and theories of sequential programs are not applicable in concurrent program testing. Many problems have not been solved and no complete systems exist.The executed event sequences as well as inputs and outputs should be verified within concurrent program testing. Defining event constraints is a way to test the validation of event sequences. The testing technology based on event constraints has many advantages. It was used in tracking and debugging of Ada programs in earlier period. Some constraints have been presented, such as CSPE (Constraints on Succeeding and Preceding Events), which defines the dependency of sequential succeeding and preceding events. Through improving CSPE, E-CSPE defines event constraints under conditional predication, and it is more accurate for describing dependency relationship of events.However, neither CSPE nor E-CSPE is not complete in defining the dependency of sequential succeeding and preceding events, and fails to describe compound events. EE-CSPE formally describes and derives the dependency relationship between concurrent compound events, and extends the definition about exclusive constraints and post-determining constraints among events. Using non-deterministic testing and deterministic testing methods, the adequacy of testing and correctness of tested program can be verified through analysis of coverage or violation between executed event sequences and event constrains. EE-CSPE describes dependency of succeeding and preceding events more completely, and is more effective in finding faults.

Related Dissertations

  1. Research on Object-Oriented Integration Testing Method,TP311.53
  2. Formalization-based Methed to Generate Test Sequence of UML,TP311.53
  3. The Software Testing Technique Research of the ECDIS Based on Program Slicing,TP311.53
  4. Design and Implementation of the Software Monitoring Platform for the Multi-connected Air-conditioning Units,TP311.52
  5. Designand Research of Network Teaching Platform Based on J2EE,TP311.52
  6. Study on Performance System for CP Software Testing Centre,F272.92
  7. Software Testing in Flash Ring System and Platform for China Telecom,TP311.53
  8. Algorithms and Software for Areal Surface Texture Analysis and Evaluation,TP311.52
  9. Design and Implementation of the Software Automatic Testing Tool Based on Code Generation,TP311.53
  10. Process Engine based automated testing for Web Services Research,TP311.52
  11. Automated test packet transmission network management interface testing application,TP311.52
  12. An automated software testing system design and implementation,TP311.53
  13. SAFFRON based automated testing framework for QTP research,TP311.52
  14. Telecom BOSS system software testing,TP311.53
  15. Error location based on the program execution method,TP311.52
  16. Cloud-based Software Testing Services Research,TP311.53
  17. E-commerce design and implementation of online bookstore,TP311.52
  18. A base software inspection station test management information system design and implementation of the key issues,TP311.52
  19. System Testing of Chip Operating System (COS)on Ic Smart Card,TP311.52
  20. Design and Implementation of Software Test Cases Management System Based on J2EE,TP311.52
  21. Design and Realization of Map Management Information System,P208

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Programming > Programming method
© 2012 www.DissertationTopic.Net  Mobile