论文部分内容阅读
UML中的状态图和通信图可共同作为生成测试用例的模型，用于集成测试用例的生成．在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图，提出一种形式化组合状态图中组合状态的方法，使集成测试模型更加简单，实验结果表明易于生成集成测试用例．
基于UML集成测试模型的生成方法
【摘 要】
：
UML中的状态图和通信图可共同作为生成测试用例的模型，用于集成测试用例的生成．在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图，提出一种形式化组合状态图中组
【机 构】
：
河南科技大学电子信息工程学院,一航导弹院凯迈（洛阳）电子有限公司
【出 处】
：
微电子学与计算机
【发表日期】
：
2008年6期
【基金项目】
：
国家自然科学基金项目（60475021）,国家科技型中小企业技术创新基金项目（05C26214101032）,河南省科技厅软件专项基金项目
其他文献
本文从硬件和软件两方面介绍了双通道数字音频分压计DS1808的应用设计,并给出了其在音频电路中应用的实用电路.
学术期刊是一个学术交流的平台,学术传播体之间的互动交流是学术传播的一个基本特征,读者与作者之间存在着某种程度的互动关系。读者与作者的互动水平由读者、作者和编辑各自
提出一种基于FPGA的专用处理器设计．它是用于高级加密标准的超小面积设计，支持密钥扩展（现在设计为128位密钥），加密和解密．这个设计采用了完全的8位数据路径宽度，创新的字节替换电路
介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网（HTCP-net）的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队