-
题名基于对象约束语言规格的变异分析
- 1
-
-
作者
赵国平
张云华
葛峰
-
机构
浙江理工大学
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第3期560-562,565,共4页
-
文摘
由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。解决了传统变异系统的性能缺陷,提高了变异分析的实用性。
-
关键词
对象约束语言
统一建摸语言
变异算子
规格变异
软件测试
-
Keywords
OCL
UML
mutation operators
specification mutation
software testing
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名UML设计思想在固件系统开发中的应用
被引量：1
- 2
-
-
作者
董磊鋆
侯宗浩
张慧娟
-
机构
华东师范大学软件学院
-
出处
《计算机应用》
CSCD
北大核心
2005年第12期2954-2956,共3页
-
文摘
选用I-Logix公司的Rhapsody实时UML平台为工具,使用UML建模的设计理念为方法,设计、实现了霓虹灯控制器固件(FIRMWARE)系统,并完成了对该系统的测试。在固件系统开发领域中创立了一种区别于传统面向过程方法的,基于UML的面向对象开发模式。
-
关键词
统一建摸语言
模型驱动开发
USB协议
固件
-
Keywords
UML
Modle-Driven-Development （MDD）
USB
firmware
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
