Ada/SPARK年度最佳代码库奖项揭晓

2024年Ada/SPARK年度最佳代码库奖项结果公布！Lionel Draghi凭借其命令行工具BBT（黑盒测试器）荣获Ada最佳代码库奖。BBT使用易于理解的Markdown格式行为规范，实现自动化测试。Kevin Chadwick的日志库elogs凭借其内存安全特性（SPARK银牌认证）赢得SPARK最佳代码库奖，并支持自定义消息长度。Brent Seidel的嵌入式Lisp解释器bbs_lisp则摘得嵌入式最佳代码库奖，展现了Ada在嵌入式系统中的强大优势。