| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| Dedication | 第10-11页 |
| Chapter 1: Introduction | 第11-17页 |
| 1.1 Motivation | 第11-12页 |
| 1.2 Related Work | 第12-15页 |
| 1.2.1 Related work of EFSM-Based Testing | 第12-13页 |
| 1.2.2 Related work of Search-based approach for testing from EFSM model | 第13-14页 |
| 1.2.3 Related work of Genetic Algorithm | 第14-15页 |
| 1.2.4 Related work of Test Suite Generation from EFSM model | 第15页 |
| 1.3 Proposed Objectives | 第15-16页 |
| 1.4 Structure of the Thesis | 第16-17页 |
| Chapter 2: Preliminaries | 第17-28页 |
| 2.1 Test Case Generation | 第17-19页 |
| 2.2 Extended Finite State Machine | 第19-20页 |
| 2.3 Testing From EFSM | 第20-24页 |
| 2.3.1 EFSM-Based Testing Process | 第21-24页 |
| 2.4 Search-Based Testing Approach | 第24-25页 |
| 2.4.1 Dependencies and Penalty Values | 第24-25页 |
| 2.4.2 Fitness Metric | 第25页 |
| 2.5 Genetic Algorithm | 第25-27页 |
| 2.6 Chapter Summery | 第27-28页 |
| Chapter 3: Research Methodology | 第28-41页 |
| 3.1 Overview of the Proposed Technique | 第28-30页 |
| 3.2 Specification in SDL | 第30-31页 |
| 3.2.1 System | 第30页 |
| 3.2.2 Process | 第30-31页 |
| 3.2.3 Block and Channels | 第31页 |
| 3.3 EFSM Model Extraction | 第31-32页 |
| 3.4 Coverage Criteria | 第32页 |
| 3.5 Transition Paths | 第32-33页 |
| 3.6 Feasibility Analysis | 第33-34页 |
| 3.7 Fitness Function for proposed Technique | 第34-36页 |
| 3.8 Genetic Algorithm | 第36-40页 |
| 3.9 Chapter Summery | 第40-41页 |
| Chapter 4: Case Study | 第41-57页 |
| 4.1 Currency Exchange System | 第41-43页 |
| 4.2 Automated Teller Machine (ATM): | 第43-44页 |
| 4.3 Tools | 第44-45页 |
| 4.3.1 Cinderella SDL | 第44-45页 |
| 4.4 SDL Specification | 第45-50页 |
| 1) SDL System | 第45-46页 |
| 2) Block | 第46-48页 |
| 3) Process | 第48-50页 |
| 4.5 Dependency Analysis of Transition Paths | 第50-54页 |
| 4.6 Fitness Function | 第54-56页 |
| 4.7 Results Summary | 第56页 |
| 4.8 Chapter Summery | 第56-57页 |
| Chapter 5:Conclusion and Future work | 第57-58页 |
| 5.1 Conclusion | 第57页 |
| 5.2 Future Scope | 第57-58页 |
| Acknowledgements | 第58-59页 |
| References | 第59-63页 |
| Publication | 第63页 |
