缩写	全称	中文释义
OVM	Open Verification Methodology	开放式验证方法
ROP	Return oriented programming	面向返回的程序设计
PAC	Process Algebra Compiler	过程代数编译器
OOP	Object Oriented Programming	面向对象编程
PCL	Page Control Language	页面控制语言
PEX	Phigs Extensions To X	PHIGS扩展到X
ICE	Interactive Configurable Environment	交互式可配置环境
TVLR	Test Vector Logic Replication	测试向量逻辑复制
BSA	Business Software Alliance	商业软件联盟
PLASMA	Page Link And Service Management Automation	页面链接和服务管理自动化