使用英语阅读

剧集

研究:使用 Pex 进行合同检查和自动测试生成

从理论上讲,按协定设计,单元测试是提高代码质量的优秀方法。 了解如何使用代码协定来表达先决条件、后条件和对象固定的任何托管语言,这些托管语言可提高可测试性、增强静态分析,并充当检查 API 文档。 协定用于高级静态分析,并转换为运行时检查。 了解自动化程序探索 (Pex) 如何发现代码中的边界条件,这些条件会导致故障并生成具有高代码覆盖率的传统单元测试套件。 协定和 Pex 协同工作,以目标协定检查、运行时故障(null 取消引用、索引范围之外等),以及任何其他类型的断言。 使用它们以更少的工作量编写更高质量的软件。

  • 尼古拉·蒂尔曼
    Nikolai Tillmann 已经与 Microsoft Research 合作了 6 年。 他目前正在领导 Pex 项目,为基于 .NET 的程序分析构建自动化测试用例生成工具。 以前,他处理了基于模型的测试工具 Spec Explorer。
  • 迈克·巴奈特
    Mike Barnett 自 1995 年以来一直在 Microsoft Research。 在过去的几年里,他一直在为 .NET 开发 Spec# 项目、高级验证环境和语言。