Mining Temporal for Diagnosis
| Autor: | Chung-Cheng Li, 黎忠政 |
|---|---|
| Rok vydání: | 2012 |
| Druh dokumentu: | 學位論文 ; thesis |
| Popis: | 101 In software engineering, specifications of a software are very important in comprehension,testing and verification the software. However, a well-documented and up-to-dated specification is expensive to construct and maintain. In recent year, automation to assist this issue has attracted many attentions. In this work, we apply data mining approach for mining temporal rules of a software for diagnosis. We proposed a testing framework for testing Android applications in black-box fashion. By supplying the program execution traces, we can mine 3 types of temporal rules resident in the traces. Here we adopt Linear Temporal Logic as the specification language for it simplicity and great expressive power. Our experiments show that we can diagnosis the Android application with positive and negative traces and report the problems of Android applications. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|