| Presentation | 2014-03-06 A Method for Facilitating the Analysis of Counterexamples in Model Checking Yoshitaka Aoki, Saeko Matsuura, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to find the discrepancy between the behavior of the source code and the specifications by using model checking technology. To identify the cause of defects, it is necessary to analyze the counterexample. However, since the counterexample is a trace of the state transitions, it is necessary to analyze the meaning by tracking the complex state transitions to find the cause. In this paper, we propose a method to facilitate the analysis of complex counter examples in model checking by automatically generating an expression which narrows the cause of defects. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Model Checking / Defect / UPPAAL / eclipse |
| Paper # | KBSE2013-79 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2014/2/27(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Method for Facilitating the Analysis of Counterexamples in Model Checking |
| Sub Title (in English) | |
| Keyword(1) | Model Checking |
| Keyword(2) | Defect |
| Keyword(3) | UPPAAL |
| Keyword(4) | eclipse |
| 1st Author's Name | Yoshitaka Aoki |
| 1st Author's Affiliation | Nihon Unisys, Ltd.() |
| 2nd Author's Name | Saeko Matsuura |
| 2nd Author's Affiliation | Shibaura institute of technology Department of electronic information system College of Systems Engineering and Science |
| Date | 2014-03-06 |
| Paper # | KBSE2013-79 |
| Volume (vol) | vol.113 |
| Number (no) | 475 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |