OCL约束相关论文
随着软件技术的快速发展和软件产品的广泛应用，软件测试作为保障软件质量的重要手段越来越受到研究人员的关注。近年来面向对象软件......
基于模型的软件测试一般需做如下工作：首先,对待测软件系统(System Under Test,简称SUT)进行形式化的建模即设计出机器可识别可读的......
学位
系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码，为此需要对模型及约束进行验证与确认。本文......
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语......
为了应用精确、完备的PIM自动进行模型转换、校验及编译，分析了OCL元模型与UML元模型问的关系，在此基础上对OCL在精确化平台无关模型......
