执行图论文

基于UML模型和OCL约束的类间交互测试用例生成方法研究
论文摘要基于模型的软件测试一般需做如下工作：首先,对待测软件系统(SystemUnderTest,简称SUT)进行形式化的建模即设计出机器可识别可读的模型；其次,与其他形式化方...