PNFSM测试用例生成的研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户：suli115296303

【摘要】

：

The paper proposes one test case gener algoritbm for partially-specified nondeterministic finite statc machine and its validity analysis.After comparing with ot

【作者】

：

李留英王戟齐治昌张猛

【机构】

：

国防科学技术大学计算机学院,长沙,410073天津三星电管公司,天津,301726;

【出处】

：

计算机科学

【发表日期】

：

2004年期

【关键词】

：

FNFSM OPNFSM NFSM、Quai-equlvalcnce Statechats

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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.

其他文献

图灵奖得主要成就综述

This paper intoduccs the Turmgs life and the ortgin of the Turing Award, and sllrtlnlarlzeas the chief achievements of the Turlng Award Wingpers since 1966.

期刊

TuringTuring Award

XML数据流上基于关键字的多查询处理

期刊

国内医院外科系统医院感染现状的循证分析

目的全面收集近年国内医院外科系统医院感染文献进行数据提取与分析,以了解国内综合医院外科系统医院感染的一般性特征,为进一步建立外科系统医院感染预警数据模型提供参考。

期刊