【形式化方法:VDM++系列】2.VDMTools环境的搭建
2014-11-12 03:44
260 查看
接前文:/article/6992045.html
上次讲了软件需求分析的演化过程,本次进入正题——VDM开发环境的搭建
(自从发现能打游戏以来,居然有将近1个月没有写博客了!真是越来越颓废了。。)
其实VDM++已经学习了很多,近几天应该会逐渐更新。
1.VDM开发环境介绍
需要使用的环境主要有2个:(1)VDMTools (2)Overture Tool
官方网站:【VDMTools】http://www.vdmtools.jp/en/
【Overture】http://overturetool.org/languages/
2.安装VDMTools
(1)下载VDMTools首先需要注册账号
(2)账号注册完成后会出现download按钮,点击可以下载
(3)下载完成后,点击安装,一直下一步即可。
(4)安装完成后,如下图所示:
![](http://images.cnitblog.com/blog/402942/201411/120343478819759.png)
VDMTools的主要功能是对VDM代码进行验证和测试,不能用于编写代码
3.安装Overture Tool
(1)由于Overture Tool是基于Eclipse的,所以运行Overture必须先安装JRE【否则无法运行Eclipse,安装过程略】
(2)在Overture官网下载压缩包
(3)解压,运行Overture.exe即可(其它平台类似)
(4)运行效果如下图:
![](http://images.cnitblog.com/blog/402942/201411/120343505227934.png)
Overture Tool是VDM++的一个集成开发环境,支持代码编写,代码测试,回归测试,测试分析等一系列功能。主要用于代码编写!
至此,VDM开发环境搭建完成。
4.VDMTools第一步:Hello World程序
安装完了开发环境,想必大家都已经跃跃欲试了,这个VDMTools究竟怎么用呢!?本部分讲解如何使用VDMTools运行第一个程序。
(1)进入VDMTools,点击Interpreter按钮,或者从windows菜单中选择interpreter,进入VDM++解释器。这是VDM++语言的交互式运行环境,类似于python的交互模式,ruby的irb;在该解释器中输入VDM++命令,即可交互式的显示出命令的执行结果,非常适合学习。
![](http://images.cnitblog.com/blog/402942/201411/120343545695637.png)
(2)如下图,在交互式窗口中输入:p “Hello,world”,点击回车,交互式窗口成功打印出Hello World。至此,HelloWorld程序便开发完成了!怎么样,是不是很简单呢!
![](http://images.cnitblog.com/blog/402942/201411/120343573971868.png)
至此,VDM++开发环境已经基本入门,或许现在你仍然十分不解:这个VDM++到底可以做些什么!?这个VDM++语言到底又是什么呢!?
VDM++作为一个软件形式化语言,在软件需求分析和软件测试上有着十分强大的功能。在下一篇文章中,我将通过一个实例会为大家展示VDM++的强大功能,敬请期待。
Next:【形式化方法:VDM++系列】3.基于VDM++的图书管理系统需求定义
上次讲了软件需求分析的演化过程,本次进入正题——VDM开发环境的搭建
(自从发现能打游戏以来,居然有将近1个月没有写博客了!真是越来越颓废了。。)
其实VDM++已经学习了很多,近几天应该会逐渐更新。
1.VDM开发环境介绍
需要使用的环境主要有2个:(1)VDMTools (2)Overture Tool
官方网站:【VDMTools】http://www.vdmtools.jp/en/
【Overture】http://overturetool.org/languages/
2.安装VDMTools
(1)下载VDMTools首先需要注册账号
(2)账号注册完成后会出现download按钮,点击可以下载
(3)下载完成后,点击安装,一直下一步即可。
(4)安装完成后,如下图所示:
![](http://images.cnitblog.com/blog/402942/201411/120343478819759.png)
VDMTools的主要功能是对VDM代码进行验证和测试,不能用于编写代码
3.安装Overture Tool
(1)由于Overture Tool是基于Eclipse的,所以运行Overture必须先安装JRE【否则无法运行Eclipse,安装过程略】
(2)在Overture官网下载压缩包
(3)解压,运行Overture.exe即可(其它平台类似)
(4)运行效果如下图:
![](http://images.cnitblog.com/blog/402942/201411/120343505227934.png)
Overture Tool是VDM++的一个集成开发环境,支持代码编写,代码测试,回归测试,测试分析等一系列功能。主要用于代码编写!
至此,VDM开发环境搭建完成。
4.VDMTools第一步:Hello World程序
安装完了开发环境,想必大家都已经跃跃欲试了,这个VDMTools究竟怎么用呢!?本部分讲解如何使用VDMTools运行第一个程序。
(1)进入VDMTools,点击Interpreter按钮,或者从windows菜单中选择interpreter,进入VDM++解释器。这是VDM++语言的交互式运行环境,类似于python的交互模式,ruby的irb;在该解释器中输入VDM++命令,即可交互式的显示出命令的执行结果,非常适合学习。
![](http://images.cnitblog.com/blog/402942/201411/120343545695637.png)
(2)如下图,在交互式窗口中输入:p “Hello,world”,点击回车,交互式窗口成功打印出Hello World。至此,HelloWorld程序便开发完成了!怎么样,是不是很简单呢!
![](http://images.cnitblog.com/blog/402942/201411/120343573971868.png)
至此,VDM++开发环境已经基本入门,或许现在你仍然十分不解:这个VDM++到底可以做些什么!?这个VDM++语言到底又是什么呢!?
VDM++作为一个软件形式化语言,在软件需求分析和软件测试上有着十分强大的功能。在下一篇文章中,我将通过一个实例会为大家展示VDM++的强大功能,敬请期待。
Next:【形式化方法:VDM++系列】3.基于VDM++的图书管理系统需求定义
相关文章推荐
- 【形式化方法:VDM++系列】2.VDMTools环境的搭建
- 【形式化方法:VDM++系列】3.基于VDM++的图书管理系统需求定义
- 【形式化方法:VDM++系列】1.前言
- 【形式化方法:VDM++系列】4.VDM实战1——铁路费用计算
- 大数据学习系列之八----- Hadoop、Spark、HBase、Hive搭建环境遇到的错误以及解决方法
- 大数据学习系列之八----- Hadoop、Spark、HBase、Hive搭建环境遇到的错误以及解决方法
- 缺少streams.h的解决方法和DirectShow开发环境的搭建
- Qt+VC环境搭建以及使用方法
- Smalltalk基础知识系列01:环境搭建
- liferay开发系列 之 “Eclipse3.2中 Java Web 开发环境的搭建之LOMBOZ+TOMCA”
- 解决在DHCP环境下私自指定IP和私自搭建DHCP服务器的方法
- Windows平台上iPhone SDK基于cygwin开发环境的搭建方法
- SilverLight开发系列第1步:搭建开发环境
- jsp开发环境的搭建(3)在tomcat下发布jsp的方法
- 活动目录实战系列一(小型局域网搭建域环境)
- 活动目录实战系列一(小型局域网搭建域环境)
- Windows Mobile 开发系列文章收藏 - 入门篇(开发环境搭建)
- Windows平台上iPhone SDK基于cygwin开发环境的搭建方法
- wx网罗系列之环境搭建:使用wxWidgets开发跨平台的GUI程序
- 缺少streams.h的解决方法和DirectShow开发环境的搭建(转)