Compatibility of operating system is a very important property of the computer system. However, qualitative analysis is always given to compatibility test. In this thesis, we try to show more particular and quantitative test and analysis. After comparing with some frequently referred methods of software test, we propose a Property Verification Method (PVM) which is performed by writing test cases for the system calls one by one and by verifying the compatibility with the chosen system specification. We introduce a test framework for PVM, and we use an open test platform TETware and some relative tools as the driving and supporting modules in this framework. Some test cases targeting POSIX file system are developed on this platform, and then they are run in the consequent experiments. By analyzing the test results, we get the compatibility report of the under test system. |