具备自监视功能的计算机、监视程序的制作方法
【技术领域】
[0001]本发明涉及具备自监视功能的计算机以及监视程序。
【背景技术】
[0002]近年来，一般通过嵌入系统来控制机器的状态。例如，搭载在汽车上的计算机被称为ECU(电控单元)，进行与行驶有关的各种控制。在工厂设备、制造生产线等汽车以外的领域中也广泛使用这样的利用嵌入系统的控制用计算机。
[0003]在以E⑶为首的控制用计算机中，需要保证程序依照规范正确地动作。其原因为，如果由于电路的故障、程序的缺陷而发生未预期的动作，则无法正常地控制车辆、生产线，威胁利用者的安全。
[0004]在控制用的计算机中，为了防止故障、缺陷所引起的事故，具备自诊断功能的情况较多。在汽车的情况下，自诊断功能被称为“诊断(diagnosis) ”、“OBD(On-boarddiagnostics:车载自动诊断系统)”(参照非专利文献I)。自诊断功能能够在计算机的内部探测发生了未定义的信号等异常的状态，进行向利用者的警告、系统的停止、日志信息的记录等。
[0005]非专利文献1:"0DB_II On-Board Diagnostics"、[online]、B&B Electronics、[平成 24 年 7 月 23 日检索]、因特网〈URL:http://www.0bdi1.com/〉
【发明内容】
[0006]具有上述那样的自诊断功能的计算机能够检测电路的故障、程序的缺陷所致的异常动作，并警告利用者。但是，自诊断功能虽然能够探测系统成为异常的状态，但无法检测系统达到异常动作之前的所谓“未验证的状态”。
[0007]详细说明该问题。一般，在软件的测试中，设想利用者进行的操作来生成测试脚本。但是，完全网罗所有情形并不容易，进行未设想的操作情况也不少。在进行了这样的设想外的操作的情况下，软件对未被验证的脚本进行处理，所以无法保证可否正常地进行处理。即，有可能在该脚本中发生缺陷，系统变得不稳定、或者引起异常动作。这样的未验证的状态虽然并非危急的状态但却是在软件的动作上存在风险的状态，所以期望积极地检测并进行通知。但是，以往的技术中无法检测在计算机中动作过程中的程序是否沿着已验证的脚本动作。
[0008]本发明是考虑上述问题而完成的，其目的在于提供一种能够检测利用者进行了测试脚本中不存在的操作的、具备自监视功能的计算机以及监视程序。
[0009]本发明的第一方式是具备自监视功能的计算机。
[0010]本发明的第一方式的计算机，具有:输入单元，取得输入操作；第一程序执行单元，执行根据所述输入单元所取得的输入操作进行运算的运算程序；测试脚本存储单元，存储有针对所述运算程序的多个测试脚本；以及第二程序执行单元，执行判定所述输入单元所取得的输入操作是否为与所存储的所述多个测试脚本中的某一个对应的操作的监视程序。
[0011]运算程序是指成为监视的对象的程序，是根据通过计算机中具备的输入单元所取得的输入操作进行运算的程序。输入单元是指鼠标、触摸面板、键盘等人机交互界面设备，输入操作是指通过该设备从利用者输入的信息。具体而言，既可以是点击、轻敲、键按下等与硬件直接关联起来的事件，也可以是通过文本框、下拉列表、滑块等⑶I (Graphical UserInterface:图形用户界面)组件输入的值。
[0012]另外，监视程序是指取得由利用者实施的输入操作、判定该输入操作是否已验证的程序。通过对比所取得的输入操作、和所存储的多个测试脚本，判定输入操作是否为已验证。测试脚本是指，记录了与运算程序的测试有关的操作的数据，监视程序通过确认所取得的输入操作、和测试脚本中记录了的操作的内容是否一致，能够判定该输入操作是否为已验证。
[0013]另外，其特征还可以在于各所述测试脚本分别包括多个输入操作的内容以及顺序，其特征还可以在于所述监视程序从所述输入单元取得多个输入操作，在所取得的所述多个输入操作与包含在某一个测试脚本中的输入操作的内容以及顺序一致的情况下，判定为所取得的所述输入操作是与该测试脚本对应的操作。
[0014]这样，验证的对象也可以是多个输入操作。即，通过比较从输入单元依次输入的操作、和测试脚本中按照时间序列依次记录的操作，验证其内容以及顺序是否一致，从而能够判定所输入的操作是否为与测试脚本对应的操作。
[0015]另外，其特征还可以在于所述监视程序在所取得的所述输入操作与所存储的多个测试脚本中的哪一个都不对应的情况下，对所述运算程序或者外部程序，通知系统为未验证状态的意思。
[0016]在利用者进行的操作与所存储的多个测试脚本中的哪一个都不对应的情况下，能够判定为该操作是未验证的操作。在该情况下，监视程序对运算程序、外部程序，通知动作未验证的状况。由此，例如，能够进行向系统日志的输出、向外部系统的通知、向安全模式的转移等应对异常发生的处理，能够担保系统的安全。
[0017]本发明的第二方式是监视任意的程序的监视程序。
[0018]本发明的第二方式的监视程序，与进行运算的运算程序同时被执行，监视针对所述运算程序的输入操作，包括:输入取得步骤，取得针对所述运算程序的输入操作；以及输入判定步骤，判定所取得的所述输入操作是否为与事先存储的、针对所述运算程序的多个测试脚本中的某一个测试脚本对应的操作。
[0019]另外，其特征还可以在于所存储的各所述测试脚本分别包括多个输入操作的内容以及顺序，其特征还可以在于所述输入取得步骤、所述输入判定步骤在所取得的所述多个输入操作与包含在某一个测试脚本中的输入操作的内容以及顺序一致的情况下，判定为所取得的所述输入操作是与该测试脚本对应的操作。
[0020]另外，其特征还可以在于在所述输入判定步骤中，在所取得的所述输入操作与所存储的多个测试脚本中的哪一个都不对应的情况下，执行对所述运算程序或者外部程序通知系统是未验证状态的意思的步骤。
[0021 ] 这样，本发明还能够特定为监视针对任意的程序的输入操作的监视程序。
[0022]本发明的第三方式是生成进行运算的运算程序、和监视针对所述运算程序的输入操作的监视程序的软件制作装置。
[0023]本发明的第三方式的软件制作装置，具有:运算程序输入单元，接受所述运算程序的代码输入；测试脚本输入单元，接受通过建模语言描述的针对所述运算程序的多个测试脚本的输入；运算程序生成单元，生成所述运算程序；监视程序生成单元，生成监视程序，该监视程序包括所述多个测试脚本在内，判定针对所述运算程序的输入操作是否为与所述多个测试脚本中的某一个测试脚本对应的操作；以及程序写入单元，将所述运算程序和监视程序记录到执行用计算机，所述运算程序生成单元针对所述运算程序，追加将所述运算程序进行的规定的处理作为触发，将对所述运算程序进行的输入操作通知到所述监视程序的处理。
[0024]另外，其特征还可以在于所述各测试脚本分别包括多个输入操作的内容以及顺序，其特征还可以在于所述监视程序取得多个输入操作，在所取得的所述多个输入操作与包含于某一个测试脚本中的输入操作的内容以及顺序一致的情况下，判定为所取得的所述输入操作是与该测试脚本对应的操作。
[0025]另外，其特征还可以在于所述监视程序在所述输入操作与多个测试脚本中的哪一个都不对应的情况下，能够对所述运算程序或者外部程序，通知系统是未验证状态的意思。
[0026]这样，本发明还能够特定为在本发明的第一方式的计算机中，记录运算程序以及监视程序的软件制作装置。另外，关于上述处理、单元，只要不产生技术上的矛盾，就能够自由地组合来实施。
[0027]根据本发明，能够提供能够检测利用者进行了不存在于测试脚本中的操作的、具备自监视功能的计算机以及监视程序。
【附图说明】
[0028]图1是说明观测器代码以及应用代码的制作方法的图。
[0029]图2是本发明中的软件制作装置的系统结构图。
[0030]图3是示出本发明中的执行程序的结构的图。