• 所属院系:计算机学院(软件学院)
年份: ~

全部成果分类

显示更多
导出
  • 排序
  • 显示
1. Testing OpenFlow interaction property based on hierarchy CPN SCOPUS EI 期刊论文 会议论文 认领

作者:Dong L.;Li H.;He N.;Xing Y.

作者全称:Dong, Lulu;Li, Hua;He, Nan;Xing, Yi

作者机构:[Dong, Lulu ;Li, Hua ;He, Nan ;Xing, Yi ] College of Computer Science, Inner Mongolia University, Hohhot, Inner-Mongolia, China

第一作者:Dong, Lulu

来源:Proceedings - International Conference on Network Protocols, ICNP,2013

基金:IEEE Computer Society

摘要:OpenFlow is a new protocol which enables researchers to run experimental protocols in a network without changing the network topology. In the paper, w 更多

2. Symbolic test generation and execution of route protocol SCOPUS 期刊论文 认领

作者:Xing Y.;Ye X.-M.;Xie G.-G.

作者机构:[Xing, Y] Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China, School of Computer, Inner Mongolia University, Hohhot 更多

第一作者:Xing Y.

通讯作者:Xing, Y

通讯作者地址:Xing, Y.; Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China; 电子邮件: xingyi@ict.ac.cn

来源:Jisuanji Xuebao/Chinese Journal of Computers,2010,Vol.33,Issue.3

摘要:Protocol conformance test can verify the correctness of implementation under test. Regarding the characteristic of IP network routing protocol, a symb 更多

3. Research on the interactive property testing based on Petri net SCOPUS EI 期刊论文 会议论文 认领

作者:Xue Y.;Li H.;Xing Y.;Ye X.

作者全称:Xue, Yu;Li, Hua;Xing, Yi;Ye, Xinming

作者机构:[Xue, Yu ;Li, Hua ;Xing, Yi ;Ye, Xinming ] College of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Xue, Yu

通讯作者:Xue, Y.

通讯作者地址:Xue, Y.; College of Computer Science, Inner Mongolia University, Hohhot, China

来源:2012 International Conference on Systems and Informatics, ICSAI 2012,2012

摘要:The aim of property based testing is to validate an IUT with respect to a target property, to observe whether the property is violated or not. Many di 更多

4. Study of interaction property testing of distributed system based on petri net SCOPUS EI 期刊论文 会议论文 认领

作者:Li H.;Xing Y.;Xue Y.;Ye X.

作者全称:Li, Hua;Xing, Yi;Xue, Yu;Ye, Xinming

作者机构:[Li, Hua ;Xing, Yi ;Xue, Yu ;Ye, Xinming ] College of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Li, Hua

通讯作者:Li, H.(cslihua@imu.edu.cn)

通讯作者地址:Li, H.; College of Computer Science, Inner Mongolia University, Hohhot, China; 电子邮件: cslihua@imu.edu.cn

来源:Proceedings - 2012 IEEE 8th World Congress on Services, SERVICES 2012,2012

基金:IEEE;IEEE Computer Society (CS);TC-SVC;IBM;SAP

摘要:Interaction property is a natural feature of many distributed systems which finish their work on network. But most of them face state explosion when t 更多

5. Testing OpenFlow Interaction Property Based on Hierarchy CPN CPCI-S 会议论文 认领

作者:Dong, LL;Li, H;He, N;Xing, Y

作者全称:Dong, Lulu;Li, Hua;He, Nan;Xing, Yi

作者机构:[Dong, Lulu; Li, Hua; He, Nan; Xing, Yi] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Mongol Peo Rep.

第一作者:Dong, Lulu

通讯作者:Dong, LL

通讯作者地址:Dong, LL (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Mongol Peo Rep.

会议名称:21st IEEE International Conference on Network Protocols (ICNP)

会议日期:OCT 07-10, 2013

来源:2013 21ST IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP),2013

摘要:OpenFlow is a new protocol which enables researchers to run experimental protocols in a network without changing the network topology. In the paper, w 更多

6. 一致性测试的静态需求测试研究 CSCD 期刊论文 认领

作者:邢熠;叶新铭

外文作者:XING Yi;YE Xin-ming;XING Yi[1];YE Xin-ming[2]

第一作者:邢熠

作者机构:[邢熠]中国科学院计算技术研究所,北京;[邢熠]中国科学院研究生院,北京;[邢熠;叶新铭]内蒙古大学计算机学院,呼和浩特;[邢熠]中国科学院计算技术研究所,北京,10008 更多

来源:计算机工程,2009,Vol.35,Issue.24

基金:国家自然科学基金资助项目(90604015 60863015); 教育部春晖基金资助项目(Z2007-1-01032); 内蒙古自然科学基金资助重点项目(200711020803 20080404ZD20);国家自然科学基金,教育部春晖基金,内蒙古自然科学基金重点项目

知网综合影响因子:0.550

知网复合影响因子:0.901

关键词:静态需求;一致性测试;采样;关联规则

摘要:针对一致性测试中的静态需求测试通常采用手工方法而产生的效率低问题,提出一种基于统计学习的方法,包括静态需求的关联规则表示,并对采样的协议数据进行关联规则挖 更多

7. 基于可用性的一致性测试套选择 CSCD 期刊论文 认领

作者:邢熠;叶新铭;谢高岗

外文作者:XING Yi;YE Xin-ming;XIE Gao-gang;XING Yi[1];YE Xin-ming[2];XIE Gao-gang[3]

第一作者:邢熠

作者机构:[邢熠;谢高岗]中国科学院计算技术研究所,北京;[邢熠]中国科学院研究生院,北京;[邢熠;叶新铭]内蒙古大学计算机学院,内蒙古呼和浩特;[邢熠]中国科学院计算技术研究 更多

来源:计算机科学,2009,Vol.36,Issue.12

基金:本文受国家自然科学基金项目(90604015)(60863015),内蒙古自然基金重点项目(200711020803),教育部春晖项目(Z200-1-01032)资助.;国家自然科学基金,内蒙古自然科学基金重点项目,教育部"春晖计划"项目

教育部学科:控制科学与工程,软件工程,计算机科学与技术

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:一致性测试;测试选择;接受域;采样;可用性

摘要:一致性测试套选择是一致性测试中非常重要的阶段。测试生成的测试套集受到测试成本、覆盖度、可用性等因素的影响,只有经过测试选择后得到的测试套子集才可以用于 更多

8. 网络协议测试的符号化一致性关系研究 CSCD 期刊论文 认领

作者:邢熠;叶新铭;谢高岗

外文作者:XING Yi;YE Xin-ming;XIE Gao-gang;XING Yi[1];YE Xin-ming[2];XIE Gao-gang[3]

第一作者:邢熠

作者机构:[邢熠;谢高岗]中国科学院计算技术研究所,北京;[邢熠]中国科学院研究生院,北京;[邢熠;叶新铭]内蒙古大学计算机学院,呼和浩特;[邢熠]中国科学院计算技术研究所,北京 更多

来源:计算机工程与应用,2008,Vol.44,Issue.29

基金:国家自然科学基金(No.60403031,No.90604015).

知网综合影响因子:0.570

知网复合影响因子:0.986

关键词:符号化一致性关系;一致性;则试;输入输出符号变迁系统(IOTS);符号化一致性关系;一致性测试;输入输出符号变迁系统(IOTS);

摘要:协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础.网络协议的特点之一是控制消息中会携带大量数据针对网络协议的该特点提出了符号化的一致 更多

9. 路由协议的符号化测试生成 CSCD 期刊论文 认领

作者:邢熠;叶新铭;谢高岗

外文作者:XING Yi;YE Xin-Ming;XIE Gao-Gang;XING Yi[1];YE Xin-Ming[2];XIE Gao-Gang[3]

第一作者:邢熠

作者机构:[邢熠;谢高岗]中国科学院计算技术研究所,北京;[邢熠]中国科学院研究生院,北京;[邢熠;叶新铭]内蒙古大学计算机学院,呼和浩特;[邢熠]中国科学院计算技术研究所,北京 更多

来源:计算机学报,2010,Vol.33,Issue.3

基金:国家自然科学基金(60403031 90604015 60903208); 国家“九七三”重点基础研究发展规划项目基金(2007CB310702); 中国科学院重大科研装备研制项目(YZ200824)资助;国家自然科学基金,科技部科研项目,中国科学院重大科研装备研制项目

知网综合影响因子:2.580

知网复合影响因子:4.317

关键词:协议一致性测试;统一语义模型;符号测试生成;符号执行;数据选择

摘要:协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模 更多

10. 基于Token选取的OpenStack单一平面网络建模方法 CSCD 北大核心刊 期刊论文 认领

作者:李华;邢熠;张玉荣

外文作者:Li Hua;Xing Yi;Zhang Yurong

第一作者:李华

作者机构:[李华]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[邢熠]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[张玉荣]内蒙古大学计算机学院, 呼 更多

来源:计算机科学,2016,Vol.43,Issue.11

基金:国家自然科学基金项目

教育部学科:控制科学与工程,软件工程,计算机科学与技术

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:符号执行; token选择; 单一平面网络

摘要:CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,to; ken的选取采用 更多

11. 基于CPN对系统的并发行为进行测试 CSCD 北大核心刊 期刊论文 认领

作者:李华;孙涛;王显荣;邢熠;李颖杰;夏兴行

外文作者:Li Hua;Sun Tao;Wang Xianrong;Xing Yi;Li Yingjie;Xia Xinghang

第一作者:李华

作者机构:[李华]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[孙涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[王显荣]内蒙古大学计算机学院, 呼 更多

来源:计算机科学,2016,Vol.43,Issue.1

基金:国家自然科学基金项目; 内蒙古自然科学基金项目

教育部学科:控制科学与工程,软件工程,计算机科学与技术

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:并发行为; 测试序列生成

摘要:首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前; 提下,将测试 更多

12. 转型后的内蒙古银行网络系统设计与研究 学位论文 认领

作者:王楠

学位授予单位:内蒙古大学

导师:邢熠

学位名称:硕士

论文提交日期:2011

学位论文类别:硕士学位论文

13. 基于银行开发平台的工商验资联网核查项目研究 学位论文 认领

作者:郭小伟

学位授予单位:内蒙古大学

导师:邢熠

学位名称:硕士

论文提交日期:2011

学位论文类别:硕士学位论文

14. 基于验证与测试协同的网络软件可信性确认方法 科技成果 疑似

成果完成人:刘靖;孙涛;叶新铭;周建涛;李华;邢熠;白云莉

第一完成单位:[刘靖;孙涛;叶新铭;周建涛;李华;邢熠;白云莉]内蒙古大学

成果类别:基础理论

成果水平:国内领先

年份:2010

15. IPv6 over DVB分布式资源传输和应用技术 科技成果 疑似

成果完成人:叶新铭;李军;李茹;白翔宇;张珺;刘靖;王俊义;吴承勇;许智君;邢熠;谢辉

第一完成单位:[叶新铭;李军;李茹;白翔宇;张珺;刘靖;王俊义;吴承勇;许智君;邢熠;谢辉]内蒙古大学

成果类别:应用技术

成果水平:国内领先

年份:2008

18. CPN建模与on-the-fly方法相结合的测试用例生成 CSCD 北大核心刊 期刊论文 认领

作者:张玉荣;李华;邢熠;王显荣;阮宏玮;张素梅

外文作者:Zhang Yurong;Lihua;Xing Yi;Wang Xianrong;Ruan Hongwei;Zhang Sumei

第一作者:张玉荣

作者机构:[张玉荣] 内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古,中国.;[李华] 内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古,中国.;[邢熠] 内蒙古大 更多

来源:软件学报,2017,Vol.28,Issue.10

基金:国家自然科学基金; 内蒙古自治区自然科学基金; 内蒙古自治区高校科学技术研究项目; 赛尔创新项目

教育部学科:控制科学与工程,计算机科学与技术,软件工程

知网综合影响因子:2.658

知网复合影响因子:4.259

关键词:on-the-fly测试; CPN层次模型; 扩展可达图; 同步乘积; 测试例

摘要:在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模 方法结合起来,用于生成 更多

19. Synthesis of carbon doped Bi2MoO6 for enhanced photocatalytic performance and tumor photodynamic therapy efficiency SCOPUS 期刊论文 疑似

作者:Xing Y.;Gao X.;Ji G.;Liu Z.;Du C.

作者机构:[Xing, Y] College of Chemistry and Chemical Engineering, Inner Mongolia University, Hohhot, Inner Mongolia 010021, China;[ Gao, X] College of Chemist 更多

通讯作者地址:Du, C.; College of Chemistry and Chemical Engineering, Inner Mongolia UniversityChina; 电子邮件: cedchf@imu.edu.cn

来源:Applied Surface Science,2019,Vol.465

摘要:In this work, a series of carbon-doped Bi2MoO6 nanomaterials were synthesized by hydrothermal-calcination method using biomass carbon-glucose as carbo 更多

更新时间:Mar 28, 2019
TOP