La présente invention, dont l'objet est de mettre en place une technologie permettant de rétablir et de stocker plus rapidement un état d'exécution lors de la réalisation d'inspections de modèles logiciels, comprend : une unité de stockage d'états (11) qui, en extrayant un objet à l'intérieur d'une mémoire (13) dans un ordre d'agencement prescrit, ledit objet indiquant l'état d'exécution d'un logiciel à inspecter, et en copiant cet état dans une zone de stockage, fait en sorte que l'objet soit stocké en tant qu'information indiquant l'état d'exécution; et une unité de rétablissement d'états (12) qui rétablit l'état d'exécution en copiant l'objet inclus dans les informations indiquant l'état d'exécution et stocké dans la zone de stockage, dans une zone de rétablissement située dans la mémoire (13), dans l'ordre du stockage.
5 月 28 日 に 全 遺体 が 収容 さ れ た 。patents-wipo patents-wipo