| Presentation | 2008/3/20 Automatically Generating Testcases with the NuSMV Model Checker Masaya KADONO, Tatsuhiro TSUCHIYA, Tohru KIKUNO, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | There are various testing methods of improving the reliability of software. In this study, we consider state transition testing. State transition testing is one of the testing methods based on specifications described as statecharts or state transition tables. This testing method requires that testcases cover all states or all transitions. Manual testcase generation is feasible only when the number of system states is very small and transition conditions are very simple; thus an automatic method is required. In this study, we propose a method that automatically generates testcases with the NuSMV model checker to cover all states. Using the exhaustive state space search method of the NuSMV model checker, we can generate testcases for complex systems in reasonable time. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Software testing / State transition testing / Model checking / NuSMV |
| Paper # | CPSY2007-106,DC2007-110 |
| Date of Issue |
| Conference Information | |
| Committee | CPSY |
|---|---|
| Conference Date | 2008/3/20(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 | Computer Systems (CPSY) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Automatically Generating Testcases with the NuSMV Model Checker |
| Sub Title (in English) | |
| Keyword(1) | Software testing |
| Keyword(2) | State transition testing |
| Keyword(3) | Model checking |
| Keyword(4) | NuSMV |
| 1st Author's Name | Masaya KADONO |
| 1st Author's Affiliation | School of Engineering Science, Osaka University() |
| 2nd Author's Name | Tatsuhiro TSUCHIYA |
| 2nd Author's Affiliation | Graduate School of Information Science Technology, Osaka University |
| 3rd Author's Name | Tohru KIKUNO |
| 3rd Author's Affiliation | Graduate School of Information Science Technology, Osaka University |
| Date | 2008/3/20 |
| Paper # | CPSY2007-106,DC2007-110 |
| Volume (vol) | vol.107 |
| Number (no) | 558 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |