-
公开(公告)号：CN1910588A
公开(公告)日：2007-02-07
申请号：CN200580002860.8
申请日：2005-01-18
Applicant: 松下电器产业株式会社
IPC: G06F17/50
CPC classification number: G06F11/261 , G06F17/5022
Abstract: 当在待验证的对象中执行处理时，存在执行结果依赖待参考的参考数据值并且未定义的情况。当执行结果未定义，并且随后的处理参考执行结果时，执行结果可能具有不同的值。因此，不能对执行结果进行比较，并且验证不能继续。本发明提供用于给予待验证的对象和期望值产生装置相同的测试模式、用于执行仿真并比较执行结果的验证装置。仿真数据被提取。根据对所提取数据的分析结果，控制仿真。可替换地，在获得未定义结果后，控制仿真。因此，可能避免会变成未定义结果的处理的执行。
Search Results
1
records
(took 0.023 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
