写点什么

文章:采访与书摘——“使用 C#进行基于模型的软件测试和分析”

  • 2008-03-13
  • 本文字数:436 字

    阅读完需:约 1 分钟

InfoQ 有幸对《Model Based Software Testing and Analysis with C#》一书的四位作者 Jonathan Jacky, Margus Veanes, Colin Campbell 和 Wolfram Schulte 进行了一次采访,回答了我们收集的相关问题。他们的著作最近由剑桥大学出版社出版,同时,出版社为 InfoQ 提供了第 1 章“描述、分析、测试”的试读。

我们希望通过详尽而实用的方式为基于模型的测试提供最新的信息,基于模型的测试方法在微软内部已经成功地得到了应用。我们同时也希望为教育界人士提供这方面的资源,使得他们可以在课堂上讲授基于模型的测试方法,因为我们相信本书所能起到的推广作用还远远不够。使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。

本书使得这一思想能够为广泛的读者群所接受。

若要了解更多内容可以阅读本文,同时可以获取InfoQ 提供的样章。

查看全文:采访与书摘:“使用C#进行基于模型的软件测试和分析”

查看原文: Interview and Book Excerpt: Model Based Software Testing and Analysis with C#

2008-03-13 02:10551
用户头像

发布了 109 篇内容, 共 38.7 次阅读, 收获喜欢 13 次。

关注

评论

发布
暂无评论
发现更多内容

华为应用市场“图章链接”功能上线 让APP分发突破机型壁垒

Geek_2d6073

阿里出品Spring Security王者晋级笔记,并附上源码解析

冉然学Java

编程 spring security java; Spring Boot CLI 源码、

移动平台助力推进智慧型科研院所信息化建设

WorkPlus

【iOS逆向】某车之家sign签名分析

小陈

iOS逆向

精品!阿里P7爆款《K8s+Jenkins》技术笔记,高质量干货必收藏!

冉然学Java

jenkins java; 技术笔记 编程‘’ #k8s

RabbitMQ(五)死信队列

JAVA活菩萨

Java 程序员 后端 java程序员 java编程

从云计算到函数计算

阿里巴巴云原生

阿里云 Serverless 云原生 函数计算

如何模拟后台API调用场景,很细!

Liam

前后端分离 开发 Postman API 前后端协作

硬核!阿里P7技术员身经百战总结出这份210页的Java突击面试指南

了不起的程序猿

阿里巴巴 算法 高并发 Java 面试 java程序员

小程序+自定义插件的混合模式

Geek_99967b

小程序

基础到高级涵盖11个技术,Alibaba最新出品711页Java面试神册真香

JAVA活菩萨

Java 程序员面试 大厂技能 秋招 大厂面经

不需要服务器,教你仅用30行代码搞定实时健康码识别

华为云开发者联盟

云计算 疫情 文字识别 健康码

Python 教程之输入输出(4)—— 用于竞争性编程的 Python 输入法

海拥(haiyong.site)

Python 8月月更

iOS逆向之某多多App抓包

小陈

拼多多 iOS逆向

NFT盲盒挖矿系统dapp开发NFT链游搭建

薇電13242772558

dapp NFT

博云入选Gartner中国云原生领域代表性厂商

BoCloud博云

云计算 容器 云原生 Gartner

【Android逆向】rpc调用某安App的X-App-Token签名函数

小陈

逆向技术

容器化 | 在 NFS 备份恢复 RadonDB MySQL 集群数据

RadonDB

MySQL 数据库 容器化 Kubernetes 集群 备份 & 恢复

学python,怎么能不学习scrapy呢!

华为云开发者联盟

Python 爬虫 开发 代码

阿里大牛最新分享springboot实战派文档,开发之路必不可少

Java工程师

Java spring springboot

iOS逆向之某茅台App抓包

小陈

iOS逆向 i茅台

重新审视分布式系统:永远不会有完美的一致性方案……

JAVA活菩萨

Java 程序员 java程序员 java 编程

力拓信创生态,博睿数据多款产品获得东方通与达梦数据库产品兼容互认证明

博睿数据

可观测性 智能运维 博睿数据 东方通 达梦数据

安装失败怎么办

和牛

测试

浅谈运用低代码技术如何实现物流企业的降本增效

王平

开源一夏 | 文件和目录操作|多进程和多线程【python进阶篇】

恒山其若陋兮

开源 8月月更

6000字深度总结!极狐GitLab 首次揭秘内部 DevOps 最佳实践

极狐GitLab

git DevOps gitlab 安全 CI/CD

文章:采访与书摘——“使用C#进行基于模型的软件测试和分析”_.NET_James Vastbinder_InfoQ精选文章