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