2016年全国软件分析测试与演化学术会议SATE 2016

来源 :计算机与数字工程 | 被引量 : 0次 | 上传用户:weilove721
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
全国软件分析测试与演化学术会议(SATE)是由中国计算机学会软件工程专委会、系统软件专委会、信息系统专委会主办的软件分析、测试与演化方面的专业学术年会,为广大软件工程领域学者、专业软件分析测试人员、软件开发实践工作者提供了一个展示研究成果、介绍实践经验、交流学术思想的平台。
其他文献
超临界流体萃取技术是七十年代末才兴起的一种新型生物分离精制技术,近年来发展迅速,已被广泛应用于化学、石油、食品、医药、保健品等领域,受到世界各国的普遍重视。可作为超临
为了存无线传感器网络中快递准确获取未知节点的位置信息,论文分析了不对称链路对距离矢量定位算法的影响,提出了一种新的定位方法,仿真表明:该算法具有定位精度高等优点。
本文对国外一流的航天企业的有效专利数量、知识产权运作、知识产权管理等知识产权工作现状进行了分析,指出了我国航天业在知识产权工作方面所存在的差距,最后提出了建设世界一
在各种工业控制系统中,随着变频器等电力电子装置的广泛使用,系统的电磁干扰(EMI)日益严重,相应的抗干扰设计技术(即电磁兼容EMC)已经变得越来越重要。如何提高系统的抗干扰能力
目的探寻不同麻醉方式对老年糖尿病下肢血管病变手术患者认知功能的影响。方法 2018年1—12月间随机抽取80例老年糖尿病下肢血管病变手术患者,采取双盲筛选法将其均分为对照
介绍了美军外国武器装备比较试验计划的目的、原则和流程。分析了其管理和评价标准,在此基础上对我军装备认证采购工作提出了一些意见和建议。
把格蕴涵代数中滤子、素滤子、LI-理想、对偶原子和凸子格等概念拓展到区间集进行了重新定义,研究了三种基本的区间集上的一元格蕴涵代数方程,并给出了方程的可解性判断条件
目的探讨针对性护理对2型糖尿病合并脑卒中患者的临床效果。方法对该院在2017年1—12月期间收治的82例2型糖尿病合并脑卒中患者进行随机分组,采用常规护理的41例患者为常规组
维生素C是众多维生素中人们最熟悉的一种。它是属于水溶性维生素,只能短期储存在人体内。人体不能自行合成制造维生素C,所以必须靠日常饮食来摄取这些每日都必需的维生素。
期刊