论文部分内容阅读
针对雷达故障诊断测试系统组建的复杂性和灵活性增加，传统的人工组建系统方法不能满足需求的情况，提出了一种自上而下，由整体到部分的分层建模与验证方法。在该方法中，通过对系统的初步分析，首先利用UML建模语言为该系统画出用例图和类图，得到系统的静态模型，来确定该系统的具体组成构架。然后为该系统建立一个随机Petri网动态模型，根据模型计算出系统性能指标，并对该系统进行评价。通过这种方法可以预防系统出现死锁、饥饿和资源冲突的情况，提高设备资源利用率，节约系统设计时间和成本，方便了自动测试系统的组建。