| Presentation | 2015-03-06 Verifying Source Code with a Use Case Model using Model Checking : A Case of an ASP.NET Application Yoshitaka AOKI, Shinpei OGATA, Satoshi YAZAWA, 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. Transition of the state of the system is elusive for properties related to non-functional requirements. Its application for it is difficult to represent the test model for it was difficult. However, for security, such as access control, I considered to be applicable to the portion related to the behavior of the system. This paper was aimed at verification of security request by the Common Criteria to target the business system software. We have to case the tuition support ASP.NET application that production at the university. And we make the source code verification by model checking technology, I consider its validity. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Model Checking / Defect / UPPAAL |
| Paper # | KBSE2014-64 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2015/2/26(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) | Verifying Source Code with a Use Case Model using Model Checking : A Case of an ASP.NET Application |
| Sub Title (in English) | |
| Keyword(1) | Model Checking |
| Keyword(2) | Defect |
| Keyword(3) | UPPAAL |
| 1st Author's Name | Yoshitaka AOKI |
| 1st Author's Affiliation | Nihon Unisys, Ltd.:Graduate School of Engineering and Science, Shibaura Institute of Technology() |
| 2nd Author's Name | Shinpei OGATA |
| 2nd Author's Affiliation | Graduate School of Science and Technology, Shinshu University |
| 3rd Author's Name | Satoshi YAZAWA |
| 3rd Author's Affiliation | Voice Research, Inc. |
| 4th Author's Name | Saeko MATSUURA |
| 4th Author's Affiliation | Graduate School of Engineering and Science, Shibaura Institute of Technology |
| Date | 2015-03-06 |
| Paper # | KBSE2014-64 |
| Volume (vol) | vol.114 |
| Number (no) | 501 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |