针对具有连续性接入需求的业务,论文融合时分多址接入技术和竞争窗口差分服务机制,提出了具有连续性保障的无线接入协议:CP-MAC (MAC with Continuity Provisioning)协议.通过对业务等级划分,保障了连续用户的接入概率.并基于Markov模型,给出了非饱和认知无线电网络的系统容量,接入时延和被阻塞概率的数学解析式.最后,通过与现存的MAC接入协议比较,CP-MAC协议在不降低系统容量的同时,提高了连续用户的接入概率,并降低了其接入时延.
面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.