| 摘要 |
PROBLEM TO BE SOLVED: To verify deadlock of a database in a design phase.SOLUTION: A database access verification method includes: a route extraction step where a route extraction unit acquires design document information from a design document storage unit which stores design document information defining an information processing procedure of software and extracts an information processing route on the basis of the acquired design document information; and a verification step where a verification unit extracts extraction access order information showing a database access order in the route extracted by the route extraction step, and verifies whether the extracted extraction access order information matches reference access order information acquired from an order storage unit which stores reference access order information showing a predetermined database access order. |
