【摘 要】
：
提出了一个面向分布式程序的测试系统框架 TFDS(test system framework for distributed softwaresystem) ,并介绍了它在异构网络中的一个实现原型 PSET* (distributed progr
【机 构】
：
南京大学计算机软件新技术国家重点实验室!南京210093;
【基金项目】
：
国家“九五”重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 3)资助
论文部分内容阅读
提出了一个面向分布式程序的测试系统框架 TFDS(test system framework for distributed softwaresystem) ,并介绍了它在异构网络中的一个实现原型 PSET* (distributed program structure and event trace,revised version) .框架的主要功能是对分布式程序进行单元测试和集成测试 .包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分析的动态部分 .在构件的基础上 ,PSET* 的功能可以较容易地得以改进和增强 .
其他文献
<正>进超市购买食品,人们最在乎包装袋上的保质期。但鲜为人知的是,包括许多名牌食品在内,保质期等信息都能用简单手段涂改。新华社记者近期在北京、湖南追踪发现,一些商家借
目的:观察加服银栀汤治疗感冒风热证的临床疗效。方法:将60例感冒风热证随机分为2组,治疗组30例口服新康泰克胶囊及银栀汤,对照组30例口服新康泰克胶囊及板蓝根颗粒;疗程为3
<正>8年前,三星发动的"数字融合革命"旨在抓住模拟技术到数字技术的转变契机。这样的变革所造就的更为时尚和前卫的IT产品让越来越多的人们惊艳。如今,又一家三星数码体验馆
以L-乳酸和壳聚糖为原料,辛酸亚锡为催化剂,通过原位聚合法制备了含聚乳酸链段的壳聚糖接枝共聚物,讨论了原料投料比、催化剂浓度对接枝率的影响。通过红外光谱对共聚物化学
<正>目前,国内外各大互联网巨头及传统医疗机构纷纷布局移动医疗市场。未来,随着民众健康意识的增强和移动医疗产品的完善,移动医疗市场的发展前景非常值得期待。在"互联网+"
随着宽带技术的不断发展 ,组建主干网的路由器必然需要以千兆比特以上的速率转发分组 ,而基于总线和中央处理器的路由器具有无法克服的局限 ,这就对传统的路由器体系结构提出
本文以幼儿攻击行为及有效的教育政策为研究内容,采取跟踪调查研究的方式,以某个幼儿园大班的六岁孩子红红为研究对象,记录她的攻击行为,并且做出分析,最终给出相应的有效的
<正> 是否存在法人犯罪?法学界的同志正在探讨这个问题。本文拟从法人犯罪中存在着刑、民两种性质的交叉关系谈谈有关法人犯罪问题。 (一) 法人,就其根本属性来讲,虽是法律关
近年来,语文高考中几乎不考戏剧,造成大部分高中学校都不重视戏剧教学,或者有些语文教师干脆忽略戏剧,直接跳过,结果是学生也不重视。关于戏剧的教学方法更是很少有人提及。
采用HotDisk热分析仪测试了Cu/石蜡体系在不同纳米颗粒质量分数、温度和热循环次数下的导热系数。研究表明,Cu/石蜡体系的固、液态导热系数随纳米Cu颗粒含量的增加呈非线性增