一种面向形式化表格需求模型的测试用例生成方法
汪文轩, 胡军, 胡建成, 康介祥, 王辉, 高忠杰
Test Case Generation Method Oriented to Tabular Form Formal Requirement Model
WANG Wen-xuan, HU Jun, HU Jian-cheng, KANG Jie-xiang, WANG Hui, GAO Zhong-jie
计算机科学 . 2021, (5): 16 -24 .  DOI: 10.11896/jsjkx.201000048