发明名称 |
用于系统设计期间的验证的方法 |
摘要 |
提供了由处理器执行以便在设计系统时相对于环境来验证系统的方法,包括:在由处理器上运行的程序进行设计的过程中,访问描述系统的系统描述;利用系统描述,相对于模拟的环境验证系统,其中相对于模拟的环境验证系统还包括:从系统描述中选择最高级定义;为实例空间,产生由最高级定义所描述的适当的实例;选择嵌套在最高级定义中的附加定义;根据选择的定义是限定了对象还是关系,为实例空间,产生由附加定义所描述的适当实例;以及继续进行附加定义的选择以及如附加定义所描述的适当实例产生,直到为实例空间产生了嵌套在最高级定义中的所有定义的实例为止。 |
申请公布号 |
CN1570860B |
申请公布日期 |
2012.03.21 |
申请号 |
CN200410032700.5 |
申请日期 |
2004.03.05 |
申请人 |
微软公司 |
发明人 |
G·奥斯莱德;K·格里利希;R·门辛;B·塔巴拉;R·V·维兰德 |
分类号 |
G06F9/44(2006.01)I |
主分类号 |
G06F9/44(2006.01)I |
代理机构 |
上海专利商标事务所有限公司 31100 |
代理人 |
陈斌 |
主权项 |
一种由一个或多个处理器执行以便在设计系统时相对于环境来验证系统的方法,所述方法包括:在由一或多个处理器上运行的程序进行设计的过程中,访问描述系统的系统描述;以及利用所述系统描述,相对于一个模拟的环境验证所述系统,其中所述相对于模拟的环境验证所述系统还包括:从所述系统描述中选择一个最高级定义;为一个实例空间,产生一个由最高级定义所描述的适当的实例;选择嵌套在所述最高级定义中的附加定义;根据选择的附加定义是限定了一个对象还是一个关系,为所述实例空间,产生一个由附加定义所描述的适当实例;以及继续进行附加定义的选择以及由所述附加定义所描述的适当实例的产生,直到为所述实例空间产生了嵌套在所述最高级定义中的所有附加定义的适当实例为止。 |
地址 |
美国华盛顿州 |