论文部分内容阅读
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
基于CHAM的SA级全路径覆盖方法
【摘 要】
：
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方
【机 构】
：
哈尔滨师范大学现代教育技术中心,黑龙江司法警官职业学院,哈尔滨师范大学计算机科学与信息工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2010年4期
【基金项目】
：
黑龙江省教育厅科技项目（11531237）
其他文献
国务院公报编辑室广西政报编辑部宁夏政报编辑部四川政报社黑龙江政报社贵州政报社湖南政报社浙江政报社陕西政报编辑部天津政报编辑部云南政报编辑部河北政报编辑部广东政报
介绍了一种采用CAN总线的小卫星数据采集装置.装置以应用于小卫星地面测试设备为主要目的,以FPGA为核心单元,控制外围CAN控制器和A/D转换器,实现数字量和模拟量的采集.阐述了
配价理论最初应用于语言学时同动词有着密切的关系，随着研究范围的不断扩大和深入，该理论被成功地运用于名词和形容词。对于配价理论可否应用于前置词在语言学界还没有达成共识
国内的钻杆管端镦锻机通常以液压式镦锻机为主,而天钢格兰特和渤海石油装备第一机械厂均选用了机械式镦锻机。本文介绍了机械式镦锻机的结构及工作原理、生产能力,机械式镦锻
在移动Ad Hoe网络中，基于拓扑的路由易发生链路断开，基于地理位置的路由易产生拓扑洞，这都会大大降质路由算法的性能，甚至会出现路由失败的问题．为此文中提出了基于空间位置和场景
从基于身份密钥体系出发,提出了一种适用于无线传感器网络的轻量级广播方法--IBESB(Identity-Based Encryption Schcwne For Broadcasting).首先简要介绍了安全证明基础,然后
设计了一种基于机器特征的软件版权保护方法,给出了软件版权保护的模型,着重阐述了基于部件特征值的序列号生成机制和实施步骤,利用虚拟机保护来加密核心代码,软件加壳等几个
由矢量心电图衍生标准十二导联心电图的传统方法是Dower转换,由于模型过于简单,在心电图细节方面重建效果不佳.为了提高衍生效果,提出一种基于卷积神经网络的衍生方法.首先采