基于对象约束语言规格的变异分析

由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用.介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论.提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现.解决了传统变异系统的性能缺陷,提高了变异分析的实用性.

Mutation analysis based on OCL specification

Because the complexly of traditional formal languages and the severe performance problems of current mutation analysis sys-tems,specification-based mutation analysis has not obtained the widespread application.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.A novel method for performing mutation analysis on OCL specification is presented and the implementation of some mutation operators is described in detail.This approach has solved the traditional mutation system performance problems and enhanced the usability of mutation analysis.