动态模拟方法实现输入变量的取值分析

来源 :中国科学院计算技术研究所第六届计算机科学与技术研究生学术讨论会 | 被引量 : 0次 | 上传用户:mesnower
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
确定输入变量的取值范围有利于指导测试用例的选取.一般情形下,通过静态分析,可实现输入变量的取值分析.但对某些有特殊取值要求的输入变量,用静态方法,难以实现其取值分析.为此,本文采用动态模拟的方法,对某些有特殊取值要求的输入变量,进行取值分析.实验证明该方法是行之有效的.
其他文献
作曲家出身的企业家平安俊有着“艺术界成功的企业家,企业界优秀的艺术家”的称誉。他是国家一级作曲家,曾担任过12年鞍山市歌舞团团长。作为辽宁大德实业集团有限公司董事长
本文结合PDSOFT SteelWorks钢结构软件中节点详图的自动标注功能的开发工作,对节点详图中的各种零件图形之间的干涉问题进行了分析、归纳,并在此基础之上,提出了一套有针对性
钢结构是广泛应用于工业和民用的一种建筑结构,结构分析是钢结构CAD中的重要步骤,通过力学分析来检验钢结构设计的稳定性和可靠性.多态模型是支持流程工厂设计全过程的一种建
2009年,浙江省松阳县委、县政府把农村旧房改造作为拉动内需、破解农民建房难、建设社会主义新农村的“头等工程”。松阳县农村信用合作联社(以下简称联社)正在进行的农村旧
在ASIC设计中,越来越多的采用了SoC(System-on-Chip)方式,从而简化了整个系统的复杂性,降低了系统的成本,缩短了从设计到产品的开发时间.嵌入式微控制器(MCU)增强了系统的可
在达尔文遗留下来的书信中,有两封信从前认为是写给马克思的。一封写于1873年10月1日;1897年由爱德华·艾威林(马克思的小女儿爱琳娜的丈夫)在自己的一篇文章中予以公布。另
分布式系统的高性能计算不仅要求对计算机、网络和其他资源进行精心选择和配置,而且要求对应用程序所采用的协议和算法也要进行精心选择和配置.这种选择和配置反过来要求得到
超立方体结构已在诸如iPSC、nCUBE和CM-2的系统中得到实现.而星型互连网络做为Cayley图模型的代表具有比超立方体更具吸引力的结构和特性.其网络规模等于n!,但当从n!扩展到(n
计费管理是OSI定义的五大网管功能域之一.SNMP(简单网络管理协议)作为基于TCP/IP的网络管理标准,在简单性、灵活性和扩展性等方面达到了比较好的的平衡,因此得到广泛采用.
会议
SOC(System-On-a-Chip)在ASIC设计中的运用极大的简化了整个系统的复杂性,降低了系统的成本,缩短了从设计到产品的开发时间.嵌入式微控制器(MCU)增强了系统的可配置性和灵活