Principle and Design of a Test Suite Generation System——TSGS

来源 :High Technology Letters | 被引量 : 0次 | 上传用户：wmrik

【摘要】

：

Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exac

【作者】

：

庞其祥

【机构】

：

NationalLaboratoryofSwitchingTechnologyandTelecommunicationNetworksBeijingUniversityofPostsandTeleco

【出处】

：

High Technology Letters

【发表日期】

：

1996年1期

【关键词】

：

PROTOCOL CONFORMANCE testing EFSM Test SUITE GENERATION Data communication syste

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strate

其他文献

Study on Wevelength Allocation Algorithm and Its Optimization of WDM All Optical Networks

１．ＩｎｔｒｏｄｕｃｔｉｏｎＷａｖｅｌｅｎｇｔｈｒｏｕｔｅｄｏｐｔｉｃａｌｎｅｔｗｏｒｋｓ（ＷＲＯＮｓ）ｗｉｔｈｏｕｔｉｎｔｅｒｍｅｄｉａｔｅｗａｖｅｌｅｎｇｔｈｔｒａｎｓｌａｔｉｏｎｏｆｅｒａｎｅｎｏｒｍｏｕｓｐｏｔｅｎｔｉａｌｉｎｓｉｍｐｌｉｆ...

期刊

WDMALLOPTICALNETWORKALGORITHMWDM All optical network Algorithm

QuantumPLC双机热备在火车采样中的设计及应用

该文是火车采样的电气控制工程实例。在文章中，作者首先对火车采样控制系统及LquantumPLC双机热备作概述性介绍，然后列出PLc的选型及硬件组成，包括热备套件、连接附件、VO模块等

期刊

火车采样QUANTUMPLC双机热备程序设计

A Composite of Nanocrystalline Hydroxyapatite and Polyamide

期刊

NANOCRYSTALLINEHydroxyapaptitePOLYAMIDECOMPOSITENanocrystalline Hydroxyapap

On Some Key Technologies of ATM Switching

In this paper,the functions and the architecture of an ATM exchange are summarized.The switching fabrics,the line interface module and the control module are di

期刊