论文部分内容阅读
用组件状态机为组件的行为建模，根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系，设计了组件状态机到组件流图的转换算法；提出了一种基于数据流的组件测试方法．按照全使用数据流测试准则，自动生成组件流图的定义一使用路径集．
基于数据流的组件测试
【摘 要】
：
用组件状态机为组件的行为建模，根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系，设计了组件状态机到组件流图的转换算法；提出了一种基于数据流的组件测试方法
【机 构】
：
上海大学计算机工程与科学学院
【出 处】
：
应用科学学报
【发表日期】
：
2007年6期
【基金项目】
：
国家自然科学基金（60673115）,软件工程国家重点实验室开放基金（SKLSE05-13）资助项目
其他文献
日前，令国各省（自治区、直辖市）及新疆生产建设兵团、黑龙江农垦总局主管畜牧业工作的代表聚会江苏南京，就2011年畜牧业生产形势．特别是养猪生产进行回顾分析，并就2012年猪价走势开
以故障发生具有时间延迟特点,且潜在故障只能通过检测发现的系统为研究对象,考虑了检测本身的不完备性,分析和确定了系统在正常、潜在故障、功能故障3种状态下的更换概率和期
永城县通过实施"三个百万"农业综合开发工程,全县一优双高开发及间作套种面积达到100万亩,初创了农业优质、高产、高效的新格局。为深化农村改革,永城县再推新举措,建立了以"
目前，我国已成为继美困之后的第二大动物保健品消费同。预计未来几年，随着我国畜牧业的发展．动物保健品行业仍将保持持续增长态势，到2012年兽药总产值可达375亿～402亿元。
近日，临沂新程金锣牧业有限公司一种病死禽畜无害化处理技术获国家知识产权局实用新型专利证书（证书号第2990061号）。
利用周期前缀是OFDM系统中普遍的符号粗同步方法，但传统方法在多径信道中估计的定时位置会随路径能量的变化而在各条路径变动，导致滞后于理想位置而引入ISI和ICI．基于周期前缀在
本文从叙述高猛钢的基本特性，金相组织及性能入手，阐述了高锰钢水韧处理的必要性和工艺规范，着重指出，水韧处理是高锰钢最佳的热处理方法，并提出了利用铸造余热对高锰钢直接水韧处