PROGRAM EDITING DEVICE, PROGRAM MANAGEMENT DEVICE, AND COMPUTER READABLE MEDIUM

摘要

A management server (200) has a storage section to store a program set (110) and a user management table. The management server receives user information from a development computer (300), authenticates a user on the basis of the received user information and user information included in the user management table, and transmits the program set to the development computer. The development computer edits a source program included in the program set, registers user information in the program set, and transmits the program set to the management server. The management server receives the program set, updates the program set stored in the storage section with the received program set, and updates the user information included in the user management table with the user information included in the received program set.

主权项

1. A program editing device comprising:
a program set storage section to store a program set including a program, a user identifier, and a user password associated with the user identifier; a user information acquisition section to acquire an authentication identifier of a user and an authentication password of the user; a user authentication section to authenticate the user when the authentication password acquired by the user information acquisition section is same as a user password associated with a same user identifier as the authentication identifier acquired by the user information acquisition section; and a program editing section to edit the program included in the program set on a basis of an instruction from the user when the user has been authenticated by the user authentication section, wherein the program set includes a permission flag and a valid flag which are associated with the user identifier, and wherein the user authentication section authenticates the user when a valid flag associated with the same user identifier as the authentication identifier indicates invalid and the authentication password is same as the user password associated with the same user identifier as the authentication identifier, or when said valid flag indicates valid and a permission flag associated with the same user identifier as the authentication identifier indicates permission.