一种多进程系统用例模型的逆向生成方法

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:gaolch008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
用例模型是展现程序系统级行为的有效手段.文章针对具有并发特征的面向对象软件系统提出了一种多进程系统用例模型的逆向生成方法.该方法以进程为单位对目标系统的动态信息进行组织,使用单进程系统用例模型的逆向生成方法抽取出每个进程相应的用例模型,然后对具有相同进程名的不同进程的用例模型进行叠加,从而实现了多进程系统的用例模型的逆向生成.通过实验研究,表明该方法在恢复多进程系统的用例模型方面是有效的.
其他文献
提出了基于文件模型的存取导航服务,应用可以像操作文件系统一样访问各种异构数据资源,而不必关心资源的具体模型和存储细节.
一、提高东北水稻综合生产能力势在必行目前,北方粳稻种植面积大约1亿亩,东北稻区有4500多万亩,占45%.在全国水稻生产中,东北稻区的面积虽小,但由于产量潜力大,米质优,商品率
2002年,由大连市“十佳”经纪人孙经中牵头,有栽植大户和技术骨干参与,带领全村果农发展水果生产经营的大连东马屯苹果专业协会应运而生。协会吸纳了许屯镇东马屯、北瓦房店和万
伶仃洋的潮流动力特性,受径流与潮汐的双重作用。通过水动力的数值模拟,探讨不同湾口型态与伶仃洋水动力变化关系,为伶仃洋河口治理提供科学依据。通过伶仃洋不同湾口型态模拟,进
辽宁省司法厅1998年开始负责彰武县冯家镇的定点帮扶工作。坚持“造血”开发与“输血”救助并重,物质支援与精神引导齐抓。在改变贫困落后面貌方面取得了喜人的效果。冯家镇的
该文主要介绍了关于宽带限幅放大器在0.18μm CMOS工艺下的设计与实现,该宽带限幅放大器在第二次流片中采用了反比例级联结构、有源电感负载以及添加输出缓冲级技术来保证展
1.选用新品种根据市场需求积极选用优质高产、抗病、适应性强的新品种,可以取得良好的收益。提醒农民朋友一定要到正规的种子经营部门购买经 过审定的种子。另外,在跨地区引种
文章从图形匹配的现状、碎片数字化、碎片轮廓的处理、碎片匹配简便算法等几个方面进行了二维碎片数字化及匹配技术的研究,这对于对于进一步研究基于多特征的匹配有一定的借鉴意义。
阜新蒙古族自治县位于辽宁省西北部,是个农业大县,也是辽宁省重点贫困县。现有35个乡镇,382个行政村,总人口74万人,其中农业人口64万人。农村劳动力35万人,其中农村富余劳动力15万
近几年,越来越多的高等学校相继开设双语课程,本文以东北农业大学资源与环境学院微生物学双语教学的实践为基础,分别从教师层面和学生层面探讨提高微生物学双语教学效果的对