公开(公告)号：CN1567222A

公开(公告)日：2005-01-19

申请号：CN03147234.6

申请日：2003-07-09

Applicant: 松下电器产业株式会社

Inventor： 小川一 ,  瓶子岳人 ,  高山秀一 ,  赵琛

IPC: G06F11/28

CPC classification number: G06F8/30 ,  G06F8/43 ,  G06F8/51

Abstract: 一种编译器用测试程序生成装置(20)，具备：条件表达式生成装置(22)，接受程序的控制结构作为输入，用线性规划法来生成可使该控制结构中的所有路径通过的、插入该控制结构条件表达式插入部分中的多个条件表达式；初始值生成装置(24)，使用线性规划法，对控制结构中的所有路径中每个路径生成使该路径通过用的所述多个条件表达式中包含的变量的初始值；和测试程序生成装置(24)，根据所述控制结构、所述条件表达式和所述初始值，生成测试程序。

公开(公告)号：CN1567223A

公开(公告)日：2005-01-19

申请号：CN03147238.9

申请日：2003-07-09

Applicant: 松下电器产业株式会社

Inventor： 小川一 ,  高山秀一 ,  瓶子岳人 ,  赵琛

IPC: G06F11/28

CPC classification number: G06F8/30 ,  G06F8/51

Abstract: 本发明的程序生成装置具备：翻译部，接收指定应生成程序的多个程序结构的1个HLSL(高级脚本语言)脚本，并翻译成记述由该HLSL脚本指定的多个程序结构中彼此不同的1个程序结构的多个MLSL(中级脚本语言)脚本；和生成部，生成对应于多个第2脚本的每一个的程序。