摘要
提出基于分布式实时ＵＮＩＸ系统的调度策略自动测试系统的形式化模型，并研究了该系统核心部分的算法．给出了该自动测试系统模型的软件结构图．结果表明研究的ＵＮＩＸ实时调度策略全自动测试系统模型具有一定的通用性。
A formal model of the automatic testing system for distributed real time UNIX scheduling strategies is proposed,and the algorithm of the key part of this system described. The model is an important technology of the automatic of software development. According to the model,many different kinds of automatic testing systems can be designed and developed easily.
出处
《华中理工大学学报》
CSCD
北大核心
1999年第1期28-30,共3页
Journal of Huazhong University of Science and Technology
基金
国防预研基金
关键词
UNIX系统
实时调度策略
自动测试系统
操作系统
UNIX system
real time scheduling strategies
automatic testing system
distributed and real time operating system
