分布式通用测试结构的形式化研究

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:yuhuipin1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着分布式系统的不断发展更新,CTMF(ISO/IEC9464)所给出的测试方法不能满足的需要。提出了用于分布式系统的一致性没试互操作测试和性能测试的通用测试结构 ,并建立了用测试结构和形式化模人出了各部件的操作语义,为设计开发具有灵活动态的通信结构的分布测试系统提供了理论基础和依据,分布式系统通用测试结构扩展,当前基于被测系统类型的测试方法,它可以对实际的分布式系统进行整体测试。
其他文献
近几年来,随着工业化进程的加快及城镇化建设的加速,发展职业教育,培养技能型人才,已成为一项重要的战略任务.职业教育的改革与发展进入一个重要机遇期.职业教育快速发展的标
当八戒从昏睡中醒来,噗的一声喘了口气,"可闷死我了!"旁边毗蓝菩萨正满眼慈祥地看着他.  "不知这毒有没有侵入你的大脑,天蓬,你记得你是怎么睡去的么?"毗蓝有些担心地说.…
期刊
即使是一块细小的漆片,如果残留在运行轨道上,也会给一搜时速17500英里的时空穿梭机的窗户上留下划痕.为了避免这类灾难性的碰撞,(美国)国防部追踪运行在轨道周围的超过2英寸
期刊
近年来,面向对象专家系统的研究引起了人们的广泛模型,本文提出了一种新的面向对象产生式系统体系的结构,给出了这种体系结构的知识表示模型和模糊区配原则,并且引入了规则对象的
名词从句(Noun Clauses)学习注意点:  名词从句(Noun Clauses),顾名思义,在句子中起名词的作用.它在复合句中能担任主语、宾语、表语、同位语.因此根据它在句中不同的语法
期刊
人们不能用一天时间建成一座罗马城,同理,更不可能一下子就领略意大利的风情.意大利的歌剧,意大利的教堂,甚至意大利的大街小巷,都让人流连忘返.在中世纪引领了文艺复兴潮流
期刊
目的建立一种测定赭朴九味润燥颗粒中大黄素含量的高效液相色谱法。方法采用双相水解连续萃取法提取该颗粒剂中大黄素,含量测定高效液相(HPLC)色谱条件为:色谱柱Hypersil-OBS C18
严重急性呼吸综合征 (SARS),其病程进展快,病情变化凶险,为有效切断传播途径,我院于 2003年 4月份成立发热门诊,对门诊患者实施心理护理,收到满意效果,现报告如下.
Prompted by the oil crises of the 1970s,a windpower industry flourished briefly in the United States. But then world oil prices dropped,and funding for research
期刊