论文部分内容阅读
提出一种数据流与控制流相结合的测试方法，在Ｐｅｔｒｉ网模型上对于控制流选定操作符覆盖标准，对于数据流采用ａｌ－ｄｅｆｓ标准，最后给出一个既考虑数据流标准又考虑控制流标准的求测试序列的算法
A test method combining data flow with control flow is proposed. The coverage criteria of the selected operator for the control flow are given in the Petri net model. The al-defs standard is adopted for the data flow. Finally, a test method that considers both the data flow standard and the control Flow standard algorithm for seeking test sequence