%0 Journal Article
%T RcscArch on Test Casc Ceneratlortion for PNFSM<br>PNFSM测试用例生成的研究
%A 李留英
%A 王戟
%A 齐治昌
%A 张猛
%J 计算机科学
%D 2000
%I 
%X The paper proposes one test case gener algoritbm for partially-specified nondeterministic finite statc machine and its validity analysis.After comparing with other generation methods, some problems of testing obict state dlagram are glven.
%K FNFSM
%K OPNFSM
%K Statechats<br>PNFSM
%K 测试数据
%K 非确定性有限状态机
%K 五元偶
%K 迁移函数
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C2AF502A737A13EF&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=9CF7A0430CBB2DFD&sid=C5154311167311FE&eid=D3E34374A0D77D7F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=6