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

Mutation analysis based on OCL specification

作　　者：赵国平[1] 张云华[1] 葛峰[1] 

机构地区：[1]浙江理工大学,浙江杭州310018

出　　处：《计算机工程与设计》2008年第3期560-562,565,共4页Computer Engineering and Design

摘　　要：由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。解决了传统变异系统的性能缺陷,提高了变异分析的实用性。Because the complexly of traditional formal languages and the severe performance problems of current mutation analysis systems, 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 introduced. 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.

关 键 词：对象约束语言 统一建摸语言 变异算子 规格变异 软件测试 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]