论文部分内容阅读
文章介绍了一个具备测试系统的可重构性和测试套优化性的DHCP一致性测试系统。DHCP一致性测试系统的设计采用分层设计、底层封装以及公用API的方式来实现系统软件的可伸展性,通过有限状态机模型(FSM)描述DHCP的状态变换,并使用了二叉树形式表述测试套设计的继承性以达到简单优化测试套。
基于测试套优化的DHCP协议一致性可扩展测试系统设计
【摘 要】
：
文章介绍了一个具备测试系统的可重构性和测试套优化性的DHCP一致性测试系统。DHCP一致性测试系统的设计采用分层设计、底层封装以及公用API的方式来实现系统软件的可伸展性,通过有限状态机模型(FSM)描述DHCP的状态变换,并使用了二叉树形式表述测试套设计的继承性以达到简单优化测试套。
【机 构】
：
国防科学技术大学
【出 处】
：
信息网络安全
【发表日期】
：
2012年08期
【基金项目】
：
长江学者和创新团队发展计划[IRT1012]、湖南省自然科学基金资助项目【1870031、国家重大基础研究专项【2012CB315900】
其他文献
<正> 最大的石油输出国1980年石油输出国组织的石油出口总额为2,721亿美元,其中沙特阿拉伯达1,042亿美元,占38.3%,是世界最大的石油输出国.1981年沙特拉阿伯出口石油45,090万吨,占世界石油总出口量的四分之一以上,居世界之冠.
采用超薄切片和透射电子显微镜技术对鸭病毒性肠炎病毒CH强毒株（DEV-CHv）在鸭胚成纤维细胞（DEF）中的形态发生学进行了研究。结果表明，DEV-CHv吸附到DEF细胞上以后通过囊膜和细胞膜
应用组织学和电镜技术研究猪呼吸道发育过程中淋巴组织的变化。结果表明：扁桃体和咽部是呼吸道进入机体的第一个淋巴组织集中的部位，弥散淋巴组织在出生时就存在，淋巴小结不明显
“六环节”课堂教学模式，对教师提出了更高、更新的要求。笔者认为，语文课要真正实现语文课程标准中要求的培养学生良好的语感和整体感知能力以及品味语言和知识迁移的能力，真正
以新促孕液为基础方，分别添加清热、活血、补气中药组成3个加味方，通过子宫灌注治疗家兔实验性子宫内膜炎，观察用药前后临床症状、子宫形态、子宫内膜显微和超微结构等临床病理
构建了FMDV VP1基因的种子特异性表达载体p7SBin438/VP1,在根癌农杆菌GV3101的介导下,通过浸花法转化拟南芥花序,转基因拟南芥通过卡那霉素抗性筛选后,进行了目的基因PCR扩增
伴随着城乡统筹的铿锵步伐，成都市成华区教育在变革中涅槃，在创新中重生，在发展中跨越。“走班制”“素质教育课程超市”“班主任准入制改革”；“一带四区”优质教育发展规划、“
本试验以主要在中性粒细胞中表达的磷酸二酯酶4B基因为靶基因,研究双黄连注射液的抗炎机制。采用半定量RT-PCR法检测双黄连注射液在不同时间对磷酸二酯酶4B基因表达的影响。
采用聚丙烯酰胺凝胶电泳技术测定了秦川牛（148头）血红蛋白（Hb）、运铁蛋白（Tf）、后运铁蛋白（PTf）、血清白蛋白（Alb）和后白蛋白（Pa）的遗传多样性。分析了各多态座位不同基因型与秦川牛若干
从1～7日龄番鸭长骨骨髓分离破骨细胞（Osteoclasts，OC）进行培养，培养过程中添加不同摩尔浓度比例的钙磷双因子（CCa：Cp为2：1、1：1、1：2）。倒置显微镜观察细胞形态，于培养第1、3天进行抗酒石