IBM又一款设计工具,可以模拟测试设计模型。模型与代码同步