论文部分内容阅读
UML中的状态图和通信图可共同作为生成测试用例的模型，用于集成测试用例的生成．在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图，提出一种形式化组合状态图中组合状态的方法，使集成测试模型更加简单，实验结果表明易于生成集成测试用例．
基于UML集成测试模型的生成方法
【摘 要】
：
UML中的状态图和通信图可共同作为生成测试用例的模型，用于集成测试用例的生成．在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图，提出一种形式化组合状态图中组
【机 构】
：
河南科技大学电子信息工程学院,一航导弹院凯迈（洛阳）电子有限公司
【出 处】
：
微电子学与计算机
【发表日期】
：
2008年6期
【基金项目】
：
国家自然科学基金项目（60475021）,国家科技型中小企业技术创新基金项目（05C26214101032）,河南省科技厅软件专项基金项目
其他文献
秋风送桂香，江城迎嘉宾。2011年10月25日，全国公安警事文物收藏专业委员成立大会暨首届公安警事文物收藏工作理论研讨会在湖北警官学院隆重召开。全国公安文联主席祝春林，公安部
近年来，南漳县公安局坚持以科学发展观为统领，以“平安南漳”建设为目标，以人民群众满意为宗旨，突出中心．服务大局，励精图治、开拓创新，有力推动了全县公安工作和队伍建设跨越式发展
作为北京的设计团队，能在上海做一个大型公建项目，机会实属难得。项目位于上海青浦区赵巷，是一个分散式家具商业购物中心，规划总规模60万m2，一期建成面积为20万m2，我们设计的是二期
本文从硬件和软件两方面介绍了双通道数字音频分压计DS1808的应用设计,并给出了其在音频电路中应用的实用电路.
自1976年King和Mills[1]首先使用经静脉双伞状堵塞装置环导管关闭继发孔房间隔缺损(ASD)取得成功,利用介入性方法治疗继发孔ASD已有近30年的历史.随着介入器材的不断改进、介
在第一部分中，讨论了连接糖尿病和动脉粥样硬化(AS)的病理生理过程。在这部分中，将着重讨论糖尿病AS性血管疾病的临床表现和治疗策略。
学术期刊是一个学术交流的平台,学术传播体之间的互动交流是学术传播的一个基本特征,读者与作者之间存在着某种程度的互动关系。读者与作者的互动水平由读者、作者和编辑各自
本文就6min步行试验的适应证、相关因素及临床应用最新进展作一综述。
提出一种基于FPGA的专用处理器设计．它是用于高级加密标准的超小面积设计，支持密钥扩展（现在设计为128位密钥），加密和解密．这个设计采用了完全的8位数据路径宽度，创新的字节替换电路
介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网（HTCP-net）的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队