Program providing device, storage medium, and vehicle-mounted information system

A non-transitory storage medium which stores a program which can be executed by a computer to perform a process comprising:

• emulating a hardware environment and a software environment of a vehicle-mounted information system;
• receiving a program which is developed for the vehicle-mounted information system;
• holding, as constraints, resource states and environment conditions of the vehicle-mounted information system;
• restricting an operation of said program on a basis of a first set of environment conditions;
• executing the received program by using resources provided by said emulated hardware and software environments according to the restrictions based on the first set of environment conditions;
• restricting an operation of said program on the basis of a second set of environment conditions which differs from the first set;
• and re-executing the received program by using resources provided by said emulated hardware and software environments according to the restrictions based on the second set of environment conditions, wherein the received program is executed and re-executed in accordance with the first set and the second set of environment conditions, respectively, in order to verify whether the received program is executable under different sets of environment conditions that could occur in said vehicle-mounted information system.