会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 10. 发明申请
    • Program generating apparatus
    • 程序生成装置
    • US20050010897A1
    • 2005-01-13
    • US10880523
    • 2004-07-01
    • Hajime OgawaTaketo HeishiShuichi TakayamaChen Zhao
    • Hajime OgawaTaketo HeishiShuichi TakayamaChen Zhao
    • G06F11/28G06F9/44
    • G06F8/30G06F8/43G06F8/51
    • A test program generating apparatus for a compiler comprising: a conditional expression generating unit operable to receive a description of a control structure of a program and generate a plurality of conditional expressions to be inserted into insert parts of the conditional expressions of the control structure using a linear programming method, the plurality of conditional expressions allowing a control flow of the program to pass through all paths in the control structure; an initial value generating unit operable to generate initial values of variables, for each of all the paths, which are included in the plurality of conditional expressions for allowing the control flow of the program to pass through all the paths in the control structure; and a test program generating unit operable to generate a test program based on the control structure, the conditional expressions and the initial values.
    • 一种用于编译器的测试程序生成装置,包括:条件表达式生成单元,用于接收对程序的控制结构的描述,并生成多个条件表达式,以使用以下操作插入到控制结构的条件表达式的插入部分中 所述多个条件表达式允许所述程序的控制流程通过所述控制结构中的所有路径; 初始值生成单元,用于针对包含在所述多个条件表达式中的每个所述路径生成用于允许所述程序的控制流通过所述控制结构中的所有路径的变量的初始值; 以及测试程序生成单元,其可操作以基于所述控制结构,所述条件表达式和所述初始值生成测试程序。