摘要：统编版高中语文教材注重单元设计。整个单元采用人文主题与语文素养双线结构交织的方式进行安排。教材注重引领学生开展语文实践活动,提升学生素养。结合统编版高中语文教材的特点,从大单元目标的确定、语言实践活动的设计以及有效的阅读评价三个方面探讨学习任务群视域下高中语文大单元教学的有效设计方法。

摘要：现代动漫与网络和数字科技融合后,已发展为集网络运用、手机游戏、多媒体产品、动画卡通、体能智能训练课件等为一体的庞大产业链。随着无线互联网和3G的推出,动漫产品可直达任一手持信息终端。依托互联网和强势电视媒体的巨大广告效应和品牌效应,精明商家热衷对动漫衍生品的投资与开发,使产业带动效应不断扩大。卡通故事、卡通形象及其个性化虚拟人物的性格、品质被系列化延伸开发后,衍生产品几乎涵盖了玩具、食品、服装、文体用品、出版、娱乐、钟表、电子、家居等大部分消费领域。

摘要：以番茄品种"爱斯特"为试材,采用单因素完全随机区组设计,研究了新型绿色生物农药S-诱抗素和新奥霉素对番茄生物学性状、叶绿素荧光参数、品质、单果重、总产量及结果盛期番茄病害的影响。结果表明:叶面喷施S-诱抗素可显著提高番茄生长后期叶绿素含量;喷施S-诱抗素和新奥霉素均能显著提高番茄的单果重和总产量;预防和防治番茄病虫害,且2种绿色生物药剂混合施用效果更显著,但对番茄品质和叶绿素荧光参数无显著影响。

摘要：自改革开放以来,随着中国经济全球化进程的加快,现代文化艺术也随之大量流入,电视、网络、现代歌舞等新的文艺形式,汇成一股强大的冲击波,与我国传统文化艺术相互碰撞，极大地改变了人们原有的审美情趣，使戏剧这一古老传统艺术观众日趋减少，城市剧场出现“门庭冷落车马稀”的窘境。

摘要：误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.

摘要：为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(DTS)的基础上,对比应用过程约束信息前后对测试结果的影响.实验结果表明,过程约束信息可以在一定程度上提高软件静态测试的准确性.

摘要：基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.

摘要：设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.

摘要：近年来,随着信息化进程的不断推进,大型分布式信息系统越来越多。大型分布式信息系统通常由多个分系统构成,为了摒除传统"烟囱"式的信息系统架构,契合系统之间的拟合度,增强系统之间的互联互通,各行业制定了多项标准,这包括大量的数据交换格式标准、工业标准、系统开发的数据库标准,开发文档撰写规范等等。为更好地集成各个分系统,在系统正式投入使用前,必须对行业信息系统各项标准进行验证以确保标准的正确执行。目前,对行业信息系统标准的验证,主要是对交换数据格式标准、数据库标准、文档开发标准的验证,主要依靠人工进行一一比对,缺乏自动化的验证手段。文章提出了一种行业信息化标准的校验方法,包括交换数据格式标准、数据库标准和文档开发标准,对于行业信息系统标准化进展具有重要的意义。

摘要：基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。