撞击与生命

前言：想要写出一篇令人眼前一亮的文章吗？我们特意为您整理了5篇撞击与生命范文，相信会为您的写作带来帮助，发现更多的写作思路和灵感。

撞击与生命范文第1篇

关键字：生命科学；生物现状

我国是一个生物资源大国，有着丰富的动植物和微生物资源和广阔的市场需求，同时我国还是一个人口大国，这就为生物技术产业的发展提供了必须的条件。以医药行业为例，最近一些年，恶性肿瘤、心脑血管疾病等高发病都严重威胁着我们正常的生活水平，影响着老年人的生活质量，而这些病目前还没有有效的治疗手段。因此，在医学领域的基因治疗、肝细胞治疗和生物芯片等治疗技术就显得尤为重要。

经过我国多年的不懈努力，我们在生命科学和生物技术领域已经取得了一定的工作基础。从1965年我国在世界上首次人工合成牛胰岛素到参与国际人类基因组计划；从基因工程药物和疫苗的研制生产，在生物制药领域我们取得了颇为丰硕的成果。另外，生物技术的研发，对于农业生产和环境保护也具有相当的作用。比如水稻的杂交技术解决了世界关注的粮食难题。所以，总体来说，我国目前在生命科学和生物技术领域是有一定影响力的，而且多年的累积，也让我们有了冲击国际前沿的实力和技术。

一、我国在发展生命科学和生物技术的现状分析

我国生命科学起源于医药和农业的方面。在上个世纪50年代前后我国成立了生物化学、细胞生物学以及神经科学等研究机构。70年代的时候，我们已经具备了相对比较完整的现代生命科学和生物技术的科研体系。截止目前为止，我国已经形成了四足鼎立的局面，代表着生物技术和生命科学研究的四大基地已经形成规模：北京基地（着眼于农业和环境的研究），上海基地（人口和健康的研究），西南基地（生物多样性研究），武汉基地（水生生物和病毒学研究）。

现阶段我国优先发展的生命科学领域内容包括基因组和蛋白质组学，重大疾病相关基因的识别和克隆，分子生物学和生物花絮额，细胞学和发育生物学等等。在国际上，我国的科学家也承担了1%的人类基因组的测序，而且我国在发展中国家唯一一个加入人类基因组测序的国家，这也从侧面反映出我国在生命科学领域的实力。科学家克隆了功能新基因的全长cDNA有800多条，已经申请了一批国内外专利。

近年来，我国在生命科学领域的生物化学和神经生物学等方面取得了比较突出的科研成果。受生物科学发展的带动，生物技术也取得了长远的进步，比如，在医药生物领域，我国的基因工程药物已经有近二十种上市的产品，有二十多中种药物已经进入一、二期临床使用，处于临床试验的也有近四十种。产品的市场占有率也显著提高。

目前在国际上销量最大的医药品种，前十位当中我们能够自主研发生产八种，这说明我国的生物科技药物已经具备了自主研发的能力。在农业方面，植物基因工程的研究和杂交水稻的研究以及农业微生物基因工程研究方面，也都取得了可喜的研究成果，在很大程度上推进了我国甚至是全世界农业技术的前进。

生命科学和生物技术发展在我国虽然取得了很大的成就，但是改变不了的一点是我国的基本国情。我国是一个拥有13亿人口的大国，所以，在人口和健康领域、农业生产发展领域都面临着巨大的挑战。一些危害人类健康的疾病都已经成为社会关注的重点。农业发展在效益和质量上和发达国家也还有一定的差距，所以，这些问题都反映了我国现代生物技术产业都还处于相对较早的阶段，都需要我们向更高层次发展。

二、生命科学和生物技术发展的相应对策

要提高生命科学和生物技术的发展，我们就必须树立把握机遇的意识，要认识到这两者将对我们今后的生活产生什么样的影响和作用。生命科学和生物技术的发展关系民生，关系国家根本利益，甚至有时候能左右一个国家在国际竞争中的主动权，所以，我们必须充分认识到我们自身的优势和不足，明确我们今后生命科学和生物技术发展的重点。

要切实加强基础性研究，将基因组学、蛋白质组学等学科及其相关的新理论、新方法的放到首要的位置来抓。其次，我们花大力气来研发更新农业技术平台，改造传统农业的生态格局，促进新兴产业的发展，实现多元化经营和生产。对于先进的科技成果，我们要积极推进其应用和转化，要通过培育一批生物技术企业来提高我们的国际竞争能力。

要尽一切可能，切实加强生物资源的保护和开发利用，健全法律和法规体系，推动生命科学和生物技术发展的具体措施。1，通过保护知识产权来实现专利战略，只有这样我们才能在产业发展和国际竞争中掌控主动权,2，加速生命科学和生物技术的产业化进程，改造传统产业，使其和国际接轨，最大限度地提高其效益。3，培养行业的龙头企业，使他们在市场开发和经营方面都能够顺风顺水。4，大力发展生命科学和生物技术的同时，还要建立和完善生物安全评价保障制度，将对其保障不是一纸空文。既要让生命科学和生物科技给经济发展和人们生活带来好处，同时也要在关注生物安全方面所引起的新问题。5，通过加强和国际发达国家质检的合作和交流，开拓我们在国际市场上的合作渠道和发展空间，以此实现和世界先进技术共同发展的目的，最终造福于民。

参考文献：

[1]李学勇. 把握生命科学和生物技术发展的战略机遇. 中国软科学,2003, 3: 124.

[2]陈竺. 世纪之交的生命科学与中国生命科学界. 生命科学, 1996,8: 123.

[3]许智宏. 关于21世纪的生命科学. 河南大学学报, 2001, 41: 127.

撞击与生命范文第2篇

【关键词】生态文明建设;现状;对策

党的十七大报告中将构建生态文明社会的伟大战略明确提出，标志着人与自然关系认识上升到新的高度，生态文明建设已经成为国家及党重视的重要问题。大学生作为新时代社会主义生产力的中坚力量，他们的生态文明观念直接影响着国家、民族等发展，本文主要对大学生生态文明建设的现状进行分析，并探讨有效的处理对策。

1高校大学生生态文明教育的现状

生态文明是人类社会发展到高级阶段的产物，是人类社会的进步状态，是相对积极、开化、进步的。随着社会经济的发展，生态文明必然成为更为高级的文明形态而取代，相对于工业文明，其是人、自然、社会统一和谐的文明形态。生态文明是社会文明体系的具体方面，与政治文明、精神文明及物质文明等共同形成社会主义文明体系。目前我国高校生态文明教育取得了一定的成就，这与高校日渐重视生态文明素质有着直接关系，然而不可否认的是高校在生态文明建设中亦存在一些问题，具体如下。

1.1高校忽视自身在生态文明建设中的作用

教育是改造人的重要途径，通过理论学习能够引导人们正确的认知，之后改进自身的行为。社会成员生态文明素质的普及及实现，需要社会各界的力量进行整合，结合教育、管理去实现。生态文明素质的普及是关系到每一位社会成员和社会整体发展的重大问题，社会全体成员的参与对于生态文明建设有着重要作用。对高校而言，具有重要的引导责任，而对管理而言，高校与其他社会部门之间共同配合支撑。高校是社会文明的宣传阵地及重要的诞生地，因此在社会生态文明体系建设中，高校需要充分的发挥自身的优势，通过技术支持、精神引导及示范引领三个功能指导学生，加强社会生态文明建设的宣传，将绿色思维渗入学生教育中，从而体现思想的号召力。高校在进行科学研究及学科建设中时，需要不断的努力探索能够推动生态文明建设的科学模式及先进技术，促进生态文明建设的落实。

1.2管理不严格，重理论，轻实践

近年来大部分高校开始重视生态文明教育，并因此进行了较多的工作，取得显著成果。然而高校在对学生进行生态文明教育时，主要集中在理论方面，而并未指导学生实际生活中的行为习惯的养成，学生日常生活管理力度较小。大学生处于人生观、价值观、世界观等形成的重要时期，同时其自制力较差，需要科学引导，然而受到较多社会因素的影响，目前高校仍然重视智育，而轻视德育教育，大学生日常行为规范不能彻底执行。高校并未调查、观察学生的日常非法行为，同时高校亦缺乏监督行为，导致大学师生行为习惯养成较为冷漠，同时社会责任感严重缺失，常出现不文明行为。

1.3课堂方式单一

生态文明教育是指教育工作者运用一定的方法，启发、引导受教育对象更好地享用自然、享用生活，自觉养成爱护环境和生态系统的生态保护意识和相应的道德文明习惯。大学师生接受生态文明教育能够树立正确的生态道德观念，自觉培养生态道德，引导大学生养成合理处理人与社会、人与人、人与自然关系的文明行为。生态文明教育目标是引导大学生树立正确科学的生态文明价值观，并自觉养成良好的习惯及行为。然而受到传统教育的影响，目前国内高校生态文明教育主要集中在课堂，方式较为单一，同时途径有限，学生在接受理论引导的时候，缺乏感性认知生态文明的能力，学习积极性较低，导致生态文明教育效果不明显。

2.改进大学生生态文明教育的对策

加强大学生生态文明建设同时需要帮助学生生全面深刻的认识，同时需要对学生进行科学的引导，高校在教育中应该充分的利用自身的理论优势及资源优势，对生态文明建设规律进行不断的探索，将我国当前生态文明建设作为立足点，不断扩展大学生生态文明教育的途径及方法。

2.1完善教育体系，丰富课程内容

生态文明教育为综合性教学学科，同时包含生物学、生态学、环境学等，同时包含生态伦理学、生态哲学、生态美学等，因此在进行生态文明教育时同时需要相应的课程体系进行支撑。高校在对课程体系进行设置时，需要坚持科学完善，不断创新。例如复旦大学本科生通识教育核心课程六大模块就将“生命环境与生命关怀”作为一个模块，对环境科学、生命科学、历史地理、经济、理论及公共卫生等学科资源进行整合。

2.2完善选聘、培养制度，提高教师专业水平

尽量聘用优秀生态环境科学专业教师授课，提高教师队伍的整体水平，同时对教师进行培养，可尽量将枯燥的理论性课程转化为生动形象的课程，将爱护环境等融入课堂中，同时教师需要引导学生树立合理健康的消费观，养成勤俭节约、爱护环境的良好习惯。

2.3丰富教育内容

在建立完善科学的课程体系的同时，高校需要将社会变化作为依据，从而对生态文明教育内容不断完善，与时俱进，结合我国生态环境的变化和我国社会发展的特殊形势进行教学内容的更新完善，满足我国生态环境建设的现实要求。

2.4增加教育手段，建造良好氛围

高校同时可培养健康向上的校园文化氛围，举办废纸回收、大学生文明论坛、校园环保大使评选等活动，营造浓厚的氛围;高校可通过网络等手段对学生进行宣传，通过设置网站等，满足大学生的个性化需求，从而不断提高大学生的义务感及责任感，激发学生的环境保护意识。

参考文献：

[1]姜树萍，赵宇燕，苗建峰，等.高校生态文明教育路径探索[J].2011，（4）.

[1]孙德菁和谐社会视域下大学生生态文明意识教育探析[J].科技视界，2013，（10）.

? i h ?]? @? mso-line-height-rule：exactly'>参考文献：

[1]着眼于教师教学能力的提高：高校教学督导工作的核心――兼谈改进高校教学督导工作的路径 梁文明 谢华 《高教论坛》 2005年06期

[2]传统教学模式与情景式教学中教师角色的转换 秦国际 周甲文 《沈阳工程学院学报》 2010年02期

撞击与生命范文第3篇

关键词：大学生，艾滋病，健康教育

 

我国自1985年发现第一例艾滋病以来, 艾滋病的流行已经进入了快速增长期。目前,艾滋病仍没有有效的预防疫苗，健康教育被认为是预防和控制艾滋病最有效的手段 [1]。青少年思想活跃，正处于性成熟阶段，但又缺乏相关防护意识，成为当前艾滋病预防控制的重点人群。大学生接受新知识能力强，具有高度社会责任感，是艾滋病预防控制的生力军[2]。免费论文。为了解昆明市各高校大学生预防艾滋病健康教育现状，以便为高校制定有效的健康教育方案提供科学依据，笔者于2009年对昆明市4所高校的大学生进行了问卷调查，现将结果报道如下。

1 对象与方法

1.1调查对象

采用分层随机整群抽样方法，选取昆明市四所高校，按年级进行分层，以班级为单位进行整群抽样。分别从四所高校中抽取2008级和2006级大学生，每个年级随机抽取4-6个班级，对抽中班级的全部学生进行自填式问卷调查。

1.2调查方法

参考国内外相关文献资料，自行设计问卷。由经过培训的调查员到现场组织调查对象独立、匿名填写问卷，并当场回收。

1.2.3统计分析

对所有问卷进行统一编码，利用SPSS11.5软件包建立数据库，进行数据录入、整理和统计分析。

2 结果

2.1基本情况

1831名学生接受问卷调查，收回有效问卷1765份，有效率96.40%。1765名调查对象分别来自昆明市的四所大学，其中医学院校学生436人（24.7%），非医学院校学生1329人（75.3%）；男生742人（42.0%），女生1023人（58.0%）；年龄分布在17-25岁，平均年龄为20.83±1.37岁；大学一年级918人（52.0%），三年级学生847人（48.0%）；。

2.2大学生获取艾滋病知识来源情况

调查显示，大学生获取艾滋病知识的主要途径依次是电视、报刊书籍和学校教育，但是最希望获取知识的途径为学校教育。两者相比较，大学生希望通过医生获取艾滋病知识的比例明显高于实际情况（P＜0.001），见表1。

表1 大学生实际与希望获取艾滋病知识的途径比较

撞击与生命范文第4篇

关键词：三明市；体育旅游；开发现状；对策

中图分类号：F590文献标识码：A文章编号：1009—0118（2012）11—0286—02



体育旅游是以体育旅游资源为基础，吸引人们参与感受体育活动和大自然情趣的一种新的旅游形式，是体育与旅游相结合的一种特殊休闲方式，是体育产业的重要组成部分。近年来体育旅游在欧美、日本等国家形成了巨大的旅游市场。随着我国经济的快速增长，人们的生活水平不断的提高，健康的生活与消费方式，越来越受到人们的重视。体育旅游作为一种健康的消费方式之一，越来越被人们所认知并逐渐发展。而在《福建省建设海峡西岸经济区纲要》中明确提出要大力发展旅游业，充分发掘福建的旅游资源，突出“海峡旅游”主题，积极培育一批竞争力强、影响力大的旅游品牌，延伸旅游产业链，打造海峡西岸世界级旅游目的地。随着海西建设的深入，三明市的体育旅游业将迎来新的历史发展机遇，三明市拥有丰富的体育旅游资源，体育旅游具有很大的发展空间，体育旅游业必将成为三明市旅游业的新亮点。

一、研究对象及研究方法

（一）研究对象

福建省三明市体育旅游。

（二）研究方法

文献资料法：查阅相关的文献资料，以获得相关内容与依据。

逻辑分析法：通过对三明市旅游资源的概况进行分析，得出三明体育旅游开发的现状。

归纳法：通过对其他城市体育旅游开发现状进行归纳总结，从而提出三明市体育旅游的开发对策。

二、结果与分析

（一）三明市体育旅游开发的意义

体育旅游作为新兴的产业，其合理的开发能促进体育旅游活动场所与设施的建设，体育器械、服装的开发与生产以及交通、食宿、购物等方面的发展。三明市体育旅游的开发不仅能推动体育器械、服装、食品、建筑、交通等产业的发展，还能增加就业岗位，缓解三明市日益严重的社会就业压力。开展体育旅游活动还可以为三明市创造更加开放的环境，吸引更多体育专业人士、专家、学者、企业家等，他们可以带来大量的信息，资源以便三明市体育旅游的发展；同时也能让国内外体育旅游学者更加了解三明，加强与三明的合作，从而推动全市经济迅速、健康的发展。

（二）三明市体育旅游资源的概况与体育旅游开发的现状

1、三明市体育旅游资源概况

三明市位于福建省西北部，境内气候适宜，气候温暖湿润，地质和地形条件复杂，自然景观多样，文化底蕴深厚，发展历史悠久。三明市山川秀丽，森林资源丰富，被誉为福建省的“绿色宝库”，是福建省的重点“绿色三角”旅游区。三明境内有泰宁猫儿山、三明仙人谷、将乐玉华洞、泰宁大金湖、永安桃源洞、石林等著名风景区，其中泰宁大金湖被人称为“天下第一湖山”。秀丽的山川，很适合开展休闲垂钓、划船、探险、漂流、攀岩、自驾游等类型的体育旅游项目。三明市历史悠久，人杰地灵，有深厚的文化底蕴。如“万寿岩旧石器时代遗址”。悠久的历史，深厚的文化底蕴，形成了很多适合旅游者观赏和参与的体育项目，如赛马、摔跤、赛龙舟、爬竿、过溜索、蹲斗、丢包、射箭等，地域特色十分浓厚。

2、三明市体育旅游开发的现状

三明市是传统的旅游城市，旅游业是三明市的重要产业组成之一。三明市开展了一些休闲体育旅游项目，像游泳、划船、漂流、垂钓等项目。体育旅游在三明市早就得以开展，但却没有得到有关部门的重视，三明市目前还没有为体育旅游设置专门的政府机构，也没有专门的社会机构、专家、学者对此做专门的研究。体育旅游项目基本上只是各大景区开展的小的娱乐活动项目，没有形成规模与品牌，而是依附在传统的旅游项目来开发。随着海西建设的大力开展三明市体育旅游将迎来了新的发展契机，如福建闽华集体与三明市清流政府合作的九龙湖体育运动项目，泰宁“法兰西乡榭”旅游度假村，“大田茶乡休闲游山地车邀请赛”等项目都是目前正在开发的体育旅游项目。相信在不久的将来体育旅游必将在三明市的旅游业中有着举足轻重的地位。

（1）总体特色不够鲜明

三明市是福建重要的体育旅游资源大市，景点景区数量多、种类齐、品位高，但旅游产业发展与先进地区仍然存在明显的差距和不足。，体育旅游资源有特色，但整体特色不够鲜明，三明市虽然拥有诸多经典景区、景点，但行业协同作战能力偏弱，区域合作有名少实，致使全市体育旅游整体形象模糊，核心竞争力不强。“名山名水名人名城”、“山水三明、闽中明珠”等口号显得有些单薄。推出的“精彩海西，尽在三明”、“环大金湖自行车赛”等体育旅游主题还未被众人知晓。各景区联动合力不强。

（2）体育旅游市场发育不健全

三明市在体育旅游市场开发上，也大胆的进行了尝试，比如泰宁大金湖景区的漂流，环湖自行车赛等。群众在参与体育、运作体育的意识上有所提高，但旅游产业结构不合理、不完善、旅游产品单一，市场竞争力弱，特别是缺乏对自然资源的开发归划。在旅游的管理体制上，还存在管理体制不顺，旅游企业的市场地位得不到确认的问题。一些典型的旅游企业如星级酒店、旅行社、车船公司、景区管理机构等，隶属于不同的政府部门，仍然是事业部门、事业管理，没有作为完善的市场主体来培育，缺乏市场调控。

（3）体育旅游品牌开发落后

三明市体育旅游产品的品牌开发仍处于起步阶段，带有很大的盲目性。旅游地、旅游景点和旅游企业缺乏品牌意识，低层次低质量的旅游产品充实市场，旅游投诉率居高不下。尽管出、入境旅游在三明市发展较早，也拥有一些在国际游客中口碑较好的品牌，但此类品牌毕竟属凤毛麟角，相对而言，三明市的大多数旅游品牌称不上真正的名牌。开发一个体育旅游品牌是一个长期的过程，既不是一朝一夕可以完成的，更不是开发工作的完结就结束，要维护一个体育旅游品牌需要坚持不懈地长期努力。现实中急功近利的短期行为依然存在，严重地制约了体育旅游品牌开发。

（4）体育旅游的基础设施配套不足，资金来源有限

基础设施的完善与否对旅游业的影响十分巨大，交通、住宿等硬件条件是旅游业开发的先决条件。虽然三明市近几年交通、酒店等行业发展的很快，但与体育旅游业的需求相比还是存在很大的差距。近几年福建正在大力的发展海西建设，用于基础设施建设的资金投入了很多，但仅仅依靠政府财政资金投入是很有限的，远远不能满足经济发展的资金需求。许多好的体育旅游项目由于缺乏资金而搁浅。三明有如此丰富的体育旅游资源，如要得到更好的开发，就必须首先完善基础设施配套，拓宽资金的来源。

（5）缺乏体育旅游专业人才

近几年来三明市十分重视对体育人才的培养，但还远远满足不了体育旅游开发的需求。特别是懂管理，善经营的体育旅游人才较少以及缺乏地方传统民俗体育及古代传统体育的表演人才。缺乏专业的体育人才已经成为制约体育旅游产业继续发展的瓶颈。体育旅游要健康发展既要硬件设施保证，也要有软件设施。

（三）三明市体育旅游开发的对策

1、提高认识，统一规划

科学合理开发体育旅游资源应提高认识、转变观念，从思想上重新审视体育旅游在三明市服务产业中的地位以及发展的价值，政府部门要把体育旅游的开发提到仪事日程。在体育旅游的开发上，要根据全市各区域的经济、自然、文化传统、景区开发基础等条件的区别，统一规划，科学合理的开发，既要有开发重点，又要使各地独具特色，避免项目开发的重复建设。

2、重点打造三明体育旅游品牌

三明市要重点打造自己的体育旅游品牌。逐步开发一些适宜普通人参与的体育旅游项目，如在山川河流中开辟漂流、峡谷和溶洞中探险、攀岩、滑翔伞等体育旅游产品。还可以利用现有的体育场馆来组织和承办一些国内外大型体育赛事，进一步巩固和完善三明市高水平竞技表演市场建设，大力开发观光型体育旅游项目。充分发挥政府的主导作用，在品牌开发工作初期以及旅游品牌开发中，政府应当扮演导演的角色，加强对体育旅游产品尤其是服务产品品牌的研究、设计与开发工作。由于品牌的附加值仅存在于消费者的认知中，因此品牌定位后，要通过广告、销售和公关等方式大力推广，旅游地、景点、旅游企业将成为体育旅游品牌推广的主体。

3、拓宽体育旅游融资渠道，不断完善基础设施

体育旅游要成为独立的产业，使其达到一定的规模，其自身必须走向市场，拓宽融资渠道。在体育旅游的发展上，一方面要依托政府财政提供的旅游及体育发展的专项资金，保证在体育旅游发展的初期有足够的资金支持；另一方面要合理引进外来投资，鼓励国内大型企业投资体育旅游，还可采取政企联合，区域联合的投资及运作模式，走多元化投资经营道路。同时政府部门应当加大对基础设施的资金投入，为三明市旅游业得快速发展创造更好条件。

4、加强体育旅游人才的培养力度

在体育旅游人才的培养上，应加大旅游教育和培训力度，办好三明学院等院校的旅游专业和体育专业，还可考虑与福建师范大学，厦门大学、福州大学等综合实力强的大学合作创建休闲旅游及体育旅游专业，举办短期的休闲旅游、体育旅游业务培训等举措，为三明市培养一大批高素质、复合型的旅游及体育旅游管理人才。另外，旅游部门还应加强与高等院校的合作，在民族体育旅游资源、传统文化体育旅游的开发上，充分利用好高校的研究开发成果，采取邀请高校民族体育旅游表演队到景区表演，或者与高校合作在景区建设基地等方法来解决景区培养体育旅游表演人才难的问题。

三、结论

通过对三明市体育旅游业的调查与分析得知三明市体育旅游的现状表现为：（一）三明市有着丰富的体育旅游资源，体育旅游的发展具有很大的潜力；（二）三明市的体育旅游业还处于开发的初期阶段，体育旅游开发不具有品牌与自己的特色；（三）三明市体育旅游市场发育不够健全，不能满足体育旅游的发展需求；（四）体育旅游业开发过程中存在着许多的问题和困难。根据以上现象提出相应的开发对策：1、相关政府部门及企业应进行深化改革与科学规划，建立与之发展相适应的制度与措施；2、增强体育旅游业的重视，加大资金投入，不断拓宽融资渠道；3、在开发体育旅游的过程中要注重打造三明市体育旅游的特色与品牌；4、加强对体育旅游人才的培养力度。只有这样三明市的体育旅游才能将资源优势转化为产业优势，才能在海西大开发的背景下得到又快又好的发展，成为三明经济发展的新亮点。

参考文献：

[1]寒忠陪.中国体育旅游资源和体育旅游市场开发研究[J].体育与科学，2005，（5）.

[2]刘凯.体育旅游开发与可持续发展[J].首都体育学院学报，2004，（2）.

撞击与生命范文第5篇

关键词：测试 基于状态说明 全断言覆盖准则 OBDD

中图分类号：TP311 文献标识码：A 文章编号：1007-9416（2013）01-0152-01

在软件测试中生成测试用例的依据是形式覆盖准则[2]。形式覆盖准则为测试人员如何定义测试用例提供依据，通过形式覆盖准则所定义出的测试用例更容易发现软件系统中存在的错误。形式覆盖准则同样也在测试的有效性和充分性之间确定了平衡点。使用形式覆盖准则生成测试用例对软件系统进行测试可以有效保证软件系统的质量。Offutt在他的研究中，定义了四种可以用于状态说明的全断言覆盖准则。有序决策二叉图OBDD （ordered binary decision diagram）是一种用于表示布尔函数的数据结构，由Bryant[3]提出。这篇文章提出了一种基于OBDD生成测试用例的新方法。.

1 基于状态说明的测试

状态说明是规格说明中的一种。FSM可以用于表示状态说明。FSM的节点表示状态，节点间的有向边则表示状态之间的转换事件。 转换事件和转换条件都由布尔变量表示。FSM可以导出到状态变换的谓词表达式，在图1中，状态变换的谓词表达式为 （elevSpeed=0）∧（openButton=pressed）.

2 使用OBDD生成测试用例

全断言覆盖准则要求一个表达式中的所有子项都能影响谓词表达式的值。在p=a∧（b∨c）中，如果子项a 的值为真，那么b和c无论是什么值，都不能改变p，所以在这个谓词表达式中，b和c是多余子项，如果多余子项映射到规格说明中，就是设计当中的一个冗余，甚至是逻辑错误。

OBDD可以针对全断言覆盖准则，对谓词表达式进行分析，检测表达式中是否有多余子项。谓词表达式的OBDD是由终节点和决策节点组成的有向并且不循环图。每一个决策节点N代表一个布尔变量 V1，它拥有的0子节点和1子节点。沿0子节点往下代表V1取值为假，反之则为真。给定一组布尔变量，并确定其顺序，则从根到终节点的路径所经过的决策节点的顺序都相同，这样的决策二叉树称为是有序的。OBDD可以根据改变子项顺序和简化原则进行简化[4]，从而简化测试用例生成过程。

对于表达式p=a∧（b∨c）选择顺序abc，未简化的OBDD如图2（a）所示，对其应用简化准则后，新的OBDD如图2（b）。由根寻找一条到节点c的路径，路径上节点a和节点b的取值，就是节点c可以决定表达式p=a∧（b∨c）的取值环境。此例中，a取1，b取0。确定了子项c的取值环境后，就可以生成针对c的满足全断言覆盖的测试用例：

case1：a=1 b=0 c=0 case2：a=1 b=0 c=1

用同样的方法，生成针对子项a和子项b的满足全断言覆盖的测试用例：

case3：a=0 b=0 c=0 case4：a=1 b=0 c=0

case5：a=1 b=0 c=0 case6：a=1 b=1 c=0

注意到测试用例1，4以及5是相同的，故对于表达式p=a∧（b∨c），满足全断言覆盖准则的测试用例为：

case1：a=1 b=0 c=0 case2：a=1 b=0 c=1

case3：a=1 b=1 c=0 case4：a=0 b=0 c=0

参考文献

[1]A.J.Offutt.Generating test data from state-based specification.SOFTWARE TESTING， VERIFICATION AND RELIABILITY.2003.

[2]Paul Ammann，A.J.Offutt. Introduction To Software Testing.2008.