基于模型的软件验证与测试

基于模型的软件验证与测试

出版社：西北工业大学出版社

ISBN：9787561237670

出版年：2013

作者：郑炜

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

软件测试 :原理、模型、验证与实践

作者：王蓁蓁
ISBN：9787302583486
出版社：清华大学出版社
出版年：2021

编写测试平台—HDL模型的功能验证(第二版)

作者：[美]Janick Bergeron
ISBN：7121030764
出版社：电子工业出版社
出版年：2006

计算机自适应语言测试模型设计与效度验证

作者：何莲珍
ISBN：9787308163552
出版社：浙江大学出版社
出版年：2016

以活动为中心的软件过程模型的验证工具研究

作者：胡旷
出版社：中国科学院
出版年：2006

基于指令模型的处理器快速验证方法

作者：孙艺萱
出版社：中国科学院软件研究所
出版年：2023

基于SAT的LTL限界模型检测与验证

作者：杜金秀
出版社：中国科学院
出版年：2009