Bez: Generating a browser engine from specs and tests
4 hours ago
- Bez从规范和测试中生成Web渲染引擎，避免了数百名工程师的手动实现。
- 目标包括完整或树摇构建、在任何设备上快速性能、易于嵌入以及通过重新生成实现最快更新。
- 该引擎通过将规范建模为候选方案、运行它们并与Chrome、Firefox和WebKit进行一致性检查来工作。
- 当前状态显示93%的功能未实现；CSS以2.5%的生成率领先，而HTML、JavaScript等仍为0%。
- 调查结果显示，三种浏览器基本一致，Firefox在某些情况下是异常值，而WPT等一致性套件是可用的预言机。
- 逻辑编程（Datalog）准确复制了1195个偏移量上的边距折叠，并发现了几何检查遗漏的错误。
- 大约55-60%的引擎相关功能具有可用的自动化预言机和可生成的规范文本，而8-18%两者都缺乏。
- 关于成本、功能范围、没有JavaScript的WPT可达性以及IDL生成代码的边界，仍存在未解决的问题。