PAT:过程分析工具包

一种用于并发和实时系统的增强模拟器、模型检查器和优化检查器

月度档案2008年12月

添加安装选项后启动PAT。

通过以下方式Aaron Stebner的网络日志,我们允许用户在安装后启动PAT。我们已经更新了脚本以使其更好。

  • 下载这个脚本.
  • 要将此脚本作为生成后步骤包含在Visual Studio安装/部署项目中,可以使用以下步骤:

0下载示例脚本并将内容提取到包含您正在处理的Visual Studio安装项目的目录中。
注意:文件EnableLaunchApplication.js应该与安装项目的.vdproj文件位于同一目录中。如果不将EnableLaunchApplication.js放在正确的位置,则其余步骤将无法正常工作,因此请小心此步骤。

1在文本编辑器(如记事本)中打开文件EnableLaunchApplication.js,找到文件顶部设置为值WindowsApplication1.exe的变量,并将其更改为安装MSI完成时要启动的安装程序中的exe的名称
2在Visual Studio中打开项目
3按F4显示“属性”窗口
4在解决方案资源管理器中单击安装/部署项目的名称
5单击Properties(属性)窗口中的PostBuildEvent(PostBuild事件)项,以显示标记为“…”的按钮
6单击“…”按钮以显示“构建后的事件命令行”对话框
7将以下命令行复制并粘贴到“后期生成的事件命令行”文本框中:
cscript.exe“$(ProjectDir)EnableLaunchApplication.js”“$(内置输出路径)”
8保存项目,在Visual Studio中生成项目

2008年12月21日:PAT 1.3.1发布!

实现了LTL属性的并行模型检查。
如果您使用的是多核CPU,此功能允许您将验证速度提高几倍。

2008年12月10日:PAT 2.0 Beta发布!

PAT 2.0的测试版发布了通用架构:
1最新版本的CSP模块集成在PAT 2.0中。
2新开发的web服务模块在PAT 2.0中实现。

下载下载它。

2008年12月4日:PAT用户手册上线!

用户手册可用联机.
CHM版本可以下载酒店雇员和饭馆雇员.
如果您对PAT的技术细节感兴趣,请参阅我们的出版物.