期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Generating Conformance Tests for Nondeterministic Protocol Machines
1
作者 罗钢 《Journal of Computer Science & Technology》 SCIE EI CSCD 1994年第4期289-301,共13页
We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both nondeterministic and deterministic finite state mach... We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both nondeterministic and deterministic finite state machines. When applied to deterministic machines, this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed mehod can be used to test the control portion of software specified in the formalspecification languages SDL or ESTELLE. 展开更多
关键词 Automata theory ESTELLE finite state machines nondeterministic finite state machines protocol conformance testing protocol engineering SDL and software testing
原文传递
Principle and Design of a Test Suite Generation System——TSGS
2
作者 庞其祥 《High Technology Letters》 EI CAS 1996年第1期55-58,共4页
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 sui... 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 strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced. 展开更多
关键词 protocol conformance testing EFSM Test suite generation
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部