模型检验在构件数据流测试中的应用

模型检验在构件数据流测试中的应用

曾红卫+, 缪淮扣

Applying Model Checking to Data Flow Testing of Components

ZENG Hongwei ^+; MIAO Huaikou

计算机科学与探索 . 2010, (12): 1121 -1130 . DOI: 10.3778/j.issn.1673-9418.2010.12.007