ABV(Assertion Based Verification:基于断言的验证)是以断言为关键要素、确保设计符合规格的验证方法.ABV对于提升验证生产力、确......

在软件测试中，测试预言是一种用于检查程序在测试中是否正常运行的机制．然而在某些实际情况下，还无法制定测试预言或者难以有效地应用......

针对目前存在的严重软件盗版现象，探讨和总结了防止软件代码被篡改的主要技术，并分析了它们的优缺点。利用一些软硬件防篡改技术，可有......

随着软件产业的快速发展,软件产品的保护已成为一个十分重要的问题.本文详细介绍了防止计算机软件被篡改的各种技术,并分析了它们......