OCL约束相关论文
随着软件技术的快速发展和软件产品的广泛应用，软件测试作为保障软件质量的重要手段越来越受到研究人员的关注。近年来面向对象软件......
基于模型的软件测试一般需做如下工作：首先,对待测软件系统(System Under Test,简称SUT)进行形式化的建模即设计出机器可识别可读的......
学位
