• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. I/O Conformance Test Generation with Colored Petri Nets SCIE SCOPUS 期刊论文 认领

作者:Liu, J;Ye, XM;Zhou, JT;Song, XY

作者全称:Liu, Jing;Ye, Xinming;Zhou, Jiantao;Song, Xiaoyu

作者机构:[Liu, Jing; Ye, Xinming; Zhou, Jiantao] Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.; [Song, Xiaoyu] Portland State Univ, Dept Elect 更多

第一署名单位:[Liu, Jing; Ye, Xinming; Zhou, Jiantao] Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.

第一作者:Liu, Jing

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.

来源:APPLIED MATHEMATICS & INFORMATION SCIENCES,2014,Vol.8,Issue.6

基金:National Natural Science Foundation of China [61262017, 61262082,; 61163011]; Chinese Ministry of Education [212025]; Inner Mongolia; Science Foundation [2012JQ03]; Introduction Foundation for High-Level; Talents of Inner Mongolia University; Bagui scholarship project

WOS被引频次:1

SCOPUS被引频次:1

关键词:Software testing; test generation; colored Petri nets; input-output; conformance; model simulation

摘要:This paper explores Input-Output Conformance (IOCO) test generation with Colored Petri Nets (CPN). A test generation oriented CPN model and CPN based 更多

更新时间:Mar 28, 2019
TOP