BriefGPT - AI 论文速递 · 2024-01-04T00:00:00Z ASP 重访的单元测试：语言和测试驱动开发环境 💡 原文中文，约200字，阅读约需1分钟。 📝 内容提要 本研究提出了一种新的单元测试规范语言，重新审视了ASP中的单元测试语言和工具，并识别了与检查程序正确性断言相关的任务的计算复杂性。同时，提供了一种支持ASP程序测试驱动开发的新型环境。 🏷️ 标签 asp 单元测试 阅读原文 生成长图 分享链接 已复制链接
