【摘 要】
：
该文对一种协议一致性测试生成方法——叠加回路方法进行了分析，证明了由该方法产生的测试序列并没有对给定的有限状态机（ＦＳＭＭ）中所有的转换进行测试，因而作了修改和补充，修改后的方法
论文部分内容阅读
该文对一种协议一致性测试生成方法——叠加回路方法进行了分析，证明了由该方法产生的测试序列并没有对给定的有限状态机（ＦＳＭＭ）中所有的转换进行测试，因而作了修改和补充，修改后的方法大大降低了叠加转换序列的计算复杂性。
This paper analyzes a method of generating a protocol consistency test, the superposition loop, and proves that the test sequence generated by this method does not test all the transitions in a given finite state machine (FSMM) Modifications and additions, the modified approach greatly reduces the computational complexity of overlay conversion sequences.
其他文献
６月份以来，３１２国道六安城区段实施全面改造，封闭式施工使六安境内外３万余台机动车被限制在城区以内活动，加之有关单位实施建涵、铺设、维修等配套施工，削弱了道路的通行能力，使六安城区
脂肪肝是什么样子的？ 是不是想着肝脏的外面有油脂包裹着？但其实不是这样的，脂肪肝是由于各种原因引起的肝细胞内脂肪堆积过多，就是说，脂肪并不是包裹在肝脏外边的。这里我们所说的脂肪主要是指中性脂肪“甘油三脂”。 正常人肝内脂肪含量占肝湿重的2%-4%，当肝内脂肪含量超过肝湿重的5%，或者1/3以上的肝细胞有脂肪变时就称为脂肪肝；脂肪含量超过10%—25%为中度脂肪肝；超过20%—50%就是重度脂肪
江山代有才人出,各领风骚数百年。流行语也是这样。2006年的流行语,如“那是相当的……”“素质啊,注意素质”“偶滴神啊”“我顶你个肺”等等还让人记忆犹新,“你太有才了”
本文分析了当前网络管理的一种新标准ＷＢＥＭ，然后对它的结构和特点进行了总结，并与传统网络管理方式做了比较。本文对网络管理研究者具有一定的指导意义。
This paper analyzes a ne
强化服务意识 促进企业发展党先安社会主义市场经济消除了过去计划经济遗留的弊端，使物资部门改变了老的传统观念，变坐贾为行商，变独家经营为全社会竞争。以前有些人认为的“门
中国共产党十一届六中全会通过的《关于建国以来党的若干历史问题的决议》,标志着我们党经过三中全会之后两年多的紧张工作和巨大努力,已经在指导思想上胜利地完成了拨乱反
青岛“毒西瓜”事件让当下食用农产品监管难题再次暴露。作为食用农产品进入消费市场的第一站,农产品批发市场成为众矢之的。前不久《山东省食用农产品批发市场质量安全监督
《全日制义务教育思想品德课程标准(实验稿)》指出:“要重视学生、教师和家长在评价过程中的作用,使评价成为学生、教师、家长等共同参与的交互活动,使评价过程成为促进学生
竹编是闽南传统的手工艺,源自我国新石器时代,兴盛于唐宋时期,古老而悠久。人们用竹编制成各种农具、日常用品等,能工巧匠,民间艺人用竹篾编制成有形有态的艺术品,成品清秀、
武警云南省消防总队多年来努力为老干部创造安逸舒适的生活环境,得到离退休老干部的交口称赞.为切实解决好离退休老干部政治生活待遇问题,总队党委多次认真研究,并责成各地