摘要
该文首先提出基于实时ＵＮＩＸ系统的调度策略测试系统的形式化模型，然后对该测试器的实现进行了详细论述。这种测试器能自动完成调度策略的测试工作，所以在开发实时操作系统时使用这种自动测试器，可以有效地提高软件开发效率和软件的质量。该文提出的测试系统模型具有通用性，以该文的测试系统为模板，可以实现各种类型的调度策略的测试系统。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2000年第1期72-73,共2页
Computer Engineering and Applications
基金
国防预研项目资助
关键词
UNIX系统
实时调度策略
实时操作系统
测试器
UNIX system, real-time scheduling strategies, testing model, real-time operating system
