文件名称:JSAnalyzer:JSAnalyzer 官方仓库
文件大小:355.3MB
文件格式:ZIP
更新时间:2024-06-20 11:42:45
JavaScript
JS分析器 发布时间:2013 年 12 月。 由和伟大的贡献者撰写。 介绍 我们正在开发 JSAnalyzer 以支持 Ajax 应用程序开发。 JSAnalyzer 由三个主要组件组成: JSModeler 静态提取一个专注于与 Ajax 应用程序交互的有限状态机 (FSM) JSVerifier (半)自动验证提取的 FSM 是否满足与 Ajax 应用程序交互相关的不变量 JSPreventer 支持开发者从验证结果中揭示反例潜在错误导致的错误 我们相信 JSAnalyzer 可以帮助开发人员开发和维护高质量的 Ajax 应用程序。 享受运行 JSAnalyzer! 入门 请参阅 。 执照 最伟大的贡献者 西浦一树 中冈纯人 我们期待您的贡献! 版权所有 (C) JSAnalyzer 保留所有权利。