Kea

概述

  • 简介

用户手册

  • 环境配置
  • 编写第一个性质
  • 为 HarmonyOS 编写性质
  • 应用性质描述语言接口
  • 性质定义教程
  • Kea 的参数选项
  • 带状态的测试
  • 缺陷报告阅读指南

设计手册

  • 架构图
  • 目录结构
  • 各功能部分设计文档

实验与结果

  • Kea工具应用效果简介
  • 静态代码分析
  • 动态代码测试
Kea
  • 搜索

© 版权所有 2024, ECNU-SE-lab。

利用 Sphinx 构建，使用的 主题 由 Read the Docs 开发.