PAR50

his directory contains the semantic coverage 32<br> of the twenty test suites T 1 ... T 20 of jTerminal for 33<br> partial correctness with respect to M50; these files are 34<br> named PAR50T1 ... PAR50T20. This directory also 35<br> contains the graph that ranks the test suites T 1 ... T 20 36<br> by their semantic coverage; this graph is represented in 37<br> two formats, namely the list of arcs (ArcsPAR50) and 38<br> the graphical representation (GraphPAR50)

本目录包含针对M50的部分正确性（partial correctness）准则下，jTerminal的20个测试套件（test suites）T₁至T₂₀的语义覆盖度（semantic coverage）相关数据；对应文件命名为PAR50T₁至PAR50T₂₀。本目录同时收录了按语义覆盖度对测试套件T₁至T₂₀进行排序的图谱，该图谱以两种格式表示：分别为弧列表（list of arcs）格式的ArcsPAR50文件，以及图形化表示（graphical representation）格式的GraphPAR50文件。