论文部分内容阅读
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。
基于EPMM的软件过程结构合理性研究
【摘 要】
：
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模
【机 构】
：
云南大学软件学院,云南大学云南省软件工程重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2013年8期
【基金项目】
：
国家自然科学基金（60963007,61262024,61262025）, 云南省自然科学基金（2012FD005,2012FB118,2012FB119）, 云南省软件工程重点实验室开放基金（2010KS01,2011SE04,2012SE307,2012SE101）资助
其他文献
高粱-大豆复合种植模式在我国西南地区已经形成并逐渐大面积推广。该种植模式采用筛选品种、配套生育期和优化田间布置等技术,在提高产量的基础上,还减少了化肥施用量、充分
异构计算是高性能计算技术的发展趋势，计算任务与体系结构匹配成为异构计算亟待解决的问题。重构技术为实现两者匹配带来了契机，要么任务重构适应体系结构，要么体系结构重构适应
RDF模糊查询是实现语义Web智能检索的重要组成部分,利用Zadeh的Ⅱ型模糊集合理论、α-截集及语言变量概念,提出了支持用户偏好的RDF模糊查询方法,其扩展了SPARQL语言来实现模
针对射频识别（RFID）数据与上层应用需求之间存在的信息鸿沟及其需要实时处理的特征,提出了一种完备数据流的不确定数据择优算法。分析了常规粒子滤波方法存在的不足之处,采用基
随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。
基于自适应滑动窗口清洗算法SMURF(Statistical sMoothing for Unreliable RFid data)需要手动输入阈值δ,对于静态标签,δ的取值对平滑结果几乎没有影响;对于动态标签,结果会造成巨大的误差。针对以上的缺点,提出一种基于动态标签的RFID不确定性数据清洗算法DSUMRF(Dynamic tags-based SMURF)。另外,SMURF算法主要考虑RFI
针对目前不确定XML小枝模式查询需要存储大量中间结果和归并中间结果的情况，提出一种非归并不确定XML小枝模式查询算法ProTwigList。该算法查询之前通过Tagq-Level流进行剪枝，
对现有NHPP类软件可靠性模型进行分析总结,指明了已有NHPP类软件可靠性模型存在的不足及缺陷。综合考虑缺陷探测率、软件运行覆盖率、排除错误时的错误引入率等软件故障数的
大豆种子虽富含优质植物性蛋白和脂肪等多种营养成分,但其对人体健康的有益性,尚不被广大消费者所熟知与认可。为此,自这期起将连续4期分别介绍:大豆种子维生素与人类健康、