效用谓词相关硕士博士期刊学术论文 - 搜论网

效用谓词相关论文

形式化B描述测试序列自动生成研究

基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提......

期刊

形式化描述测试序列生成状态转换图 B方法效用谓词 formal specification test sequences generation sta

看过本文同时还关注