Dissertation > Excellent graduate degree dissertation topics show

Software Testing and Reliability Computing Based on Model Rebuilding

Author: MaChao
Tutor: HuJueLiang；DingZuoHua
School: Zhejiang University of Technology
Course: Signal and Information Processing
Keywords: software testing reliability model checking test case Petri net Nelson model
CLC: TP311.53
Type: Master's thesis
Year: 2011
Downloads: 54
Quote: 0
Read: Download Dissertation

Abstract


With the development of computer software, the scale and complexity problem is becoming more larger, which leads to high expectation on the reliability of the software. Software testing is aimed at detecting and correcting the flaws of the software, is an important tool to ensure and improve the product quality and plays an important role during the development. The key to product testing is test case generating. Reliability is a natural property and an important indicator to quality evaluating. Generating test case and computing reliability are major issues in the study.In this paper, test cases are generated by model checking. The Petri net model of the source program is first built from source code. According to the model, by defining the transformation rules, the Petri net model is transformed into Promela form, which is the input language to model checking tool SPIN. Liner temporal logic (LTL) is used to properties of the program. Counter-examples will be generated by SPIN, which are the test case. By checking all the properties, we will get all the test case.Regarding reliability computing, Nelson model is employed in this paper. By analyzing the test result, we compute the reliability.Finally, an ATM and Bank system example is used to illustrate the benefit of our approach.

Related Dissertations

  1. Development and Preliminary Application of the Questionnaire on Emotional Labour of the Middle School Teacher,B841
  2. The Research on Reliability of Low-Voltage Power Line Communication,TM73
  3. Research on Object-Oriented Integration Testing Method,TP311.53
  4. The Application and Research on Web Testing Method Based on Model,TP311.53
  5. Formalization-based Methed to Generate Test Sequence of UML,TP311.53
  6. The Software Testing Technique Research of the ECDIS Based on Program Slicing,TP311.53
  7. The Research and Application of Software Reliability Test for User Right Management System,TP311.53
  8. Research on Subsea Pipeline Repair Coupling,TE973
  9. Research and Application on Reliability Technology of Mine Hidrological Monitoring System,TD742.1
  10. Body Sensor Networks Adaptive Communication Protocol,TP212.9
  11. Periodic testing of the storage system reliability model,O213.2
  12. Hardware Implementation of Block Ciphers Algorithm Based on Petri Net,TN918.2
  13. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
  14. Amendment of Mental Health Evaluation Scale for Chinese Nuclear Power Plant Operators,B849
  15. Degradation of Amorphous Silicon Thin Film Transistors under Gate and Drain Voltage Bias Stress,TN321.5
  16. Research on Petri Net-based Service-Oriented Modeling of Information Management Software,TP311.52
  17. Design of a Mine Smart Sensor Network Based on M-Bus,TP212.9
  18. Reliability Analysis Software Development Based on Fault Tree,TP311.52
  19. The Development of a New Portable Internal Combustion Blast Tamping Machine,U216.631
  20. Study on Reliability for Machining Center,TG659
  21. An Efficient Multicast Scheme Based on Network Coding in Wireless Networks,TN929.5

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