论文部分内容阅读
自动生成测试序列始终是软件工程中一项极为困难的工作，国际标准化组织一直致力于协议一致性测试方法与形式描述技术的研究，本文讨论了基于形式化描述的协议测试序列生成方法中的问题，特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进，大大减少了测试开销。
一种基于形式化描述的测试序列生成改进方法
【摘 要】
：
自动生成测试序列始终是软件工程中一项极为困难的工作，国际标准化组织一直致力于协议一致性测试方法与形式描述技术的研究，本文讨论了基于形式化描述的协议测试序列生成方法中
【机 构】
：
东北大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1995年3期
【基金项目】
：
国家教委博士点基金
其他文献
根据1985年11月全国山西运城牙病防治工作会议精神,黑龙江省卫生厅决定推广“运城经验”,在全省开展牙病防治工作,在同年12月成立了全省牙病防治指导组,制定了“黑龙江省牙病
小儿腹泻是全世界性的问题,根据世界卫生组织估计,全世界每年大约有500万名小儿死于腹泻,腹泻已成为导致小儿死亡的首要原因。自世界卫生组织推荐葡萄糖——电解质口服补液盐
随着白内障超声乳化人工晶体植入术的普遍开展,减轻乃至消除白内障超声乳化术后的前房反应,提高预后视力已逐渐受到重视.2001年1月-2003年12月我们对超声乳化术后出现前房反
1 病例报告例1,女,9岁,2003年7月2日因牙痛服四分之三片新癀片(鼎炉牌新癀片),约10min后出现咳嗽、胸闷、气喘、喉头可闻及哨鸣音,急诊于本院门诊.查体:颜面水肿,双眼流泪,呼
1990年10月8日—12日,世界卫生组织在上海市召开了第三次区域间初级卫生保健会议。会议的主题是初级卫生保健质量保障。初级卫生保健质量保障的讨论,已有很长时间的历史。但
文章通过网络数据调查对这些活动进行了描述，并对这些学术活动及研究文献所反映的特征进行分析，最后认为大数据将是未来我国图情界的热点研究主题。
自古以来.人类就遭受着自然灾害、意外事故及其后果所带来的严重危害。据《世界卫生》杂志透露:每10年全球因自然灾害给人类带来的经济损失达数千亿美元,死亡人口近百万。我
由国家图书馆组织编制的《少年儿童图书馆（室）基本藏书目录》（以下简称“《目录》”）已颁布实施。笔者简要介绍了目录的基本情况和重庆图书馆（以下简称“我馆”）少儿图书采访的基本
目的观察普罗帕酮治疗室性期前收缩不同疗程的疗效、复发率、不良反应、心率及心电图参数的改变.方法对135例经心电图及临床确诊的室性期前收缩患者,分为长疗程组(用药3个月)