formalizedmethods 相关硕士博士期刊学术论文 - 搜论网

formalizedmethods相关论文

形式化方法在CSTA系统测试中的应用研究

系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求......

期刊

软件测试软件质量软件开发形式化方法 CSTA 系统测试 formalizedmethods system test CSTA outsource

看过本文同时还关注