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

按条件检索“2”条记录

已选条件:
导出
  • 排序
  • 显示
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 更多

2. 复杂网络软件的着色Petri网层次建模及模型集成确认方法① CSCD 北大核心刊 期刊论文 认领

作者:刘靖;叶新铭;周建涛

外文作者:Liu Jing;Ye Xinming;Zhou Jiantao

第一作者:刘靖

作者机构:[刘靖]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[周建涛]内蒙古大学计算机学院, 更多

来源:高技术通讯,2013,Vol.23,Issue.11

基金:国家自然科学基金; 973计划; 内蒙古自然科学基金重点项目; 内蒙古大学高层次引进人才基金资助项目

知网综合影响因子:0.206

知网复合影响因子:0.293

关键词:着色Petri网(CP-net); 网络软件; 模型确认; 并发控制; 模型检验

摘要:为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层; 次化建模及模型集成 更多

更新时间:Mar 28, 2019
TOP