The object constraint language(OCL),a formal language used to describe expressions on UML models and the elementary theory of specification-based mutation analysis are in-troduced.

• 介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。