【摘 要】
：
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述：首先探讨了一种基于输入/输出动作模型的协议形式
论文部分内容阅读
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述：首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。
其他文献
<正>在小学语文阅读教学时,教师应从语文学科的特点出发,把教育学生正确理解祖国语言文字和进行情感教育统一起来,激发学生情感的浪花,培养他们理解美,欣赏美,创造美的能力。
高一上学期期中考试后，按照常规该进行试卷分析。看着学生的答卷，一个问题始终困饶着我：同类型的问题上次考过，学生错得比较多，已经评讲过了，这次怎么还出现了同样的错误？以往也有类
本案位于从广西桂林到阳朔的半途,是一座深藏于漓江沿岸好山好水之间的民宿型精品生态酒店。基地是当地一个自然村中的几户人家的多栋老农宅,项目便是从老农宅的改造开始,逐
目的了解临床分离的人型结核分枝杆菌对常见的利福平（R）、异烟肼（H）、链霉素（s）、乙胺丁醇（E）、吡嗪酰胺（z）5种抗结核菌药物的耐药率和耐药趋势，为临床提供合理用药方案。方法采用绝对浓
纬编间隔织物是采用纬编针织技术,用纱线或织物在垂直方向连接生产的两块独立织物,它具有特殊的结构和独特的吸声功能。介绍纺织材料的吸声机理,研究纬编间隔织物的编织生产
<正> 广东省潮州市是个以工艺美术、陶瓷、刺绣等手工业闻名的古城。但是,由于十年浩劫,传统手工业遭摧残,劳动就业成了老大难。1976年底,全市待业人员达26,000多人,占城镇人
灵武长枣主枝更新整形修剪技术得到大面积推广应用,面对更新修剪中存在的问题,提出了应对措施,更好实现增产、提质目标。
【正】 遥感技术是本世纪六十年代发展起来的一门新兴科学技术。它集中了航天、航空、电子、计算机、现代光学以及生物地学等学科的最新成就,成为一种先进而有效的资源调查、
目的：建立三黄胶囊的质量标准。方法：采用ＴＬＣ法对处方中的大黄、盐酸小檗碱、黄芩甙等进行鉴别；用可见分光光度法测定大黄中总蒽醌的含量；用薄层扫描法测定盐酸小檗碱的含量；用ＨＰＬＣ法测定