UNIX实时调度策略测试器的模型与实现

该文首先提出基于实时ＵＮＩＸ系统的调度策略测试系统的形式化模型，然后对该测试器的实现进行了详细论述。这种测试器能自动完成调度策略的测试工作，所以在开发实时操作系统时使用这种自动测试器，可以有效地提高软件开发效率和软件的质量。该文提出的测试系统模型具有通用性，以该文的测试系统为模板，可以实现各种类型的调度策略的测试系统。

Model and Implementation of an Automatic Testing Tool for UNIX Real-Time Scheduling Strategies

This paper presents a formal model of the testing system for real-time UNIX scheduling strategies, then discusses the implementation of this testing tool. The tool can test scheduling strategies automatically, so with the help of such tool, the designer can implement a scheduling strategy for UNIX efficiently and the quality of the scheduling strategy can also be guaranteed.