发明名称 Automation of software verification
摘要 A method, system, and computer program product are disclosed for automatic test generation for a compiler. In one approach, the method, system and computer program product represent a test case for the compiler in a structure with one or more elements of a programming language, associate at least one syntactic rule and semantic rule with the one or more elements in the structure, create a test with the structure compiling the test with the compiler, and display results of the test.
申请公布号 US8156474(B2) 申请公布日期 2012.04.10
申请号 US20070966834 申请日期 2007.12.28
申请人 TEPLITSKY MARAT;OVADIA MEIR;GRADOVICH NOA;CADENCE DESIGN SYSTEMS, INC. 发明人 TEPLITSKY MARAT;OVADIA MEIR;GRADOVICH NOA
分类号 G06F9/44 主分类号 G06F9/44
代理机构 代理人
主权项
地址