【摘 要】
：
软件测试是质量保证和故障检测最常用的方法。然而，它也是软件开发生命周期中最昂贵的和耗时的活动。基于代码的和基于规则说明的软件测试已经持续了近四十年。基于模型的测试
【基金项目】
：
国家自然科学基金面上项目（61373166）,浙江省自然科学基金面上项目（Y1100769）
论文部分内容阅读
软件测试是质量保证和故障检测最常用的方法。然而，它也是软件开发生命周期中最昂贵的和耗时的活动。基于代码的和基于规则说明的软件测试已经持续了近四十年。基于模型的测试是软件测试的新方法，其中软件模型被用于产生测试用例。模型是系统的简化表示，模型执行的成本比原始系统更低廉。因此，模型长期以来一直用于系统验证和确认。UML（Unified Modeling Language）是软件系统分析和设计的众所周知的标准。UML模型可以被分成结构模型和行为模型。活动图是一种行为模型，自从UML2．X版本发布以来，活动图增添
其他文献
摘要：在新时代背景下，新闻记者应该跟上时代发展的脚步，通过不断的知识学习来增强自身的专业素养，创新工作方式，这样才可以充分满足现代发展需要，为我国和谐社会的发展建设提供更有力的支持和保障。 关键词：融媒体环境;电视台新闻;采访写作;革新构建 在融媒体时代，电视台的新闻采写人员应该深入探究与融媒体相关的内容，以此来增强自身的融媒体观念，完成融媒体环境特点及其对新闻采写要求等内容的准确把握，争取更
目的 了解本院降糖药的应用情况从而对临床安全用药提供合理的指导。方法 回顾性分析2010~2014年全部的口服降糖药出库数据,借助药品说明书、《中国药典》、《新编药物学》、
目的 分析中药内服外敷联合抗病毒治疗血液肿瘤并发带状疱疹的临床疗效。方法 50例血液肿瘤并发带状疱疹患者,随机分为对照组与实验组,每组25例。对照组患者仅选择抗病毒治疗
图文结合的诗意美术教学,立足传统文化,以古诗词为突破口,以乡情为情感激发点,通过品赏诗文,审美判断识水墨;以情立德,创意实践立主题;集约知识,美术表现研技法,构建儿童水墨
针对人们对于档案库房安防智能化的需求,设计了档案库房智能安防系统,对系统结构及工作原理进行了阐述。利用基于nRF24L01的无线通信模块,构建了无线通信系统。采用pc Duino
摘要：新兴媒体的出现以及传统媒体对自身媒体的创新与改革，加速了融合媒体时代的到来。而新兴媒体和传统媒体也由原有的竞争模式逐渐开始走向融合，而广大受众群体也逐渐由原有的分化开始聚合，在这种大背景下，电视新闻想要在媒体行业立足，就要根据时代发展，对自身采访方式进行改革和创新，提升自身在整個媒体行业的影响力。基于此，本文对融媒体形势下的电视新闻采访技巧做一个详细的论述，以供相关的人员借鉴参考。 关键词
随着现代社会的迅猛发展,传媒领域的基本形态正在产生巨大的转变,传媒行业内部的边界正在逐步消失,数字技术与信息技术正在对服务边界重新定义,作为媒介单位主要功能的信息服务不再是传媒领域的唯一,融媒体时代正在逐步到来,必然会掀起传媒市场中的巨大风暴。县级融媒体中心的建设与智慧城市的建设息息相关,应该充分借助自身的公信力,打造以建设智慧城市为核心目标的崭新融媒体单位,形成颇具县级融媒体中心特色的"智慧城市
近年来,随着机动车增加,各大＂堵城＂陆续出现。各种交通问题日益增多,因此使得智能交通系统的快速发展迫在眉睫。文中在研究传统车辆跟踪方法的基础上,提出基于混合Gaussian模型
针对数值信息与定性领域知识相互融合的推理问题,提出了一种基于云变换的混合推理神经网络。利用逆向正态云发生器可实现论域中定量数值到定性概念描述间不确定关系的转换,建
摘要：高新技术的蓬勃发展很大程度地推动着媒体的变革发展，为媒体领域的多元化发展提供帮助。信息时代的发展对传统媒体的冲击是非常大的，传统媒体在其中已经逐渐丧失了主动权，生存空间也受到了限制，传统媒体在广大受众心中的主导地位正在慢慢减弱，为了在时代发展的浪潮中寻得一席之地，互联网和传统媒体的结合发展已经是当前最重要的发展路径了。本文主要就传统媒体背景下新媒体融合策略展开分析，希望对相关工作者有所帮助。