[发明专利]调试装置

说明书

发明涉及的调试装置(100)具备：程序执行部(12)，其执行验证对象定序程序(16)所包含的命令；动作验证状况判定部(14)，其对由程序执行部(12)执行过的命令、表示执行过的命令的执行内容和执行过的命令紧之前的命令的执行结果之间的关系的执行类别进行判定；动作验证状况存储部(15)，其将由动作验证状况判定部(14)判定出的每个执行类别的命令的执行的有无、执行类别、对执行过的命令进行识别的识别信息相关联地进行存储；以及动作验证状况显示部(21)，其与命令的执行的有无相应地以能够视觉辨认的形式对由程序执行部(12)执行过的命令和执行过的命令的执行类别进行显示。

技术领域

本发明涉及定序程序的调试所使用的调试装置。

背景技术

通常在程序的开发中实施如下调试，即，进行创建出的程序是否进行所期望的动作的动作验证，在通过动作验证发现了故障的情况下对程序进行修正而使故障消除。

将程序的动作验证的收罗率称为覆盖率，由于进行了动作验证及调试的程序被视为没有故障，因此覆盖率用作程序的品质指标。覆盖率具有若干种类，作为代表的是C0覆盖率，其表示构成程序的全部处理中的执行了大于或等于1次的处理的比率。另外，覆盖率从其含义来看，也能够用作表示程序开发中的动作验证的进展的指标。

在实现工厂等生产现场中的作业的自动化的FA(Factory Automation)领域中使用定序程序。定序程序是将多个实施某处理的最小单位的命令组合而构成的。命令具有被称为执行条件的属性，通过执行条件和对紧之前的命令实施某计算的逻辑式(下面，称为前条件)的结果，对是否需要执行命令进行判断。此外，将前条件成立的情况称为真，将不成立的情况称为假。

执行条件存在多个种类，存在仅在前条件为真的情况下执行命令、在前条件为假的情况下不执行的ON时执行，仅在前条件从假变化为真的情况下执行命令的上升沿执行，与前条件的真假无关地始终执行命令的始终执行等。始终执行的命令具有ON执行和OFF执行这两种执行类别，ON执行和OFF执行的执行结果不同。即，始终执行的命令在前条件为真的情况和为假的情况下执行的内容不同。ON执行在前条件为真的情况下执行，OFF执行在前条件为假的情况下执行。

如上所述，由于在构成定序程序的命令中，存在诸如始终执行这样的在C语言等通常所使用的编程语言中没有的执行条件，因此得到覆盖率所需要的动作验证也与通常所使用的编程语言不同。例如，设想将C0覆盖率设为100％的情况。C0覆盖率是表示全部可执行的处理中的执行过的处理的比率的指标。在通常的程序中，由于在执行处理的条件为假的情况下跳过处理，因此如果仅对作为动作验证对象的命令中的、在执行处理的条件为真的情况下得到了执行的处理进行评价，则C0覆盖率为100％。另一方面，在定序程序中，需要考虑命令各自所具有的执行条件。在作为动作验证对象的命令包含有始终执行的命令的情况下，为了将C0覆盖率设为100％，需要对始终执行的ON执行及OFF执行这两者进行验证。

在专利文献1中公开了定序控制系统，其对定序控制电路图的定义文件和寄存器的变化状态进行核对，根据核对结果对覆盖率即动作收罗率进行计算，并且对动作收罗率进行显示。

专利文献1：日本特开2000-293208号公报

发明内容

对通常的编程语言的覆盖率可视化地进行表现的技术及通过百分率定量地进行表示的技术是仅针对在前条件为真的情况下得到了执行的命令而实现的。另一方面，在定序程序中即使是同一命令，有时根据前条件，执行的类别也会不同，仅通过前条件为真的情况下的验证，不能够对覆盖率准确地进行测量。因此，存在下述问题，即，在定序程序中覆盖率的可视化的表现困难，另外，动作验证的进展管理及确认困难。