您的位置:主页 > 精致腕表 > 古驰 >

Microsoft提供其SpecExplorer基于模型的测试工具

2019-09-13     来源:银河演员网         内容标签:Microsoft,提供,其,SpecExplorer,基于

导读:Microsoft为.NET开发人花生彩票网员提供了一个新的基于模型的测试工具,称为SpecExplorer。该工具起源于MicrosoftResearch,它“扩展了VisualStudio集成[开发]环境,能够定义描述软件系统预期行为的

Microsoft为.NET开发人员提供了一个新的基于模型的测试工具,称为SpecExplorer。

该工具起源于MicrosoftResearch,它“扩展了VisualStudio集成[开发]环境,能够定义描述软件系统预期行为的模型。使用此模型,您可以自动生成测试,以便在VisualStudio自己的测试框架或许多其他单元测试框架中执行,“NicoKicillof微软项目的首席项目经理在10月27日的一篇博客中表示。

“基于模型的测试被认为是一种轻量级的[验证]软件系统的方法,”Kicillof说道。关于MBT工作的单独博客文章。

Kicillof说,开发人员可以用C#等主流编程语言编写模型,并附带一种名为“Cord”的脚本语言的配置文件,这是“协调语言,“他说。

进一步阅读对非结构化数据进行分类的六个理由IT科学案例研究:无代码收费应用程序开发...添加了Kicillof:

“”SpecExp花生彩票网lorer这个名称来源于它能够按顺序探索这些模型(又名规范)发现他们定义的所有潜在行为,并呈现结果的图形视图。虽然探索的结果可能很大,但是Cord语言通过选择与测试相关的场景提供了一种非常直观的方法来减少它。如果您遇到纯粹的面向状态的工具,您会发现SpecExplorer有非常有效的方法来处理臭名昭着的“状态爆炸”问题。“”在10月26日的博文中,S。“Soma”Somasegar,高级微软开发部副总裁表示,“SpecExplo花生彩票网rer”的独特功能使其比其他基于模型的测试工具更容易学习。没有建模背景的工程师可以创建系统和功能模型,然后简短地生成测试一个拥有300多个测试套件的大型项目的研究显示,与手动创建的测试套件相比,平均生产率提高了42%。“

提出SpecExplorer的团队在北京之间分配以及微软位于华盛顿州雷德蒙市的总部。“SpecExplorer从MicrosoftResearch迁移到WindowsServer组织中的一个工程组,由一个成熟的开发团队维护和发展。SpecExplorer2010在预发布版本3.0中的VisualStudio2010Beta2时间框架中发布,以获得用户反馈,“项目描述说。

同时,Kicillof说,”SpecExplorer被广泛用于测试几种微软技术已成功应用于测试数千页的Windows开放协议规范,这是一个耗时超过250人年的庞大项目。“

MSDN上可以使用SpecExplorer(MicrosoftDeveloperNetwork)DevLabs网站。

文章链接地址:http://www.hdl2x.com/jingzhiwanbiao/guchi/201909/3497.html

上一篇:VistaCo花生彩票网uponCraziness
下一篇:没有了