一种基于软件生成过程的软件静态演化框架

来源 :2008中国计算机大会 | 被引量 : 0次 | 上传用户:the1295
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
演化性是软件两大特性(构造性和演化性)之一,软件演化分为静态演化和动态演化,静态演化是动态演化的基础。本文以变化为出发点,基于软件生命周期,给出了软件变化实施的跟踪模型,阐明了需求变化信息的传播和实施过程。进而,依据该过程与软件生产过程的相似性,提出了一个基于软件生成过程的静态演化框架,该框架将软件变化过程中所涉及到的场景、对象、体系结构等实体进行了全面的关联和融合,为静态演化乃至动态演化的深层研究提供了依据。基于以上跟踪模型和静态演化框架,进一步分析了软件静态演化研究的4个关键问题,并详细阐述了解决它们的具体思路。软件静态演化框架的给出为软件动态演化的研究提供了一定的思路。
其他文献
人脸姿态估计是计算机视觉及人脸识别领域的一项关键研究内容。针对单幅人脸图像的三维姿态计算,本文提出了一种基于三维模型和线性回归原理的姿态估计方法。首先,利用重建的人脸三维模型,根据姿态图像上提取的特征点坐标信息推知相同姿态下模型上对应特征点的信息,然后对照模型正面姿态,运用线性回归估计人脸姿态。对中性人脸模型投影合成图像和真实人脸图像的姿态估计实验结果表明,该方法在较大的姿态变化范围内,具有良好的
在分析现有最短路径算法的基础上,建立第κ短相异路径问题的数学模型,受通道最短路径方法的启发,提出基于遗传算法的双通道最短路径算法。在该遗传算法中,采用不同点交叉算子和重选路径变异算子,提高算法的全局搜索能力,加快收敛速度。利用C语言进行算法仿真实验,仿真结果表明,该算法得到的路径相异度比较大,路径长度的变化幅度比较小,而且可以同时产生多条候选路径。最后将该算法应用于实际的电子地图中,验证算法的有效
SoC广泛应用于图像与信号处理领域。图像与信号处理程序具有的大量循环内数据和频繁数据传输与存储,严重影响着SoC系统性能和功耗。在将应用程序数据向SoC存储层次映射时,根据应用程序各部分的存储需求量,快速探索数据传输与存储空问,是提高SoC设计效率和改善性能与功耗的必要途径。本文提出一种面向SoC数据映射的快速存储需求分析方法。该方法针对图像与信号处理程序,提出并使用正交线性有界格进行数据元素分组
烟叶图像的边缘提取是利用计算机进行烟叶检测与分级的关键步骤。为能够在提取边缘的同时保留图像的边缘细节信息,首先对CCD荻取的烟叶原始图像进行了模糊化处理,并利用模糊形态学的算法,构造了全方位的结构元素及模糊逻辑算子进行边缘提取。通过比较不同算法及不同噪声条件下烟叶图像边缘检测的结果,验证了基于模糊数学形态学膨胀的边缘检测算法的有效性。
随着用户和应用需求的不断增长,存储系统在规模、体系结构等方面都出现了新的变化,系统正朝着大规模、复杂化的方向飞速发展,随之而来的是为了满足各种存储需求而引起的管理难度。服务质量(QoS)是评估计算机和网络系统的综合指标体系,存储系统服务质量(QOSS)包括性能、容量、可靠性,可用性、安全性、可扩展性等与存储应用相关的指标。有效的存储系统服务质量的实施机制是解决存储规模与系统管理之间矛盾的途径。在视
中国加入WTO后,贸易摩擦不断增多,建立产业损害预警机制成为各级政府主管部门的重要工作之一。产业损害预警系统是综合利用数据仓库和数据挖掘技术,发现可能遭受倾销或反倾销申述的商品,为产业安全提供决策支持。系统建设中为保护财政投入,要求既要共享中央部委的数据,又要共享其分析能力。本文基于Web服务和XML相关技术扩展,面向商务智能分析应用,提出了数据服务(Data Services)的概念,并基于数据
本文基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法。该方法利用重要抽样技术在保证可靠性估计无偏性条件下,采用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间转移概率来修正测试剖面。从理论上证明了利用修正测试剖面测试估计的可靠性是方差为零的无偏估计。最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法,仿真结果表明该方法较模拟退火算法能明
在数字图书馆和其他机构中存储着海量的数字资源。信息技术的迅速发展使得读取数字资源的软硬件设备很快就面临过时和淘汰的危险,然而很多数字信息具有巨大的商业或学术价值,因此,数字资源的长期存取问题迫在眉睫。目前,有很多工具和系统能够解决整个长期保存过程中的部分问题,但是这些工具和系统大多是独立的。本文描述了一个灵活而综合的,有效利用现有的工具和服务的数字资源长期保存系统——AOMS。AOMS认为,在长期
随着全球计算机系统大量而广泛的使用,对环境日益产生了一些负面影响。绿色计算(Green Computing)作为一种新的计算模式和技术,通过消除计算机系统的环境不友好方面,实现节能、环保和节约的目标。通过与绿色化学的比较研究,我们采取了一种更加统一和抽象的方式定义绿色计算的概念,并探讨了其主要研究内容,从而明确了绿色计算的界限和范围,理顺了相关领域的研究任务和关系。然后,提出了绿色计算的一些基本思
生产线集成框架能够集成软件工具、软件构件、软件服务,以及相应的协同机制,从而形成软件生产线。本文在分析插件体系结构的基础上,提出了一种软件生产线集成框架的平台无关模型,并基于该模型构造了一条监控生产线。