On the basis of general testing syntax and semantic, the paper focus on the research of the trace preorder and the observati...

• 本文在通用试验语义和语法的基础上,着重研究了踪迹预序和观察预序。