从数字电路测试和验证的角度看软件测试和验证

摘要：

该文中提出软件验证和硬件骓是对应的，但软件测试并不对应于硬件测试。还提出软推卸验证自身的特点：它的对象是设计，可以利用设计中所有的信息资料，可以深入设计内部分而治之。从而使得原来很难的软件验证工作变得容易多了。

关键词： 数字集成电路 软件测试 硬件测试 软件验证 逻辑验证

作者: 梁业伟 杨志娟 石茵 魏道政

作者单位: 北京工业大学计算机学院 中国科学院计算技术研究所CAD开放实验室

会议类型: 国内会议

会议名称: 第九届中国集成电路测试学术年会

会议地点: 北京

会议语种:中文

页码: 51～54

在线出版日期: 1999-05-01（万方平台首次上网日期，不代表论文的发表时间）