测试方法学相关论文
该文以关系代数为工具，介绍了几种证明程序正确性的技术。程序正确性是指程序相对于其说明（Specification）是正确的。这几种方法分别......
高亮度LED (HBLED)相比传统的LED具有高得多的性能,但是同时具有更高的成本.这两个因素决定了HBLED在研发和生产阶段的测试方式.......
本文中,我们在检测产品制造缺陷的功能测试背景下,引入了一种可确保用于纳米技术领域中设备的产品质量方法学.这种可以检测延迟缺......
高亮度LED (HBLED)相比传统的LED具有高得多的性能,但是同时具有更高的成本。这两个因素决定了HBLED在研发和生产阶段的测试方式。......
SOC是一种比较有特点的集成电路,它不能像传统的集成电路那样进行测试.除了超过10亿位的数字通讯链路和已达千兆赫的工作速度,一个......
