面向嵌入式软件的分析工具集成方法的研究与应用

被引量 : 0次 | 上传用户:poloyzhang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着嵌入式应用软件的复杂化与多样化,软件工程人员在对软件的分析与设计中对软件分析提出了更高的要求。软件分析往往涉及软件多方面的特征,而单个软件分析方法针对特定软件质量属性与领域设计和实现的,难以满足综合的软件分析需求。软件分析需求灵活多样,软件分析往往需要使用多个相对独立的分析方法,这就要求我们集成多个软件分析方法。本文基于Eclipse研究分析方法的集成技术。在分析方法集成的过程中,需要基于Eclipse研究分析方法的输入适配机制。软件制品的适配规则受分析方法实现平台的制品定义约束。集成工具需要根据平台对分析方法启动机制,提供可扩展、松耦合的集成方式。为了建立分析对象与分析结果之间的对应关系,需要建立分析方法输入制品与分析结果的追踪关系。本文针对分析方法集成中输入、执行和输出三方面的问题,提出一种分析方法的集成方法。该方法能够根据分析方法的输入对分析方法进行输入适配,根据平台启动分析方法并追踪分析结果。在此基础上,针对软件分析需求灵活多变的特点,本文实现了一套软件分析流程建模方法,对建模的结果,集成工具对其解析执行。集成工具实现为Eclipse插件,包含三个模块:集成分析方法、执行分析方法以及软件分析流程建模与执行。集成人员向工具提供分析方法自身的属性描述,把分析方法集成到工具中。对于已被集成的分析方法可调用执行模块执行,而针对复合的软件分析需求,软件分析人员可以对分析流程建模并执行。本文将该工具应用于嵌入应用软件源代码的分析上,目前该工具已集成了13个分析方法,并将其应用于数字家庭区端网络服务应用程序的分析与理解上。
其他文献
城市基础设施是国民经济持续发展的重要物质基础,对于促进国民经济及地区经济快速健康发展、改善投资环境、强化城市综合服务功能、加强区域交流与协作有着积极的作用,其发展
冷热电三联供作为能源梯级利用减少碳排放的一个可行途径,其概念的能耗与投资收益多受争议。而近年我国北方地区已经出现应用冷热电三联供系统的实际项目。本课题针对冷热电
为了解重金属在土壤中的迁移转化规律,为确定土壤环境容量和治理土壤重金属污染提供理论依据,采用室内试验方法研究了采自山东的棕壤、黑龙江的黑土、陕西的黄棕壤和山西的褐土
陈伯逵是20世纪20-30年代著名的图书馆学家,经历过上海图书馆事业的荣衰,西方图书馆学的中国化改良和丰富的图书馆学教育活动,40年代以后逐渐从图书馆界消失,以至当前图书馆
办公建筑作为一种生产资料,是处理知识与信息的场所。它作为建设量仅次于居住建筑的一种大量性建筑在城市生活中扮演着重要角色。但长久以来,建筑师往往只关注其功能性空间和
南黄海辐射沙脊群水下地形的获取和可视化对于江苏近海空间资源的开发利用具有重要意义。据此设计以下方案:首先利用可见光水深遥感反演技术,建立削弱悬沙影响的水下地形遥感
企业战略的基本属性是竞争,在争取客户的竞争中,确保本企业产品、服务的市场号召力,使企业处于相对有利的位置是战略设计的主要目标。面对日趋复杂和多变的环境,现代企业的战
昆虫抗菌肽是一类具有免疫效应的小分子多肽,它具有热稳定、抗菌谱广、无免疫原性、作用机制独特等特性,是昆虫能够抵御自然界中有害微生物侵染的重要因素。论文针对畜牧业生
目的构建乙型脑炎病毒野毒株SA14包膜蛋白K279M突变株感染性克隆并拯救病毒,探索K279M突变对其毒力的影响。方法应用重叠延伸PCR和分子克隆技术构建含有K279M突变的乙脑突变
污点证人作证豁免制度起源于英国,之后在许多国家和地区建立并发展起来,其中以美国的发展最为发达和完善。虽然我国在立法层面上还未对污点证人作证豁免制度予以确认,但是在司法