张伟 作品数:16 被引量:111 H指数:7 供职机构: 北京大学信息科学技术学院高可信软件技术教育部重点实验室 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 中国博士后科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
知识引导的软件可信性需求的提取 被引量:9 2011年 软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性. 王越 刘春 张伟 张伟基于二分决策图的特征模型验证方法 被引量:2 2010年 特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具有的性质,如何高效地进行特征模型的验证就成为一件相对困难的事情.在深入挖掘特征模型验证问题特殊性的基础上,将这种特殊性和二分决策图的结构特点进行了有效的结合,提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法.需要指出的是,该方法并非试图在一般意义上解决特征模型验证问题中NP-hard的困难性,而是尽可能地利用该问题的特殊性,以提高处理特征模型定制问题的规模和效率.实验数据表明,相比较以前采用的验证方法,基于BDD(binary decision diagram)的方法在处理特征模型验证问题的规模和效率上都具有显著的提高. 闫华 张伟 张伟 赵海燕关键词:DECISION 软件复用 基于反馈控制的软件适应性需求的识别与分析 被引量:10 2015年 适应性需求的识别与分析是开发自适应软件系统的基础,它将明确软件系统在运行过程中所可能面临的环境变化以及应对这些变化系统应采取的措施.但是,当前的适应性需求识别与分析方法一方面缺乏对环境的分析导致无法系统性地识别环境变化,另一方面也缺乏有效的框架来同时考虑如何应对已知的环境变化和未知的环境变化.针对这些问题,提出了基于反馈控制的适应性需求识别与分析方法.该方法将自适应软件与其作用的环境看作为一个自适应控制系统,将适应性需求的识别与分析转化为对该控制系统所应具有的反馈回路的识别与分析.通过将环境看作软件的控制对象,它不仅突出了软件的环境,同时还可以通过确定环境感知反馈回路和需求感知反馈回路来分别应对已知的环境变化和未知的环境变化.最后,用一个实例说明所提出方法的可行性. 刘春 张伟 张伟 赵海燕关键词:自适应软件 基于运行时模型的无线传感网管理方法 被引量:2 2014年 无线传感网是物联网的核心,主要解决物联网中的信息感知问题,通过散布在特定区域的成千上万的传感器节点,采集环境中各种信息并连接到互联网上.然而,传感设备所采集到的数据是实时的、数量庞大且无良好结构的,要将采集到的数据映射到应用系统的问题域空间,就不得不编写大量的映射代码.为了快速定制和开发物联网系统,提出一种基于运行时模型的无线传感网管理方法:首先,在传感设备管理接口基础上构造运行时模型,并维护运行时模型与采集到信息的数据同步;其次,基于运行时模型,对不同传感设备采集到的数据进行定制、抽取和合并,实现通过组合模型对场景中不同的传感设备进行统一管理;最后,通过模型转换,实现组合模型到应用场景模型的映射,从而能够面向应用场景进行物联网系统的开发.还实现了基于运行时模型的智慧社区原型系统,并对方法的可行性和有效性进行了验证. 陈星 张伟 张伟 黄罡 郭文忠 郭文忠关键词:无线传感网 软件体系结构 问题驱动的需求捕获中问题分析与解决技术研究 被引量:5 2013年 问题驱动的需求捕获方法广泛应用于需求获取.然而,利益相关者通常难以找到真实的、一致的问题解决方案并清晰地表达出来.协同式的问题分析与解决方法可以帮助利益相关者找到并表达出真实、一致的解决方案.方法的基本思想是:首先各个利益相关者平等地、按照一定流程协同地分析问题表述的可理解性、问题的价值、问题存在原因;然后利益相关者协同地识别解决方案.通过关联原因和解决方案来保证解决方案的客观性.通过问题的分类,提出问题及协同元素的元模型,及时关注相关联的问题,评估利益相关者的参与程度,用以帮助利益相关者分析与解决问题.选取"高校学生选课系统"进行实例研究,结果显示协同式问题分析与解决是一种在实际应用中行之有效的方法. 王波 赵海燕 张伟 张伟 金芝关键词:需求捕获 基于特征模型的软件产品自动导出方法综述 被引量:6 2016年 在针对特定领域的软件复用中,产品导出是主要活动之一.产品导出指的是,开发人员基于领域中可复用的软件制品开发出所需的软件产品.在产品导出过程中,产品导出效率决定了软件复用的收益.在诸多影响产品导出效率的因素中,手工进行产品导出是拉低产品导出效率的主要因素之一,其最终会导致软件复用收益降低.为了提高产品的导出效率,相关研究提出了一些自动导出软件产品的方法.在这些方法中,一种普遍采用的指导思想是基于特征模型自动导出软件产品.在诸多使用该思想进行产品导出的方法中,各方法所使用的实现方式差异很大.为了给基于特征模型自动导出软件产品提供更好的支持,基于现有研究,提出了一个分类框架,并使用该框架对现有基于特征模型自动导出软件产品的方法进行了分类和比较.另外,还进一步指出了现有研究中的不足,并提出解决这些不足的设想. 于文静 赵海燕 张伟 张伟关键词:软件复用 基于模型的自适应方法综述 被引量:9 2018年 自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运行时,以支持自适应能力的实现.通过利用软件模型对运行时丰富和不确定的信息进行管理,这类方法避免了将自适应逻辑与程序语言交织带来的复杂性,从而简化了自适应系统的开发.对近些年来国内外学者在该研究领域取得的成果进行了系统总结.首先给出了6个研究问题,包括相关工作常用的需求模型、结构模型、行为模型、环境模型、模型与模型或模型与系统间的同步方式、自适应规划算法等;然后,依次总结了相关工作在这6个研究问题上的已有研究成果;最后,对未来研究可能面临的挑战进行了展望. 赵天琪 赵海燕 张伟 张伟关键词:自适应软件 面向特征的软件复用技术——发展与现状 被引量:18 2014年 传统产业的工业化生产主要关注如何实现物理产品的大规模复制性生产.实现软件产业的工业化生产,达到其发展所需的质量和生产效率,软件复用是一条现实可行的途径.软件复用的主要关注点是如何实现软件产品的大规模定制性生产.面向特征的软件复用提供了一种实现软件大规模定制性生产的技术途径,对软件复用的研究和实践产生了重要影响.本文介绍并分析了面向特征的软件复用涉及的基本概念和核心思想,总结了近年来关于面向特征的软件复用研究的一些关键技术和重要成果.具体而言:从内涵和外延两个方面总结了现有研究中关于特征的定义,分析了特征在软件复用中承担的基本责任;阐述了特征模型的基本结构及其命题逻辑语义,介绍了对特征模型基本结构和语义的3种扩展;总结了在特征模型与软件实现制品之间建立追踪关系的两种基本方式,分别针对用况模型、软件体系结构模型以及软件实现代码这3种软件实现制品,对在特征模型与这3者之间建立追踪关系的重要研究成果进行了介绍和评述;指出了值得进一步关注的问题及未来研究方向.通过介绍和评述,期望能够进一步凝聚本领域的研究者对相关问题及研究现状的理解,进而在面向特征的软件复用的研究上取得新的进展. 张伟 张伟关键词:软件复用 软件工程 无线传感设备及数据的对象化访问方法 被引量:3 2011年 物联网(Internet of things,IOT)是近年来的研究热点之一,然而传感设备只提供了比较底层的访问接口,通过接口所获得的数据与应用层所需的数据在概念上存在较大的差异。针对这一问题,提出一种无线传感设备及其数据的对象化访问方法。该方法通过UML(unified modeling language)类图建立设备模型与应用模型,利用SM@RT(supporting models at runtime)工具建立设备访问模型,将设备接口与设备模型进行关联,并用QVT(query/view/transformation)关联设备模型和应用模型。实验结果验证了该方法的可行性和有效性。 张伟 张伟 张伟关键词:物联网 无线传感器 面向对象 对象关系映射 一种“用例+控例”驱动的软件分析与设计方法 被引量:3 2013年 随着软件本身及其运行环境的日益复杂,软件可信性引起人们越来越多的关注.软件的分析与设计也越来越需要综合考虑软件的功能性和可信性.然而,如何在软件的分析与设计过程中综合考虑软件的功能性和可信性,目前仍然缺乏系统而有效的方法.基于控制论,提出了一种基于"用例+控例"的方法,以在软件的分析与设计过程中综合考虑软件的功能性和可信性.在需求分析阶段,"用例+控例"模型支持需求工程师在同一个模型中自然地表达软件系统的功能性需求和可信性需求.在系统设计阶段,扩展了ICONIX开发方法的用例驱动的系统设计技术,用以分别识别实现用例的功能对象和实现控例的可信保障对象,以最终构建出既满足功能性需求又满足可信性需求的对象模型.应用一个实例来说明所提出方法的可行性. 刘春 张伟 张伟 赵海燕关键词:系统设计