集合表达式相关硕士博士期刊学术论文 - 搜论网

集合表达式相关论文

从集合表达式产生测试数据的方法

软件测试保证和提高了软件质量，因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明申的前置......

期刊

形式方法 OBJECT-Z 软件测试测试数据集合表达式代码变异错误测试 formal method object-Z software test test

看过本文同时还关注