摘要 |
<P>PROBLEM TO BE SOLVED: To easily confirm, in a short time, whether memory access by a program running on a reference device A violates specifications of a device B in an initial stage of development. <P>SOLUTION: An access destination address list is generated which contains information on addresses of access destinations accessed by the program running on the device A and access kinds such as reading and writing. From the address destination list, an access address information file is generated which contains information on page IDs and the access kinds by pages whose access kinds are within a predetermined continuous address range. Based upon memory map specifications of the device B, a configuration map restriction file is generated which includes access property restrictions by the pages. Then it is verified, page by page, whether the access kinds of the access address information violate the access property restrictions of the configuration map restriction file. <P>COPYRIGHT: (C)2012,JPO&INPIT |