基于规格说明的软件测试论文

论文题目:基于UMLstatecharts测试方法的研究论文类型:博士论文论文专业:控制理论与控制工程作者:占学德导师:缪淮扣关键词:形式化语义,模型,基于规格说明的软件测试,...