【AICon】AI 基础设施、LLM运维、大模型训练与推理,一场会议,全方位涵盖! >>> 了解详情
写点什么

Spec Explorer 2010 3.5 版改进了更改检测和批处理

  • 2011-05-20
  • 本文字数:436 字

    阅读完需:约 1 分钟

微软最近发布了Spec Explorer 2010 3.5 版。这个Visual Studio 扩展允许用户生成可重用的测试代码,以及创建、分析和生成软件行为的图形模型。Spec Explorer 的模型可以通过使用C#写的规则来创建,也可以通过使用正则表达式的操作模式来定义。

除了若干bug 的修正和文档的改善,这次发布的Spec Explorer 还包含了以下三个增强特性:

模型更改检测

这个特性跟踪一个模型的所有更新,并在更改出现时自动触发一个新的探索。这会节省时间,避免多余的验证。(用户也可以在任何时候发起一个新的探索。)

多台机器处理

用户现在可以在Exploration Manager 里选择多台机器,然后一次对它们执行批处理(比如探索或者生成测试代码)。

Cord 上下文菜单

这是 Cord 编辑器里的新特性。“Go To Definition”上下文菜单现在会导航至特定的配置或者机器。

Spec Explorer 3.5 只兼容 Visual Studio 2010,它可以从

Visual Studio Power Tools Gallery 下载。

查看英文原文: Spec Explorer 2010 Version 3.5 Adds Improved Change Detection, Batch Processing

2011-05-20 07:481170

评论

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

「面向信仰编程」Draven 专访:像写代码一样,用树形的结构写文章

Shopee技术团队

Go 语言 技术播客

Go 语言入门很简单:时间包

宇宙之一粟

时间 Go 语言 4月月更

WEB PC 管理端打包详细教程

CRMEB

大数据培训flink中核心设计、抽象和线程模型

@零度

flink Netty 大数据开发

为什么计算机启动最开始的时候执行的是BIOS代码而不是操作系统自身的 代码?

InfoQ IT百科

一文搞懂SPI通信协议

不脱发的程序猿

spi 嵌入式 通信协议

自己动手写Docker系列 -- 6.3 手动配置容器网络(下)

Go Docker 4月月更

明道云+百度云,自动识别填写抗原二维码

明道云

Authing 正式加入 W3C 组织,将参与相关国际标准制定

Authing

开发者 云原生 API Idaas W3C

一个完整的计算机系统是由什么组成的?

InfoQ IT百科

什么是127.0.0.1,如何使用这个IP地址

郑州埃文科技

IP地址 localhost

IP 地理定位:通过地理围栏改善虚拟环境中的数据丢失防护

郑州埃文科技

数据安全 地理围栏 ip地理定位

线程和进程有什么区别?

InfoQ IT百科

正确的文档排版方式

源字节1号

修改,编译,GDB调试openjdk8源码(docker环境下)

程序员欣宸

Java JVM 4月月更

搭建帮助中心,推动SaaS行业业务增长

小炮

SaaS 帮助中心

FlyFishV2.1更新,更好用的数据可视化编排平台

云智慧AIOps社区

开源 前端 数据可视化 大屏可视化

从IPv4到IPv6为什么这么久?IPv5哪里去了?

郑州埃文科技

ipv6 ipv4 ipv5

线程的定义是什么?

InfoQ IT百科

瑞萨IDE:CS+ for CC进行BootLoader升级时开发环境配置

不脱发的程序猿

嵌入式 汽车电子 MCU 瑞萨 CS+ for CC

5种高大上的yml文件读取方式,你知道吗?

码农参上

springboot 配置文件 4月月更

C语言总结_函数知识

DS小龙哥

4月月更

数智未来,因你而来,2022鲲鹏应用创新大赛正式启动

科技热闻

Robot OS添加开机启动服务

轻口味

android 4月月更 AOSP

云原生训练营毕业总结

hcyycb

ScheduleMaster分布式任务调度中心基本使用和原理

神农写代码

如何为数据库选择最佳加密方法

郑州埃文科技

数据库 加密算法

web前端培训react面试题分享

@零度

前端开发 React

10 个使用 SQL 的 AWS 服务

郑州埃文科技

AWS sql

乙巳篇 天、地、人三才立 《「內元宇宙」聯載》

因田木

中庸

java培训Redis的库存扣减操作

@零度

redis JAVA开发

Spec Explorer 2010 3.5版改进了更改检测和批处理_.NET_Jenni Konrad_InfoQ精选文章