@article{张娟_44, author = {[张娟, 童维勤, 蔡立志]}, title = {基于Z规格说明的可复用测试用例形式化描述}, publisher = {计算机工程}, year = {2012}, journal = {计算机工程}, volume = {38}, number = {16}, eid = {44}, pages = {44-48}, keywords = {测试用例库;测试用例套;测试项;形式化描述;Z规格说明;软件测试}, doi = http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2012.16.011 }