基于扩展的层次有色petri网的组合服务测试用例生成

来源 :东南大学学报:自然科学版 | 被引量 : 0次 | 上传用户:pluto529
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.
其他文献
提出了内藏钢桁架带洞口混凝土组合核心筒,该组合核心筒包含2种组合,即不同受力体系一桁架与核心筒的组合、不同材料型钢与混凝土的组合,形成了双重组合核心筒,对2个1/6缩尺的带洞
目的建立同时测定人血清中苯巴比妥(PB)、苯妥英(PT)和卡马西平(CBZ)质量浓度的反相高效液相色谱(RP—HPLC)法。方法色谱柱为C18柱(150mm×4.6mm,5μm),柱温30℃,检测波长243nm,流动相为
为了准确描述塑性与损伤在不同耦合状态下材料的本构关系特性,将塑性与损伤视为具有耗散特征的内变量.在不可逆热力学理论框架下基于正交准则和极值原理,阐述内变量演化律的
为提高台风多发地区风电结构的安全性和经济性,提出预应力拉索与塔架结合的索塔型风机结构.基于非线性振动理论推导了索塔结构的动力平衡方程;采用预应力悬链线单元、实体单