检索结果-内蒙古大学图书馆

计算机应用研究 2007年第5期24卷 210-213,217页

作者：孙继荣李志蜀王莉殷锋金虎四川大学计算机学院

基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的... 详细信息

基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用。

关键词：程序切片软件测试数据依赖控制依赖测试数据自动生成

来源：评论

学校读者我要写书评

暂无评论

计算机软件

引用

中国学术期刊文摘 2008年第6期14卷 174-177页

基于改进的自适应遗传算法HCGA的测试数据自动生成;基于两视图的曲面物体自动建模方法;基于小波和匹配跟踪的分层图像编码算法;一种基于模型检验的类测试用例生成方法;基于网页分块技术主题爬行器的实现

关键词：自适应遗传算法测试数据自动生成曲面物体自动建模

来源：评论

学校读者我要写书评

暂无评论

单元测试用例自动生成分析与设计

单元测试用例自动生成分析与设计

引用

作者：李寰太原理工大学

学位级别：硕士

软件测试是保障软件质量的重要手段。传统的手工测试存在效率低，耗费人力、时间资源大，无法有效量化管理等缺点，自动化测试在软件测试中所占比重日益增加。测试自动化就是希望能够通过自动化测试工具或其他手段，按照测试工程师的预... 详细信息

软件测试是保障软件质量的重要手段。传统的手工测试存在效率低，耗费人力、时间资源大，无法有效量化管理等缺点，自动化测试在软件测试中所占比重日益增加。测试自动化就是希望能够通过自动化测试工具或其他手段，按照测试工程师的预定计划进行自动测试，目的是减轻手工测试的劳动量，从而达到提高软件质量的目的。测试数据自动生成问题是软件测试自动化中的一个基本问题。能够高效自动生成满足测试需要的测试用例，是提高软件测试工作效率的重要手段。面向路径的测试数据自动生成问题可以描述为：给定一个程序P和一条路径W，设P的输入域为D，求输入x，使得P以x为输入运行时所经过的路径为W。求解该问题可以转化为一个约束系统构建和求解的问题。构建约束系统的主要困难在于分析、化简路径上的各种语句成分和数据类型，尽可能将条件谓词表示成为输入变量的函数。而求解约束系统的主要困难在于路径上的非线性约束。已经证明不存在通用有效的方法求解非线性约束系统。 Neelam Gupta等人提出了迭代松弛法自动求解该问题，该方法通过分析路径上各语句之间的静态、动态数据依赖关系，构造程序切片和数据依赖集，用线性算术表示对谓词函数进行线性化，用数值计算的方法去求解该问题。由于该方法需要了解语句之间的静态数据依赖关系，因此该方法仅能用于白盒测试。本文从三个方面对迭代松弛法进行改进，省略了构造谓词切片和数据依赖集的过程，选取主要路径，使用函数的导数来代替均差。改进后的方法无需分析路径上各语句之间的静态、动态数据依赖关系，因此可以应用于黑盒测试。改进后的方法比原方法构造线性约束系统的能力更强，效率更高。本文提出了一个面向路径测试数据自动生成的框架，该框架以改进后的迭代松弛法为核心算法，对于路径上谓词函数均为线性函数的情况，该框架迭代一次即可找到路径的解，或者保证路径不可行。对于路径上谓词函数含有非线性函数的情况，该框架需要迭代多次，或者找到路径的解，或者增加该路径不可行的信心。本文开发了一个以面向路径测试数据自动生成框架为蓝图的原型工具(PTDAG)。该工具采用面向对象的思想进行开发，采用Java语言进行编程，定义了一种简单的语言J用于实验，利用JavaCC为J语言自动生成词法分析器和语法分析器，利用MATLAB为线性约束系统求解。初步实验结果表明本文所提出的面向路径测试数据自动生成框架是正确和有效的。

关键词：软件测试面向路径的测试测试数据自动生成黑盒测试白盒测试

来源：评论

学校读者我要写书评

暂无评论

一种基于约束求解的测试用例生成子系统的设计与实现

一种基于约束求解的测试用例生成子系统的设计与实现

引用

作者：欧阳亚丽北京大学

学位级别：硕士

测试用例自动生成技术是软件测试研究的重点与热点,它是软件测试中很重要的一个步骤,也是解决软件质量问题的重要手段。　　虽然测试用例自动生成技术的研究已经取得了一定的进展,但是还存在着一些问题,如循环问题、约束满足问题、过程... 详细信息

测试用例自动生成技术是软件测试研究的重点与热点,它是软件测试中很重要的一个步骤,也是解决软件质量问题的重要手段。　　虽然测试用例自动生成技术的研究已经取得了一定的进展,但是还存在着一些问题,如循环问题、约束满足问题、过程间调用问题、复杂数据类型处理问题等。　　本文采用约束求解技术先将程序代码转换为一组约束表达式,然后调用约束求解器获得满足约束表达式组的解,从而得到测试数据,系统实现了以下几个功能,第一,实现了一个根据不同测试覆盖准则自动生成测试用例的框架,在程序控制流图的基础上根据不同的测试覆盖标准抽取关键路径集,然后分别对这些路径进行测试数据生成;第二,采用迭代松弛技术构建程序路径的每个分支节点的约束表达式,当分支节点的谓词函数及其依赖的语句都是关于输入参数的线性关系时,可以准确生成该分支节点的约束表达式,如果一条路径的所有分支节点的约束表达式都能够准确提取到,那么迭代一次即可得到路径的测试数据或该路径不可达信息,否则需要迭代多次;第三,实现了一个通用的约束问题求解模型,该模型能够方便的与Java约束求解器进行适配,可以连接多个约束求解器。　　最后,对生成的测试用例集进行测试覆盖率分析,目前主要是进行语句覆盖率分析和判定条件覆盖率分析,其性能达到了一般测试用户的需求。

关键词：软件测试约束求解测试数据自动生成结构化测试测试覆盖准则迭代松弛

来源：评论

学校读者我要写书评

暂无评论

基于混合遗传算法的测试用例生成研究与应用

基于混合遗传算法的测试用例生成研究与应用

引用

作者：徐璐成都理工大学

学位级别：硕士

软件测试是保障软件质量的关键手段,在软件开发的各个阶段具有至关重要的作用。设计测试用例是测试的首要步骤也是关键一步。如今软件测试朝着自动化方向发展,通过自动化脚本或者工具来执行测试,大大节省了人力资源和时间成本,同时也避... 详细信息

软件测试是保障软件质量的关键手段,在软件开发的各个阶段具有至关重要的作用。设计测试用例是测试的首要步骤也是关键一步。如今软件测试朝着自动化方向发展,通过自动化脚本或者工具来执行测试,大大节省了人力资源和时间成本,同时也避免了人的主观性错误。但是现有的自动化工具在测试用例的自动生成上还做的不够完善,大部分测试用例还是需要测试人员手动设计和生成。随着软件规模的扩大和程序路径变得越来越复杂,传统的手工设计测试用例无法满足需求,无法全面覆盖测试路径,更容易出错。本文针对如何提高测试效率、减少测试成本和提高软件测试自动化能力,对测试用例自动生成进行了研究。本文主要工作是对应用于测试用例自动生成中遗传算法进行研究,基于现有的软件测试技术和测试用例生成方法,提出了一种改进的模拟退火遗传算法应用到测试用例的自动生成技术之中,改善现有遗传算法生成测试用例时效率低下的缺陷。论文首先在国内外研究的基础上,对软件测试相关理论进行阐述分析,重点分析了面向结构的测试数据自动生成技术以及现有的一些可用方法。文中对各种方法及相关技术做了系统的总结与比较,而后指出在这一领域人工智能技术将能发挥很大作用。其次,本文对遗传算法和模拟退火算法进行详细的介绍,并分析标准遗传算法在测试用例自动生成上的可行性。针对遗传算法容易陷入局部最优解和目标路径覆盖率低的缺点,本文引入混合模拟退火遗传算法,确定了SA引入GA的方式,并将其用于测试用例的自动生成中。然后,本文介绍了模拟退火遗传算法应用在测试用例自动生成上的系统框架,对模拟退火遗传算法的关键技术进行了改进:针对能准确评价个体的优劣,对适应度函数进行改进,即提出一种新的面向路径相似度计算方法,并结合分支距离作为适应度函数;对交叉算子采取多点交叉技术;对变异算子进行改进,采用自适应变异。再在此基础上提出混合模拟退火遗传算法。改进后的算法能够快速收敛,达到最优,避免了陷入局部最优。最后在实验和结果分析部分,设计了基于改进后模拟退火遗传算法的测试数据辅助工具。并采用3个基准程序和1个实际程序进行实验,对标准遗传算法、自适应遗传算法和改进模拟退火遗传算法从最优迭代次数、运行时间和产生最优解的个数进行分析和总结,还在不同变异概率和种群规模下对算法进行分析。最后得出实验结论:改进的模拟退火遗传算法在产生最优测试用例的数目上有很大的优势并且收敛性好,表明了改进算法的可行性。

关键词：测试用例遗传算法模拟退火遗传算法测试数据自动生成

来源：评论

学校读者我要写书评

暂无评论

新型软件测试技术研究与实现

新型软件测试技术研究与实现

引用

作者：熊娇电子科技大学

学位级别：硕士

软件测试是保证软件质量和可靠性的主要手段,而测试数据的设计是软件测试的重要环节,测试数据的自动生成是其关键和难点。随着软件技术的发展,程序的规模逐渐增大,复杂度也逐渐增加。在软件的开发过程中,完全依靠人力进行分析测试效率太... 详细信息

软件测试是保证软件质量和可靠性的主要手段,而测试数据的设计是软件测试的重要环节,测试数据的自动生成是其关键和难点。随着软件技术的发展,程序的规模逐渐增大,复杂度也逐渐增加。在软件的开发过程中,完全依靠人力进行分析测试效率太低,而且不能保证软件质量。测试过程中的一个主要问题是生成具有一定覆盖度的测试数据,并且这些数据不属于等价类。如果有一种工具能自动地分析程序并且生成测试数据,将大大地提高软件的可靠性并且节约大量的人力。目前自动生成测试数据的工具已有很多,但是大多数都有一定的局限性,不能完全自动地生成测试数据,所能处理的数据类型也有限,也只能用于局部的单元测试。本文首先简要介绍该领域的研究进展,阐述了软件自动化的基本理论,着重对软件测试的试探法的遗传算法和马尔科夫链模型进行了深入研究,并在此基础上提出了改进,给出了新的测试用例的设计方法以及如何根据该方法自动生成测试用例。本文在遗传算法的基础上分析了自适应遗传算法,提出改进了的自适应遗传算法,并对它们分别进行了仿真分析。同时引入了遗传算法与模拟退火算法相结合的遗传模拟退火算法,验证了遗传模拟退火算法在搜索最优问题上的优越性。利用遗传模拟退火算法提出了面向路径的测试用例数据自动生成方法和基于覆盖率的测试用例方法。马尔科夫链使用模型是用随机过程模型来描述软件的使用方式,基于马尔科夫链模型的软件统计测试方法首先构造出软件的马尔科夫链使用模型,描述软件的使用方式,并结合遗传模拟退火算法自动生成状态转移概率矩阵,用于指导测试用例的生成。最后把遗传算法和马尔科夫链使用模型结合起来,实现高科软件测试的自动化测试工具系统的原型系统。

关键词：测试数据自动生成面向路径的测试遗传算法马尔科夫链使用模型

来源：评论

学校读者我要写书评

暂无评论

面向云测试的并行测试用例自动生成方法研究

面向云测试的并行测试用例自动生成方法研究

引用

作者：解筱梦东华大学

学位级别：硕士

作为保证软件质量的重要手段，软件测试正在发挥日益重要的作用。传统的软件测试采用精简测试用例的方法来提高测试效率，但是测试用例的精简会降低发现缺陷的概率，影响测试质量。并行测试技术被引入到软件测试领域便是为了解决这一问... 详细信息

作为保证软件质量的重要手段，软件测试正在发挥日益重要的作用。传统的软件测试采用精简测试用例的方法来提高测试效率，但是测试用例的精简会降低发现缺陷的概率，影响测试质量。并行测试技术被引入到软件测试领域便是为了解决这一问题。但是，并行测试需要构建集群环境，花费巨大，资源利用率不高；且软件测试的结果需要人工统计，耗时巨大。云计算的出现为自动化测试提供了新的支持，资源自动生成、弹性分配的特性将大大降低自动化测试的成本。云计算的弹性服务、资源池化、按需服务、可计费服务和泛在接入等特点，为构建高效低成本的测试环境提供了新的途径，但也提出了新的挑战。在云计算环境中，传统的测试用例需要根据云计算的特点进行并行化处理，同时充分测试的需求也要求大量测试数据的自动化生成。本课题以Web应用系统为对象，针对云测试中并行测试用例的自动生成进行研究，主要包括测试脚本的并行化处理以及测试数据的自动化生成方法。首先，通过对Web应用系统的测试场景、场景流图以及测试路径等内容的定义，确定了软件的可并行测试路径，实现了基于深度优先遍历的并行测试脚本自动生成。之后，通过对脚本中的变量添加约束，为目标路径建立了评价函数，进而提出了基于搜索的测试数据自动生成算法，用于大量测试数据的生成。最后，将并行测试脚本与大量测试数据耦合，便得到了可在云平台上并行执行的测试用例。论文基于开源的Web自动化测试工具Selenium、云计算框架CloudStack和JAVA的Web开发框架SSH搭建了一个自动化云测试原型系统。实现了测试项目的管理、测试脚本的提交、测试数据的生成、测试任务的调度、测试结果的回收等功能。最后，通过对Web应用系统进行测试实验，验证了本文所提出的方法可以高效地为云平台提供测试用例输入，减少测试用例创建时间，这些测试用例的并行执行，加速了测试过程，降低了测试环境成本，提高了测试质量。

关键词：云测试并行测试 SBST 测试数据自动生成 Web应用系统

来源：评论

学校读者我要写书评

暂无评论

面向复杂路径约束的线性拟合求解方法改进与扩展研究

面向复杂路径约束的线性拟合求解方法改进与扩展研究

引用

作者：周岩南京大学

学位级别：硕士

面向路径的测试是一种重要的测试技术,作为核心支撑技术,它在错误代码定位、目标制导的测试、内存泄漏检测等多种测试中,具有广泛的应用。面向路径的测试数据生成关注于,针对给定路径如何自动生成测试输入以驱动程序沿着目标路径执行。... 详细信息

面向路径的测试是一种重要的测试技术,作为核心支撑技术,它在错误代码定位、目标制导的测试、内存泄漏检测等多种测试中,具有广泛的应用。面向路径的测试数据生成关注于,针对给定路径如何自动生成测试输入以驱动程序沿着目标路径执行。自动化的测试数据生成可以有效地降低测试开销,提高测试效率,是近年来测试研究的热门方向之一。处理该问题的难点在于求解含有非线性约束和浮点运算的复杂路径约束,基于启发式搜索和基于动态符号执行的方法是当前最高效的解决方案。基于启发式搜索的方法对具体问题的效能依赖于参数的设定,初始值选择以及搜索过程的随机性通常也会导致搜索结果的不确定。如何设定恰当的参数配置以保证搜索效果和时间的平衡是该类方法亟需解决的问题。基于动态符号执行的方法在求解复杂路径约束时,或通过具体值替换简化符号表达式,或依赖于特定领域的强约束求解器。具体值替换的方式具有随机性且限制了搜索空间,而强约束求解器的能力还不足以处理实用的程序。线性拟合函数驱动的方法是一种基于程序动态执行的方法,它可以有效为包含复杂非线性约束的程序生成测试输入。该方法使用插桩技术获得路径上每个关系表达式对应的分支函数在程序运行时的值,再结合程序输入,可以获得分支函数关于输入变量的线性拟合函数,进而计算输入变量的可行输入区间,构建出能够覆盖路径的输入数据。现有的线性拟合函数驱动的方法在处理路径约束时存在搜索不充分、拟合过程不精密等缺点,在处理规模较大的程序时效率受限。另外,该方法尚不支持对含有数组类型输入或跨模块函数调用程序的处理。本文针对现有线性拟合方法的不足与局限,提出了一种改进的线性拟合方法,它实现了更加有效的搜索,并可以为含有数组类型输入和函数调用的程序自动生成面向路径的测试数据。具体的,本文主要研究工作如下：·提出了基于改进线性拟合方法的面向路径测试数据自动生成算法。针对已有线性拟合方法在搜索上的不足,本文尝试在更多的方向(变量)上进行搜索,并依此提出了多变量方向上的交叉搜索策略。进一步的,为充分发挥多核技术的能力,采用调度器-工作者模型对上述方法进行了并行化实现,提出了结合程序依赖分析技术的优化策略,降低了算法的时间消耗。针对已有线性拟合方法在具体条件约束上拟合过程中的不足,首先研究了当拟合区间内不存在可行区间时拟合曲线对其相邻区间的预测作用,据此提出了针对关系表达式的分支函数拟合区间扩展规则和细化规则,并给出了针对目标路径的自适应路径搜索区间扩展和细化方法。·对线性拟合方法进行扩展,以支持数组类型输入和跨模块函数调用。在为包含数组类型输入变量的程序生成测试数据时,借助插桩技术获取特定程序输入下目标路径相关的数组变量下标,从而避免了在大量无关数组元素上的冗余搜索。当程序中含有嵌套函数调用时,程序的路径空间将极速增长。通过复合表达式分离、忽略无关控制流结构获取关于程序中目标点的相关路径集合,有效削减了路径空间,降低了不可达路径出现的概率,从而提高了为这类程序生成测试数据集的效率。·基于上述方法,设计并实现了一个测试数据自动生成原型工具,并在该工具上进行了三组实验。在15个科学计算程序上与改进前方法的对比实验结果表明,本文提出的改进策略有效提升了线性拟合方法针对路径覆盖准则的覆盖效果。Concolic Walk是目前处理复杂路径约束最有效的测试数据生成方法之一,与它在11个程序集上的对比实验结果表明,本文的方法在更少的时间内获得了更好的覆盖效果。同时,本文的方法可以显著提高两个基于强约束求解器的测试数据生成工具的覆盖能力,这表明本文研究的方法与其它方法具有非常好的互补性,通过将本文的工具与其它工具相整合,可以有效提高它们求解复杂路径约束的能力。针对算法中三个主要参数的有效性实验结果表明,因为采用了自适应的路径搜索区间扩展与细化策略,本文方法的搜索效果并不受限于初始值的选取,而交叉搜索策略可以有效提升本文方法的覆盖能力,且在设置很小的算法停机阀值的情况下就可以获得较优的覆盖度。

关键词：测试数据自动生成面向路径测试线性拟合函数非线性约束动态符号执行

来源：评论

学校读者我要写书评

暂无评论

改进模拟退火遗传算法在软件测试用例生成中的应用研究

改进模拟退火遗传算法在软件测试用例生成中的应用研究

引用

作者：刘思凝大连交通大学

学位级别：硕士

在整个软件开发的过程中,软件的开发和测试是重要的环节,且具备相辅相成的作用。在开发期间,一般是由测试人员负责手工编写测试用例,所以测试用例对开发内容的覆盖不够全面,测试工作的效率也相对较低。因此,如何加快自动生成测试用例是... 详细信息

在整个软件开发的过程中,软件的开发和测试是重要的环节,且具备相辅相成的作用。在开发期间,一般是由测试人员负责手工编写测试用例,所以测试用例对开发内容的覆盖不够全面,测试工作的效率也相对较低。因此,如何加快自动生成测试用例是摆在开发者面前的一道绕不开的“考题”。针对于上述问题,本文提出一种改进的模拟退火遗传算法(Simulated Annealing Genetic Algorithm,SAGA)辅助生成测试数据,新算法的改进思想为:首先提出一种新的路径相似度计算,并将其加入到适应度函数的计算中,对个体的评价更为精确;其次围绕交叉算子选取多点交叉算法,以及对变异算子采用自适应变异,并在选择操作中加入了精英保留策略,避免最优个体在进化中因其他操作而遭到破坏;最后将改进好的算法与模拟退火算法充分结合,在新算法当中应用Bolztmann机制,避免出现早熟与局部最优解,使收敛的速度更快,达到最优。本文先使用四个基准程序和一个实际程序,分别从运行时间、最优迭代次数及最优解产生个数三个层面与相关其他学者的研究结果进行对比分析,来验证SAGA在生成测试用例效率问题中的可靠性和有效性。而后,以某软件公司的测试环境为实际背景,开发了测试用例生成系统,在系统中使用SAGA算法,取得了较好的应用效果,表明了新算法的优越性。

关键词：测试数据自动生成遗传算法模拟退火算法

来源：评论

学校读者我要写书评

暂无评论

自动化单元测试录制框架的研究与实现

自动化单元测试录制框架的研究与实现

引用

作者：蔡纬政华南理工大学

学位级别：硕士

软件测试是检验应用程序是否满足软件需求的过程。在软件开发生命周期中,开发人员和测试人员协同工作,检测缺陷,确保产品质量。软件测试是一个长期持续的过程。直接引进第三方工具往往不能达到有效测试的目的。一个软件开发团队需要一... 详细信息

软件测试是检验应用程序是否满足软件需求的过程。在软件开发生命周期中,开发人员和测试人员协同工作,检测缺陷,确保产品质量。软件测试是一个长期持续的过程。直接引进第三方工具往往不能达到有效测试的目的。一个软件开发团队需要一套适应于团队所开发应用的特点及自身开发模式的自动化测试框架。本课题对软件自动化测试技术进行了深入的分析研究,结合本团队的特点以及目前自动化测试的欠缺,研究并设计一个自动化测试框架。该框架基于本文提出的单元测试录制方法。不同于常用的单元测试自动生成方法,该方法从系统测试录制出单元测试,避免了单元测试自动生成方法仅针对代码逻辑的局限。它能从客户、文档的角度出发,同时又改进了系统测试执行速度慢的缺点,利于开发团队进行持续的回归测试。本文基于单元测试录制方法,设计并实现了一个可行的自动化单元测试录制框架。该框架可以很好地把系统测试和单元测试结合起来,提高了开发人员和测试人员协同工作的效率,让应用系统更好地符合业务需求并适应需求的变化。在框架的研究和实现过程中,本文讨论了多种测试数据自动生成方法,并对它们进行比较。本文通过结合多种生成方法,设计出一个测试数据生成器,可根据不同应用场景选择合适的方法生成测试用例集,为框架提供测试效果良好的测试数据。本文还详细阐述单元测试录制过程的实现,并把代码静态分析技术中的数据流分析和符号分析技术应用于单元测试录制过程中。最后,本文讨论了该框架在测试平台中的应用,并通过实验对框架的测试效果和时间效率进行分析。实验结果表明,与常用的单元测试自动生成方法相比,单元测试录制方法具有相近的测试效果,并能更好地覆盖需求;在时间效率方面,录制出来的单元测试的运行速度与系统测试相比有明显的提高。综上可知,单元测试录制方法是一种可行的单元测试生成方法,自动化单元测试录制框架具有良好的应用价值,可以很好地满足开发团队的测试工作的需要。

关键词：自动化测试单元测试框架数据流分析测试数据自动生成

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：