Method and system for forming skeletons for generating verification systems
摘要
<p>A verification system for a procedure interface is generated by using formal specifications of the procedure interface and generating test suites. The test suites are generated from the formal specifications and templates or skeletons which are used to generate an element of a verification system. The skeletons are generated based on decomposition of test suits. <IMAGE></p>
申请公布号
EP1085417(A2)
申请公布日期
2001.03.21
申请号
EP20000308085
申请日期
2000.09.18
申请人
NORTEL NETWORKS LIMITED
发明人
GALTER, DMITRI;PETRENKO, ALEXANDRE K.;BARANCEV, ALEXEI V.;BURDONOV, IGOR B.;DEMAKOV, ALEXEI V.;KOSSATCHEV, ALEXANDRE S.;SUMAR UL, HARRY M.