发明名称 | 对计算机程序的资源使用率执行检查 | ||
摘要 | 一种用于对程序代码执行检查的方法和设备。在一个实施例中,该方法包括:接收程序代码并静态地验证程序代码中关于一个或多个动态检查的信息,程序代码中所述一个或多个动态检查用于检查程序代码中的操作。 | ||
申请公布号 | CN1898651A | 申请公布日期 | 2007.01.17 |
申请号 | CN200480038355.4 | 申请日期 | 2004.12.22 |
申请人 | 株式会社NTT都科摩 | 发明人 | 阿贾伊·钱德尔;纳伊姆·伊斯兰;戴维·埃斯皮诺萨;乔治·尼古拉;彼得·李 |
分类号 | G06F11/36(2006.01) | 主分类号 | G06F11/36(2006.01) |
代理机构 | 中科专利商标代理有限责任公司 | 代理人 | 朱进桂 |
主权项 | 1.一种方法,包括:接收程序代码;以及静态地验证程序代码中关于一个或多个动态检查的信息,程序代码中的所述一个或多个动态检查用于检查程序代码中的操作。 | ||
地址 | 日本国东京都 |