【摘要】 操作系统兼容性一般作为一个定性的属性,很少研究对其进行比较详细的分析。一种基于POSIX系统规范进行的系统验证方法,可以通过针对操作系统的各个组成元素在ABI级别进行测试来得到操作系统的微观和宏观兼容性属性,并给出了操作系统兼容性的评估结果。更多还原

【Abstract】 The compatibility of operating system, which is always considered to be a qualitative property, is rarely studied in detail. A system verification method based on POSIX system specification can collect both the microcosmic and macroscopical system properties by means of ABI level test of system elements and properties, and also gives the evaluation result.更多还原