5.测试

该图书馆为以下欧盟语言编纂:保加利亚语、加泰罗尼亚语、英语、芬兰语、法语、德语、意大利语、波兰语、罗马尼亚语、西班牙语、瑞典语。

OpenMath产品的回归测试可以通过包含该层大约140个产品的树库进行。目前,它包含英语、德语、波兰语和西班牙语的线性化。在编写本报告时,这些语言(波兰语除外)的词条已由流利的母语人士更正。为了允许差异,早期的更正也存储在树库中,标记有作者和修订号。

评估文档中描述了树库的结构。

要测试库,请确保您有最新的OpenMath.pgf。您可以通过发出以下命令重新创建:

制作om

然后,在测试目录中:

./tbm表格

这将生成一个按树库条目和测试语言(英语、德语和西班牙语)编制索引的表,显示实际线性化和校正线性化之间的差异数量。

每次向存储库提交新版本时,此命令的输出都会保存到test/table中。通过比较此文件的不同版本,可以测量错误查找工作的进度。

审查L语言的当前缺陷:

./tbm审查-lL

它将遍历显示差异的所有缺陷、存储的更正的具体内容、摘要和当前线性化。有关可用子命令的列表,请按

小时

.