1、0 115.722013 112.36 4.49 107.872014 111.26 5.52 105.742015 101.98 6.53 95.454. 贸易摩擦近年来，日本政府不断加强对于进口食品的管制，制定了HACCP、ISO9000、ISO22000、食品溯源制度等一系列高标准严要求的制度体系，这也直接激化了中日双方的贸易摩擦。目前，中国是遭遇日本食品扣留数量最多的国家。而中国农产品在输日过程中也面临着严苛的检查，不仅通关时间长，而且费用高。日本“肯定列表制度”中统一要求执行 0.01 毫克/千克的标准，即每千克允许的残留量不超过0.01 毫克，这极大影响了中国茶叶、蔬菜和烤鳗的出口
2、，导致众多失业人口的出现。这1 数据来源：根据中华人民共和国商务部对外贸易司（）相关数据计算而来XX 大学 20XX 届本科生毕业论文（设计）- 6 -一系列严格的制度和标准，使得近几年中日双方在农产品贸易方面争议不断，摩擦升级。（二）中国农产品对日出口面临的技术性贸易壁垒长期以来，中日之间农产品贸易规模巨大，双方合作密切。自乌拉圭谈判之后，日本逐步建立了涉及农产品的技术性贸易壁垒体系，并不断趋于完善。本文通过分析日本所设置的技术标准和法律法规、产品质量认证和合格评定程序、卫生检验检疫系统来了解目前中国对日农产品出口所面临的技术性贸易壁垒。1. 技术标准和法律法规日本关于农产品设定的技术标准和
3、法律规定数目众多，主要的包括食品安全基本法 、 食品卫生法 、 动植物防疫法 、 蔬菜水果进口检验法 、 水产品检验法等。这些法律法规不仅仅要求标准高，而且大都具有强制性，凡是不达标的产品是不可能进入日本境内进行销售的。这些技术标准制定之后，往往还会根据实际情况进行经常性的修改，修改之后的技术法规要求更加严格，更加详尽。另外，日本采用双重标准的做法，即国内标准和国际标准并用。某些情况下，日本国内制定的标准可能相悖于国际标准。这就要求对日的出口商不能只关注国际上通行的标准体系，还要具体研究日本制定的法规标准，而这无疑会直接增加出口到日本的成本。2006 年 5 月，日本制定的“肯定列表制度”更进
4、一步提高了进口农产品的检查标准。根据这一制度的“一律标准” ，中国对日出口农产品的化学品残留量不得超过 0.01 毫克/千克，几乎达到了零化学残留量的苛刻要求 1。 “肯定列表制度”规定的标准在现实中很难达到，而这一标准体系的出台也对中国农产品出口日本产生了极大的负面影响。2产品质量认证和合格评定程序产品质量认证和合格评定是由日本当局对产品进行检查之后所作出的认可，其代表着日本官方对于该产品的检验结果，因此具有重要意义。 “日本有机农业标准”（Japanese Agriculture Standard，简称 JAS） 2是由日本农林水产省对于食品和农产品做出的质量认证，属于日本食品认证体系中最
5、重要的一种认证。JAS 认证主要采用第三者认证制度，认证过程由日本农林水产省负责，通过认证的产品即可使用 JAS 标志。 日本农业标准中规定进口食品、农产品、林产品、水产品等必须经过认证程序，有机食品类必须符合“日本有机农业标准” ，取得 JAS 认证，方可进口到日本市场。认证分为自愿性和强制性两种，前者由企业自愿申请，而后者由政府以法律形式规定。JAS 认证属于自愿性的，但对于有机食品是强制性的，其他认证制度一般都是自愿性的。产品质量认证制度和合格评定程序的存在，直接加大了别国农产品出口到日本的难度，增加了出口成本。3卫生检验检疫系统1 资料来源：中华人民共和国商务部对外贸易司.中国农产品出
6、口壁垒综述（）2 孔令男. 日本技术性贸易壁垒对中国农产品出口的影响. 山东大学,2014.XX 大学 20XX 届本科生毕业论文（设计）- 7 -日本为了保护国内动植物不受外来病虫害的影响，保证国内人民食用食品安全，往往对于进口的农产品、食品类以及畜产品、林产品等进行严格的检验检疫。日本所制定的有关检验检疫的法律文件主要有：家畜传染病预防法 、 植物检疫法 、 进出境植物检疫法 、 食品卫生法 、 动物检疫管理办法等。而随着全球化形势的发展，各国之间贸易频繁，日本为了保护国内市场和本国人民，制定的法律法规越来越详尽，越来越严格，所涉及的范围也越来越广。根据日本的相关法律，进口的农产品类要通过
7、农林水产省的动植物检疫和厚生省的卫生防疫检查这两重检验检疫环节，而这无疑也延长了农产品进口日本的时间，使得程序更加复杂，环节更加冗长。这些法律法规一个明显的特点就是具有隐蔽性，利用表面上的公平公正来掩盖对于外国进口产品的实际歧视。以产品检验程序为例，对于不同时间进口的同一外国商品，每一次都要经过检查，而对于本国同类产品，日本规定只需一次性对于该产品的生产厂商进行检验即可。这些检验检疫的环节不仅仅对于进口商品提出了高标准严要求，而且在一定程度上直接增加了出口商出口产品的成本，由此成为日本制定的新技术性贸易壁垒。二、 日本技术性贸易壁垒影响中国农产品出口的实证分析（一） 贸易引力模型的构建1贸易引
8、力模型介绍贸易引力模型的思想来自于牛顿提出的万有引力定律：两物体之间的相互引力与两物体质量乘积成正比，与两物体之间地理距离的平方成反比 1，而引力模型的研究内容是两国贸易规模与两国的经济地理等因素之间的相关关系。随着全球贸易的发展，Tinbergen 和 Poyhonen 两位学者分别于 1962 年和 1963 年应用引力模型来研究国际贸易问题，并且得出相同结果：两国的国内生产水平对于双边贸易总额产生积极影响，而两国之间的地理距离对双边贸易总额造成负面影响。最初形成的贸易引力模型形式为：Xij = ( )经过后来学者的补充和修改之后，原引力模型演变为：= b + + ln ln ln ln+
9、 其中 Xij 表示 i 国向 j 国出口的产品总量即两国之间的贸易总额； 分别表示出口和 国 i 国和进口国 j 国的经济总量，通常以国内生产总值（Gross Domestic Product，简称GDP）量化表示； b 是常数， 由此式可以表示两国之间的地理距离； 、 、 是参数。看出，两国的经济总量越大，两国之间贸易规模越大，但其贸易规模随着两国之间地理1 徐维,贾金荣. 技术性贸易壁垒对中国农产品出口的影响基于引力模型的实证研究. 中国经济问题,2011,02:45-51.摘 要从软件产业的发展初期到目前的大型软件开发过程，软件测试已成为其中一个不可分割的部分。随着软件规模的日益增大，
10、软件测试问题也日益突出，现代社会对软件的依赖越来越强,高可信软件测试有着广泛的需求，基于缺陷模式的软件测试技术作为高可信软件的重要保证,可以大大降低软件的缺陷密度,提高软件的可信性。本文从测试的基本概念入手,深入剖析软件测试相关理论关键词：软件测试； 软件测试的分类； 软件测试方法； 测试用例；测试工具；21 软件测试的发展史 20 世纪 60 年代（软件工程建立前） ，为表明程序正确而进行测试。 1972 年在北卡罗来纳大学举行了首届软件测试正式会议。 1975 年 John Good Enough 和 Susan Gerhart 在 IEEE 上发表了测试数据选择的原理的文章，软件测试被确
11、定为一种研究方向。 1979 年，Glenford Myers 的软件测试艺术 ，对测试做了定义：测试是为发现错误而执行的一个程序或者系统的过程。 20 世纪 80 年代早期， “质量” 的号角开始吹响。软件测试定义发生了改变，测试不单纯是一个发现错误的过程，而且包含软件质量评价的内容。制定了各类标准。 1983 年，Bill Hetzel 在软件测试完全指南中指出：测试是以评价一个程序或者系统属性为目标的任何一种活动，测试是对软件质量的度量。 20 世纪 90 年代，测试工具盛行起来。 1996 年提出的测试能力成熟度 TCMM（Testing Capability Maturity Mod
12、el） 、测试支持度 TSM（Testability Support Model） 、测试成熟度TMM（Testing Maturity Model） 。 到了 2002 年，Rick 和 Stefan 在系统的软件测试一书中对软件测试做了进一步定义：测试是为了度量和提高被测软件的质量，对测试软件进行工程设计、实施和维护的整个生命过程。2 软件测试的基础理论2.1 软件测试的定义软件测试使用人工或者自动手段来运行或测试某个系统的过程,其目的在于检验它是否满足规定的需求或弄清预期结果与实际结果之间的差别。 测试并不仅仅是为了找出错误.通过分析错误产生的原因和错误的发生趋势,可以帮助项目管理者发现
13、当前软件开发过程中的缺陷,以便及时改进； 这种分析也能帮助测试人员设计出有针对性的测试方法,改善测试的效率和有效性； 没有发现错误的测试也是有价值的,完整的测试是评定软件质量的一种方法。32.2 软件测试的描述测试是软件开发过程的重要组成部分, 是用来确认一个程序的品质或性能是否符合开发之前所提出的一些要求。软件测试的目的, 第一是确认软件的质量, 其一方面是确认软件做了你所期望的事情（Do the right thing）, 另一方面是确认软件以正确的方式来做了这个事件（Do it right） ；第二是提供信息, 比如提供给开发人员或程序经理的反馈信息, 为风险评估所准备的信息；第三软件测
14、试不仅是在测试软件产品的本身, 而且还包括软件开发的过程。如果一个软件产品开发完成之后发现了很多问题, 这说明此软件开发过程很可能是有缺陷的。2.3 软件测试的目的 测试是为了发现程序中的错误而执行程序的过程； 测试是确保最终用户的产品符合用户的需求； 成功的测试是发现了至今为止尚未发现的错误的测试；2.4 软件测试的原则 尽早地进行软件测试，并把软件测试贯穿整个软件生命周期 软件测试应追溯 测试应由第三方来构造 穷举测试时不可能，要遵循 good-enough 原则 必须确定预期输出结果 必须彻底检查每个测试结果 充分注意测试中的群集现象 其他值得注意到规律和经验3 软件测试的内容3.1 验
15、证(verification)4验证(verification)是保证软件正确地实现了一些特定功能的一系列活动, 即保证软件做了你所期望的事情。(Do the right thing) 确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程； 程序正确性的形式证明, 即采用形式理论证明程序符号设计规约规定的过程； 评市、审查、测试、检查、审计等各类活动, 或对某些项处理、服务或文件等是否和规定的需求相一致进行判断和提出报告。3.2 确认(validation)确认(validation)是一系列的活动和过程, 目的是想证实在一个给定的外部环境中软件的逻辑正确性。即保证软件以正确的
16、方式来做了这个事件(Do it right) 静态确认, 不在计算机上实际执行程序, 通过人工或程序分析来证明软件的正确性； 动态确认, 通过执行程序做分析 , 测试程序的动态行为 , 以证实软件是否存在问题。4 软件测试的分类4.1 角度分类 从是否关心软件内部结构和具体实现的角度划分（按测试分类） 白盒测试 黑盒测试 灰盒测试 从是否执行程序的角度 静态测试 动态测试54.2 阶段细分 从软件开发的过程按阶段划分有 单元测试 集成测试 确认测试 系统测试 验收测试 回归测试 Alpha 测试 Beta 测试5 软件测试流程5.1 软件测试活动制定测试计划测试设计开发实施软件测试评 审版本发
17、布新版本测试准备阶段未通过评审软件测试活动包括：制定测试计划、测试设计开发和开发、执行测试、评估测试66 软件测试用例方法6.1 测试用例设计的基本原则 用成熟测试用例设计方法来指导设计； 测试用例的正确性； 测试用例的代表性； 测试结果的可判定性； 测试结果的可再现性； 足够详细、准确和清晰的步骤；6.2 设计测试用例应注意哪些问题 不要把测试用例设计等同于测试输入数据的设计； 不要强调测试用例设计得越详细越好； 不要追求测试用例设计“一步到位” ； 不要将多个测试用例混在一个用例中； 不要让没有测试经验的人员设计测试用例；6.3 测试用例的作用 有效性：有效地节省时间和资源，提高测试效率；
18、 避免测试的盲目性，使得软件测试的实施重点突出、目的明确； 可维护性，降低工作强度，缩短项目周期； 可复用性，使得测试过程事半功倍； 可评估性：程序代码质量的量化标准应该用测试用例的通过率和测试数目来进行评估； 可管理性，测试用例是测试人员在测试过程中的重要参考依据，便于对测试工作进行有效的管理；6.4 测试用例设计方法6.4.1 等价类划分6.4.1.1 划分等价类等价类是指某个输入域的子集合。在该子集合中,各个输入数据对于揭露程序中的错误都是等效的，并合理地假定：测试某等价类的代表值就等于对这一7类其它值的测试，因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测
19、试的输入条件就可以用少量代表性的测试数据取得较好的测试结果。等价类划分可有两种不同的情况：有效等价类和无效等价类。1)有效等价类是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。2)无效等价类与有效等价类的定义恰巧相反。无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。举例说明：某程序规定：“输入三个整数 a 、 b 、 c 分别作为三边的边长构成三角形。通过程序判定所构成的三角形的类型，当此三角形为一般三角形、等腰三角形及等边三角形时，分别作
20、计算 “。用等价类划分方法为该程序进行测试用例设计。分析题目中给出和隐含的对输入条件的要求： （1）整数 （2）三个数 （3）非零数 （4）正数 （5）两边之和大于第三边 （6）等腰 （7）等边 如果 a 、 b 、 c 满足条件（ 1 ） （ 4 ） ，则输出下列四种情况之一：1)如果不满足条件（5） ，则程序输出为 “ 非三角形 “ 。2)如果三条边相等即满足条件（7） ，则程序输出为 “ 等边三角形 “ 。3)如果只有两条边相等、即满足条件（6） ，则程序输出为 “ 等腰三角形 “ 。4)如果三条边都不相等，则程序输出为 “ 一般三角形 “ 。 列出等价类表并编号有效等价类型 号码 无效
21、等价类 号码121314151617整数1 a 为非整数一边为 b 为非整数非整数 c 为非整数两边为 a，b 为非整数非整数 b，c 为非整数a，c 为非整数三边 a，b，c 均为非整数18输入条件输入三个整数三个数 2 只给 a 1982021222324只给一边 只给 b只给 c只给 ab只给一边 只给 b，c只给 ac给出三个以上 25262728293031非零数3 a 为 0一边为零 b 为 0c 为 0a，b 为 0只给一边 b，c 为 0a，c 为 0三边 a，b，c 均为 0 32333435363738正数4 acb+caa+cb567a+bca+b=cb+cab+c=aa
22、+cba+c=b 45构成等腰三角形a=bb=c 且两边之和大于第三边a=c 8910输出条件构成等边三角形a=b=c11覆盖有效等价类的测试用例：a b c 覆盖等价类号码3 4 5 （1）-（7）4 4 5 （1）-（7） ， （8）94 5 5 （1）-（7） ， （9） 5 4 5 （1）-（7） ， （10）4 4 4 （1）-（7） ， （11）覆盖无效等价类的测试用例：6.4.2 边界值6.4.2.1 定义边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界a b c覆盖等价类号码a b
23、 c 覆盖等价 类号码2.5 4 5 12 0 0 5 293 4.5 5 13 3 0 0 303 4.5 5.5 14 0 4 0 313.5 4.5 5 15 0 0 0 323 4.5 5.5 16 -3 4 5 333.5 4 4.5 17 3 -4 5 344.5 4.5 5.5 18 3 4 -5 353 19 -3 -4 5 364 20 -3 4 -5 375 21 3 -4 -5 383 4 22 -3 -4 -5 394 5 23 3 1 5 403 5 24 3 2 5 413 4 5 25 3 1 1 420 4 5 26 3 2 1 433 0 5 27 1 4 2
24、 443 4 0 28 3 4 1 45106.4.2.2 与等价划分的区别 边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。 边界值分析不仅考虑输入条件，还要考虑输出空间产生的测试情况。举例说明：现有一个学生标准化考试批阅试卷,产生成绩报告的程序。其规格说明如下:程序的输入文件由一些有 80 个字符的记录组成,如右图所示，所有记录分为 3 组：标题：这一组只有一个记录，其内容为输出成绩报告的名字。试卷各题标准答案记录：每个记录均在第 80 个字符处标以数字“2“。该组的第一个记录的第 1 至第 3 个字符为题目编号（取值为 1 一 999） 。第 1
25、0 至第59 个字符给出第 1 至第 50 题的答案（每个合法字符表示一个答案） 。该组的第2，第 3个记录相应为第 51 至第 100，第 101 至第 150，题的答案。每个学生的答卷描述：该组中每个记录的第 80 个字符均为数字“3“。每个学生的答卷在若干个记录中给出。如甲的首记录第 1 至第 9 字符给出学生姓名及学号，第 10 至第 59 字符列出的是甲所做的第 1 至第 50 题的答案。若试题数超过 50，则第 2，第 3纪录分别给出他的第 51 至第 100，第 101 至第150题的解答。然后是学生乙的答卷记录。学生人数不超过 200，试题数不超过 999。 程序的输出有 4 个报告：a)按学号排列的成绩单，列出每个学生的成绩、名次。b)按学生成绩排序的成绩单。c)平均分数及标准偏差的报告。d)试题分析报告。按试题号排序，列出各题学生答对的百分比。 分布概率为 ,则随机变量 X 的熵定义为：p(x)（2-2）= ()log()所以由公式可以推导出，当随机事件中所有事件概率相等时，熵最大。反过来，当熵越大时，
