基于web的形式化方法工具rrtchecker的研究与设计

形式化方法工具通常是在unix/linux系统下设计开发的，难于使用阻碍了形式化方法的进一步推广。本文针对形式化方法raise，提出了一种研究和开发基于web的工具的方法。该方法以原有的raise工具为基础，通过shell管道拦截技术、asp技术、activexdll技术及路径重写技术，将工具的所有功能集成整合到统一的、用户友好的web界面上，用户可通过鼠标在浏览器中进行不同的操作。原有的raise工具的所有功能，在基于浏览器的集成化工具中得到全面支持。该方法也为开发其它形式化方法基于web的工具提供了新