期刊文献+
共找到101篇文章
< 1 2 6 >
每页显示 20 50 100
软件设计模式检测技术:现状、挑战和展望
1
作者 王雷 袁野 王国仁 《软件学报》 北大核心 2025年第6期2643-2682,共40页
设计模式检测是软件工程领域中非常重要的研究课题.国内外很多学者致力于设计模式检测问题的研究与解决,取得了丰硕的研究成果.对当前软件设计模式检测技术进行综述并展望了其前景.首先,简要介绍软件设计模式检测领域的发展历程,讨论并... 设计模式检测是软件工程领域中非常重要的研究课题.国内外很多学者致力于设计模式检测问题的研究与解决,取得了丰硕的研究成果.对当前软件设计模式检测技术进行综述并展望了其前景.首先,简要介绍软件设计模式检测领域的发展历程,讨论并总结了设计模式的检测对象和特征类型,给出了设计模式检测评估指标.然后,总结了设计模式检测技术现有的分类方法,引出了分类方法.根据设计模式检测技术发展的时间线从非机器学习设计模式检测、机器学习设计模式检测、基于预训练语言模型的设计模式检测这3类方法出发探讨了当前软件设计模式检测技术的研究现状和最新进展,并对当前成果进行了总结和比较.最后,分析了该领域存在的主要问题与挑战,指出了今后值得进一步研究的方向以及可能的解决方案.涵盖了从早期的非机器学习方法到利用机器学习技术,再到现代预训练语言模型的应用,全面系统地展现了该领域的发展历程、最新进展和未来发展前景,对于该领域今后的研究方向和思路具有指导意义. 展开更多
关键词 设计模式检测 研究综述 机器学习 预训练语言模型 软件逆向工程 软件开发方法 软件设计 软件体系结构
在线阅读 下载PDF
MSA-Lab:模型驱动的微服务集成设计平台 被引量:2
2
作者 熊靖浏 任秋蓉 +2 位作者 Shmuel TYSZBEROWICZ 刘志明 刘波 《软件学报》 EI CSCD 北大核心 2024年第3期1280-1306,共27页
从单体系统迁移到微服务系统是当前业界对遗留系统实施再工程化的主流选项之一,基于单体遗留系统的微服务体系架构重构则是实现该迁移的关键步骤.目前学界多集中在微服务识别方法的研究上;业界虽有许多面向微服务架构的遗留系统重构的实... 从单体系统迁移到微服务系统是当前业界对遗留系统实施再工程化的主流选项之一,基于单体遗留系统的微服务体系架构重构则是实现该迁移的关键步骤.目前学界多集中在微服务识别方法的研究上;业界虽有许多面向微服务架构的遗留系统重构的实践,但缺乏系统性的方法及高效鲁棒的工具.鉴于此,在微服务识别与模型驱动开发方法前期研究的基础上,研发一种模型驱动的、可用于单体遗留系统微服务化重构的集成设计平台MSA-Lab.它通过分析单体遗留系统运行日志中的方法调用序列,对其中的类和数据表进行类型识别和聚类以构造抽象微服务,同时生成包括微服务图和微服务序列图在内的系统架构设计模型.它包括用于微服务自动识别与设计模型自动生成的核心部件MSA-Generator,以及用于微服务静态结构模型与动态行为模型可视化展现、交互式建模、模型语法约束检验的核心部件MSA-Modeller.在MSA-Lab平台上,通过对4个开源项目实施有效性、鲁棒性、功能转换完备性等实验以及对3个同类型工具实施性能对比实验,结果表明:所提平台拥有很好的有效性、鲁棒性及实现面向日志的功能转换完备性,且性能更加优越. 展开更多
关键词 微服务架构 服务识别 设计模型生成 交互式建模工具 软件设计评估
在线阅读 下载PDF
面向智能汽车赛博物理系统的领域特定建模语言研究
3
作者 赵静 梁浩 +2 位作者 徐天啸 肖雅月 姜博文 《汽车工程》 EI CSCD 北大核心 2024年第8期1370-1381,共12页
智能汽车信息物理系统(IVCPS)是具有多领域交叉融合特征的复杂大系统,在设计IVCPS领域特定建模语言时,应用现有建模语言存在扩展性差、成熟度低、学习成本高等问题,因此,本文根据V模型和创新架构方法,分别从IVCPS顶层设计流程、IVCPS元... 智能汽车信息物理系统(IVCPS)是具有多领域交叉融合特征的复杂大系统,在设计IVCPS领域特定建模语言时,应用现有建模语言存在扩展性差、成熟度低、学习成本高等问题,因此,本文根据V模型和创新架构方法,分别从IVCPS顶层设计流程、IVCPS元语言对象集语言要素定义两部分对面向IVCPS领域特定建模语言(DSML)进行研究,对IVCPS系统层元语言和组件化元语言的规范化进行定义,研究赛博物理组件中表达物理实现、动态特性和赛博计算的组件,以期为赛博物理组件的封装和创建提供参考。 展开更多
关键词 智能汽车赛博物理系统 SYSML 领域特定建模语言 架构设计流程
在线阅读 下载PDF
基于MDA的设计模式建模与模型转换 被引量:32
4
作者 张天 张岩 +2 位作者 于笑丰 王林章 李宣东 《软件学报》 EI CSCD 北大核心 2008年第9期2203-2217,共15页
MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA... MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性. 展开更多
关键词 MDA(model DRIVEN architecture)设计模式 建模 模型转换
在线阅读 下载PDF
软件体系结构开发方法及其应用 被引量:18
5
作者 韦群 熊璋 赵芳 《计算机工程与设计》 CSCD 2003年第4期77-80,共4页
简要介绍了软件体系结构开发方法的作用和内容,对领域专用的软件体系结构的意义和开发方法进行了阐述。通过分析机场领域中信息系统的通用功能需求,提出了系统的拓扑结构,采用统一建模语言建立系统模型,并利用设计模式、中间件、构件等... 简要介绍了软件体系结构开发方法的作用和内容,对领域专用的软件体系结构的意义和开发方法进行了阐述。通过分析机场领域中信息系统的通用功能需求,提出了系统的拓扑结构,采用统一建模语言建立系统模型,并利用设计模式、中间件、构件等技术实现了领域的软件框架,为领域内系统的实现提供了基础,大大提高了系统的开发效率。 展开更多
关键词 软件体系结构 面向对象 软件开发方法 软件工程 软件系统
在线阅读 下载PDF
基于特征模型和构件语义的概念体系结构设计 被引量:19
6
作者 彭鑫 赵文耘 刘奕明 《软件学报》 EI CSCD 北大核心 2006年第6期1307-1317,共11页
特定领域软件体系结构(domain-specificsoftwarearchitecture,简称DSSA)是特定领域开发中的重要资产,而基于特征的领域模型使得从领域需求到DSSA的映射成为可能.引入本体作为特征模型的描述基础,通过该方法得到的领域特征本体将同时作... 特定领域软件体系结构(domain-specificsoftwarearchitecture,简称DSSA)是特定领域开发中的重要资产,而基于特征的领域模型使得从领域需求到DSSA的映射成为可能.引入本体作为特征模型的描述基础,通过该方法得到的领域特征本体将同时作为领域内业务构件的语义描述基础存在.在此基础上,提出了基于特征模型和构件语义的概念体系结构设计方法.该方法综合考虑了特征模型中的共性、可变性、绑定时间以及结构关系、依赖关系等对DSSA设计的影响,同时以构件语义作为特征到概念构件设计的过渡.相关方法已经实现为基于本体的特征建模工具和基于特征模型的体系结构设计工具,为特征驱动的领域开发提供了有力的支持. 展开更多
关键词 构件 业务语义 领域模型 特征 领域本体 特定领域体系结构 体系结构
在线阅读 下载PDF
基于构件的软件框架与角色扩展形态研究 被引量:62
7
作者 刘瑜 张世琨 +1 位作者 王立福 杨芙清 《软件学报》 EI CSCD 北大核心 2003年第8期1364-1370,共7页
框架是实现大粒度软件复用的有效途径,面向对象框架可以通过实例化扩展实现具体的应用系统,但是,研究和实践表明,面向对象框架存在着一些问题,采用基于构件的框架(CBSF),通过用构件替代框架内部相互协作的类,以增大框架构成成分的粒度;... 框架是实现大粒度软件复用的有效途径,面向对象框架可以通过实例化扩展实现具体的应用系统,但是,研究和实践表明,面向对象框架存在着一些问题,采用基于构件的框架(CBSF),通过用构件替代框架内部相互协作的类,以增大框架构成成分的粒度;同时利用构件的接口调用和组装实现框架扩展机制。主要探讨了角色扩展形态,角色是将要被进一步实例化的特殊构件,可分为抽象构件和模板,针对不同变化性类型,提出可以利用体系结构模式、设计模式或参数化这3种方式设计CBSF角色扩展,进而讨论了基于角色扩展形态的应用构件组装。 展开更多
关键词 基于构件的框架 扩展点 角色 变化性
在线阅读 下载PDF
软件Agent的一种面向对象设计模型 被引量:23
8
作者 黎建兴 毛新军 束尧 《软件学报》 EI CSCD 北大核心 2007年第3期582-591,共10页
怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系... 怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系结构及其内部行为自主决策算法.最后,基于该结构及算法并利用设计模式开发出了软件Agent的一种面向对象设计框架.该工作对于上述问题的解决,以及在现有成熟的面向对象技术基础上开发出软件Agent程序设计语言及其支撑环境具有基础指导意义. 展开更多
关键词 软件Agem 实现体系结构 设计框架 POAD(pattern-oriented ANALYSIS and design)方法
在线阅读 下载PDF
基于域分析的软件体系结构研究 被引量:9
9
作者 彭宏 王锦 张激 《计算机工程》 CAS CSCD 北大核心 2002年第2期120-122,139,共4页
以提高软件特性为目的,提出了建立基于域分析的软件体系结构的观点。在此观点的基础上,对域分析进行了全面的研究,其RRS中包括:定义域分析基本概念、建立完整的域模型、讨论域模型组成之间以及域模型与软件体系结构的相互关系等。最后... 以提高软件特性为目的,提出了建立基于域分析的软件体系结构的观点。在此观点的基础上,对域分析进行了全面的研究,其RRS中包括:定义域分析基本概念、建立完整的域模型、讨论域模型组成之间以及域模型与软件体系结构的相互关系等。最后指出域分析是软件体系结构的基础和前提,并为软件体系结构建立创造良好的工程环境。 展开更多
关键词 RRS 域分析 域模型 软件体系结构 面向对象 软件工程
在线阅读 下载PDF
MVC体系架构从模式到框架的持续抽象进化 被引量:24
10
作者 刘宁 陆荣国 缪万胜 《计算机工程》 CAS CSCD 北大核心 2008年第4期107-110,共4页
针对有互动响应要求的复杂软件系统的设计和开发,提出一种"(组合)模型-视图-控制器"软件体系架构框架的设计方案。该方案基于进化式软件架构设计理念体系,运用以持续抽象策略为导引的进化式迭代方法,对传统的模型-视图-控制... 针对有互动响应要求的复杂软件系统的设计和开发,提出一种"(组合)模型-视图-控制器"软件体系架构框架的设计方案。该方案基于进化式软件架构设计理念体系,运用以持续抽象策略为导引的进化式迭代方法,对传统的模型-视图-控制器体系架构模式进行了进化式抽象迭代,并在SAL Studio 1.0项目中予以应用。结果证明,由该方法得出的设计方案提高了相应软件体系的可靠性、可扩展性和可复用性,促进了软件体系的技术进化,能优质、有效、可靠地完成软件开发。 展开更多
关键词 进化式软件架构设计理念体系 架构模式 架构框架 持续抽象
在线阅读 下载PDF
支持运行监控的可信软件体系结构设计方法 被引量:13
11
作者 文静 王怀民 +2 位作者 应时 倪友聪 王涛 《计算机学报》 EI CSCD 北大核心 2010年第12期2321-2334,共14页
近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系... 近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作. 展开更多
关键词 面向侧面的体系结构描述语言 面向侧面的软件开发方法 支持运行监控的可信软件构造模型 软件工程 可信软件开发
在线阅读 下载PDF
软件高层抽象设计构造的需求及发展 被引量:15
12
作者 胡华 高济 何志均 《计算机科学》 CSCD 北大核心 1999年第2期64-73,共10页
1 引言经过多年的研究和努力,计算机硬件系统经过电子管、晶体管、小规模集成电路和大规模集成电路等多个阶段与时代的迅速发展,已经形成了一个以高效率和低成本为基本特征的现代化成熟生产工业。而与计算机硬件发展形成鲜明对照的是,... 1 引言经过多年的研究和努力,计算机硬件系统经过电子管、晶体管、小规模集成电路和大规模集成电路等多个阶段与时代的迅速发展,已经形成了一个以高效率和低成本为基本特征的现代化成熟生产工业。而与计算机硬件发展形成鲜明对照的是,计算机软件虽然也经历了从程序设计、软件开发、工程化思想和今天的产业化发展等研究内容和层次都不断提高的多个发展阶段,然后,以高成本和低效率为主要特征的软件危机在软件开发生产过程中却依然存在,软件工程的研究和发展成果至今难以令人满意。软件工程是一门综合性的知识体系,其范围涉及自然科学、社会科学、计算机科学、工程技术科学、管理科学等诸多范畴。 展开更多
关键词 软件高层构造 面向对象 软件开发 软件工程
在线阅读 下载PDF
三层结构软件框架扩展点实现方法 被引量:28
13
作者 郝雯 艾玲梅 王映辉 《计算机应用》 CSCD 北大核心 2009年第9期2541-2545,共5页
基于通用的软件三层结构框架,对框架的扩展点进行了分类,并根据各类的特点,结合设计模式给出了各类扩展点的设计策略和实现方法。最后,以某大型机械制造企业的工时管理系统(TQMS)开发为例,基于.NET平台对各扩展点的具体实现过程进行了... 基于通用的软件三层结构框架,对框架的扩展点进行了分类,并根据各类的特点,结合设计模式给出了各类扩展点的设计策略和实现方法。最后,以某大型机械制造企业的工时管理系统(TQMS)开发为例,基于.NET平台对各扩展点的具体实现过程进行了详细阐述,对增强软件框架的灵活性以及应对客户的需求变化提供了良好的支持。 展开更多
关键词 扩展点 设计模式 软件框架 三层结构 NET平台
在线阅读 下载PDF
基于MVC的软件界面体系结构研究与实现 被引量:24
14
作者 王映辉 王英杰 +1 位作者 王彦君 樊宏斌 《计算机应用研究》 CSCD 北大核心 2004年第9期188-190,193,共4页
软件体系结构研究是目前软件工程领域研究的新一轮热潮,是对软件的更高层次抽象。在分析MVC(Model/View/Controller)模式机理的基础上,给出了基于MVC的软件界面体系结构及其工作机理。软件界面体系结构带来了软件设计的灵活性和高度重... 软件体系结构研究是目前软件工程领域研究的新一轮热潮,是对软件的更高层次抽象。在分析MVC(Model/View/Controller)模式机理的基础上,给出了基于MVC的软件界面体系结构及其工作机理。软件界面体系结构带来了软件设计的灵活性和高度重用性。最后,以软件界面体系结构为指导,分析了MFC(MicrosoftFunda mentClass)的文档视图结构,并给出了软件界面体系结构的具体设计和实现。 展开更多
关键词 软件体系结构 模型/视图/控制器模式 文档 视图
在线阅读 下载PDF
业务应用软件框架的一种分析方法 被引量:21
15
作者 何克清 应时 +1 位作者 田中茂 冈本泰次 《软件学报》 EI CSCD 北大核心 2001年第7期1007-1014,共8页
为了开发成熟的、可重用的软件框架和组件 ,提倡尽量地抽出和组入软件模式 .讨论了基于软件模式的面向对象软件开发方法 .在分析业务应用领域需求规格的基础上 ,给出了软件框架的分析方法和基本角色模型 ,抽出了框架的体系结构分析模式... 为了开发成熟的、可重用的软件框架和组件 ,提倡尽量地抽出和组入软件模式 .讨论了基于软件模式的面向对象软件开发方法 .在分析业务应用领域需求规格的基础上 ,给出了软件框架的分析方法和基本角色模型 ,抽出了框架的体系结构分析模式、基本角色类及其结构并设计了数据存取的“抽象工厂”模式 .该方法适用于应用框架和软组件的开发 . 展开更多
关键词 面向对象 软件框架 组件 软件开发 应用软件
在线阅读 下载PDF
基于MVC模式的指控系统软件设计与实现 被引量:13
16
作者 张超 赵平 +2 位作者 何静 陈朝福 邓浩 《强激光与粒子束》 EI CAS CSCD 北大核心 2013年第B05期91-95,共5页
介绍了MVC模式各部分的功能和关系,针对指控系统的业务需求特点,提出了一个基于MVC模式的指控系统关系模型。基于此模型,针对某试验指控系统软件的研制需求,进行了软件总体架构设计,并在Linux环境下,利用QT开发平台完成了指控软件的设... 介绍了MVC模式各部分的功能和关系,针对指控系统的业务需求特点,提出了一个基于MVC模式的指控系统关系模型。基于此模型,针对某试验指控系统软件的研制需求,进行了软件总体架构设计,并在Linux环境下,利用QT开发平台完成了指控软件的设计与实现。 展开更多
关键词 MVC 指控系统软件 架构设计 QT
在线阅读 下载PDF
支持MDA的设计模式建模与模型转换方法研究 被引量:10
17
作者 曾一 周吉 +1 位作者 孙政 许林 《计算机工程与应用》 CSCD 2012年第1期76-80,共5页
设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于E... 设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于Ecore的设计模式建模和模型转换方法,该方法在元模型层抽象并扩展了设计模式通用元素的元模型,使得不同的模式组合模型通过对相同的模式元素元模型进行转换可以获得相应的应用模型,从而增强了设计模式建模的可扩展性和模型转换的通用性,为MDA框架中设计模式建模和模型转换提供了一种有效的途径。 展开更多
关键词 设计模式 模型转换 模型驱动架构 模式通用元素 元模型
在线阅读 下载PDF
多智能体型电网调度决策支持系统 被引量:11
18
作者 赵川 李永 +3 位作者 吴琼 刘文颖 杨以涵 马骞 《电网技术》 EI CSCD 北大核心 2006年第22期59-66,共8页
实现电网调度决策支持系统首推采用多智能体技术。文章首先根据电力系统的特点对Agent个体的生存状态及驱动事件进行了建模及形式化,建立了“状态–事件”综合驱动的系统知识库;然后对Agent个体进行了分类及行为分析,并对EMS中的软件模... 实现电网调度决策支持系统首推采用多智能体技术。文章首先根据电力系统的特点对Agent个体的生存状态及驱动事件进行了建模及形式化,建立了“状态–事件”综合驱动的系统知识库;然后对Agent个体进行了分类及行为分析,并对EMS中的软件模块进行了封装,从而使对象进化为Agent;最后建立了基于多智能体的电网调度决策支持系统软件体系结构,实现了软件系统在线自主运行及软件的协调计算能力。 展开更多
关键词 电网调度决策支持系统 多智能体 软件体系结构 设计模式 环境
在线阅读 下载PDF
软件体系结构设计方法的研究 被引量:13
19
作者 王一宾 李心科 《计算机工程与设计》 CSCD 北大核心 2005年第3期604-607,共4页
科学合理的软件体系结构是开发一个成功应用系统的必要条件,对于提高系统的开发效率和质量具有非常重要的意义。首先分析了软件体系结构与相关概念的关系,接着剖析了软件体系结构的几种主要设计方法的设计过程,最后指出了这些设计方法... 科学合理的软件体系结构是开发一个成功应用系统的必要条件,对于提高系统的开发效率和质量具有非常重要的意义。首先分析了软件体系结构与相关概念的关系,接着剖析了软件体系结构的几种主要设计方法的设计过程,最后指出了这些设计方法的不足之处及下一步可能的研究方向。 展开更多
关键词 软件体系结构 开发效率 应用系统 设计方法 设计过程 必要条件 科学 合理 相关概念 剖析
在线阅读 下载PDF
一种笔式用户界面软件领域模型及其应用 被引量:11
20
作者 秦严严 田丰 +1 位作者 王晓春 戴国忠 《软件学报》 EI CSCD 北大核心 2006年第1期69-78,共10页
笔式用户界面软件以其自然、高效的交互方式,在很多领域中有着广泛的应用.笔式用户界面软件具有以交互为中心、用户个性化需求高的特点,由此也决定了用户在软件设计中的主导地位.以用户为中心的设计的关键问题在于,如何使用户的思想如... 笔式用户界面软件以其自然、高效的交互方式,在很多领域中有着广泛的应用.笔式用户界面软件具有以交互为中心、用户个性化需求高的特点,由此也决定了用户在软件设计中的主导地位.以用户为中心的设计的关键问题在于,如何使用户的思想如实地反映到设计中.通过建立笔式用户界面软件特征模型PUIDM(the domain model for pen-based user interface software),构造了一个连接用户与软件设计的平台.从上下文、软件实体、界面特征、体系结构等角度,对该模型的建立进行分析,并给出了相应的XML描述.在此基础上,描述了用户使用该模型进行软件设计的过程.实例表明,PUIDM能够正确引导用户进行设计,将用户意图充分地引入到软件设计和最终实现中,使软件满足可用性要求. 展开更多
关键词 笔式用户界面软件 以用户为中心的设计 最终用户 领域模型 XML
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部