要解决的问题:提供一种用于提高程序开发效率的测试程序生成装置。
解决方案:测试程序生成装置包括:操作流存储部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