Formalizing Software Weaknesses Based on Z Specification

Abstract

Related Dissertations

1. Research on Object-Oriented Integration Testing Method,TP311.53
2. The Application and Research on Web Testing Method Based on Model,TP311.53
3. Formalization-based Methed to Generate Test Sequence of UML,TP311.53
4. The Software Testing Technique Research of the ECDIS Based on Program Slicing,TP311.53
5. The Research and Application of Software Reliability Test for User Right Management System,TP311.53
6. The Exploration of Teaching Case Library Creating for Higher Vocational Colleges,TP311.53-4
7. Research on Techniques for Software Dependability Growth Test Case Generation,TP311.53
8. Research and Design of a C++ Codes Defect Detection System,TP311.53
9. C static code checking syntax tree Construction Methods,TP311.53
10. Based on cloud model software trustworthiness evaluation model,TP311.53
11. Risk-based radar software system testing Strategy,TP311.53
12. Software Testing in Flash Ring System and Platform for China Telecom,TP311.53
13. A Design and Implement of Database Automated Functional Testing,TP311.53
14. Research and Application of Software Automated Testing Method,TP311.53
15. The Research for Strategy of Enterprise-level Software Components Quality Assurance and Rapid Deployment,TP311.53
16. Research of Fuzzing Based on Genetic Algorithm,TP311.53
17. An automated software testing system design and implementation,TP311.53
18. An automated test -based content management system design and implementation,TP311.53
19. One kind of empirical data on the workload of a software bug fixes Prediction Model,TP311.53
20. Telecom BOSS system software testing,TP311.53
21. Based on Multi-granularity dependency graph change impact analysis method,TP311.53