首页> 外国专利> TEST PROCEDURE GENERATING DEVICE, TEST PROCEDURE GENERATING METHOD, TEST PROCEDURE GENERATOR AND RECORDING MEDIUM

TEST PROCEDURE GENERATING DEVICE, TEST PROCEDURE GENERATING METHOD, TEST PROCEDURE GENERATOR AND RECORDING MEDIUM

机译:测试程序生成装置,测试程序生成方法,测试程序生成器和记录介质

摘要

PPROBLEM TO BE SOLVED: To provide a test procedure generating device for improving program development efficiency. PSOLUTION: The test procedure generating device is provided with an operation flow storing part 3 storing an operation flow defining specifications of operation and transition between states based upon the operation, an operation flow analyzing part 4 analyzing the operation flow stored in the operation flow storing part 3, coordinating the transition from the first state to the second state with a node, generating a graph coordinating the transition between the states with a directed line segment, determining a deleting sequence of deleting nodes on the basis of a structure of the generated graph, simplifying the graph by deleting nodes in accordance with the deleting sequence, and generating a path equation indicating a sequence relationship of the transition from the first state to the second state by using the graph, a test procedure generating part 5 generating a test path conforming to the sequence relationship on the basis of the path equation, and a test procedure outputting part 6 outputting procedures for carrying out a test on the basis of the test path. PCOPYRIGHT: (C)2003,JPO
机译:

要解决的问题:提供一种用于提高程序开发效率的测试程序生成装置。

解决方案:测试程序生成装置包括:操作流存储部3,其存储定义操作规范和基于该操作的状态之间的转换的操作流;操作流分析部4,分析存储在该操作中的操作流。流存储部分3,协调从第一状态到第二状态的转移与节点,生成使状态之间的转移与有向线段协调的图,基于节点的结构确定删除节点的删除顺序。测试过程生成部5生成生成的图,通过根据删除顺序删除节点来简化图,并生成表示从第一状态到第二状态的转变的序列关系的路径方程,测试过程生成部5生成测试基于路径方程的符合序列关系的路径,并输出测试程序第6部分,输出根据测试路径进行测试的过程。

版权:(C)2003,日本特许厅

著录项

  • 公开/公告号JP2003216454A

    专利类型

  • 公开/公告日2003-07-31

    原文格式PDF

  • 申请/专利权人 MITSUBISHI ELECTRIC CORP;

    申请/专利号JP20020018209

  • 发明设计人 FUTAMURA SUKETADA;

    申请日2002-01-28

  • 分类号G06F11/28;

  • 国家 JP

  • 入库时间 2022-08-22 00:15:39

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号