检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

269 篇 会议
60 篇 期刊文献

馆藏范围

329 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

205 篇 工学
- 182 篇 计算机科学与技术...
- 139 篇 软件工程
- 30 篇 控制科学与工程
- 21 篇 信息与通信工程
- 16 篇 交通运输工程
- 15 篇 机械工程
- 15 篇 生物工程
- 11 篇 建筑学
- 9 篇 土木工程
- 8 篇 网络空间安全
- 7 篇 材料科学与工程（可...
- 7 篇 电气工程
- 6 篇 动力工程及工程热...
- 4 篇 光学工程
- 4 篇 石油与天然气工程
97 篇 理学
- 74 篇 数学
- 17 篇 生物学
- 14 篇 统计学（可授理学、...
- 9 篇 系统科学
- 8 篇 物理学
72 篇 管理学
- 41 篇 管理科学与工程(可...
- 32 篇 图书情报与档案管...
- 14 篇 工商管理
- 5 篇 公共管理
9 篇 医学
- 8 篇 公共卫生与预防医...
- 4 篇 基础医学(可授医学...
- 4 篇 临床医学
8 篇 经济学
- 8 篇 应用经济学
8 篇 法学
- 6 篇 社会学
5 篇 艺术学
- 5 篇 设计学（可授艺术学...
2 篇 农学
1 篇 教育学

主题

29 篇 software testing
22 篇 testing
21 篇 petri nets
20 篇 web services
17 篇 software
15 篇 model checking
13 篇 software quality
10 篇 analytical model...
10 篇 cloud computing
9 篇 laboratories
9 篇 quality of servi...
9 篇 computational mo...
9 篇 semantics
8 篇 feature extracti...
8 篇 security
7 篇 software reliabi...
7 篇 costs
7 篇 algorithm design...
7 篇 business
7 篇 training

机构

165 篇 shanghai key lab...
74 篇 school of comput...
55 篇 department of co...
40 篇 shanghai key lab...
24 篇 department of co...
19 篇 shanghai key lab...
19 篇 school of comput...
16 篇 school of inform...
16 篇 shanghai key lab...
10 篇 school of comput...
10 篇 school of cyber ...
9 篇 shanghai key lab...
8 篇 east china unive...
7 篇 shanghai jiao to...
7 篇 guangxi collabor...
7 篇 computing center...
6 篇 shanghai enginee...
6 篇 shanghai key lab...
6 篇 faculty of engin...
6 篇 beijing key lab....

作者

34 篇 lizhi cai
33 篇 yu huiqun
31 篇 miao huaikou
31 篇 cai lizhi
29 篇 fan guisheng
24 篇 zhenyu liu
21 篇 chen liqiong
19 篇 liu zhenyu
16 篇 huaikou miao
15 篇 chen mingang
13 篇 chen shengbo
11 篇 gao honghao
10 篇 mingang chen
10 篇 liu pan
10 篇 zhang juan
9 篇 genxing yang
9 篇 hongwei zeng
9 篇 yun hu
9 篇 chunhe xia
9 篇 tianbo wang

语言

324 篇 英文
4 篇 其他
1 篇 中文

检索条件"机构=Shanghai Key Laboratory of Computer Software Evaluating and Testing"

共 329 条记录，以下是131-140 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

The cuckoo search and integer linear programming based approach to time-aware test case prioritization considering execution environment 14th

The cuckoo search and integer linear programming based appro...

引用

14th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2018

作者： Wong, Yu Zeng, Hongwei Miao, Huaikou Gao, Honghao Yang, Xiaoxian School of Computer Engineering and Science Shanghai University Shanghai200444 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai200444 China Computing Center Shanghai University Shanghai200444 China School of Computer and Information Engineering Shanghai Polytechnic University Shanghai China

ISBN: (纸本)9783030129804

Regression testing plays an important role in software development process. The more mature software system development is, the greater the proportion of regression testing during software life cycle takes. To this point, test case prioritization techniques are proposed to detect more faults as early as possible and improve the effectiveness of regression testing. However, it is often performed in a time constrained execution environment. This paper introduces a new method of time-aware test case prioritization. First of all, it takes advantage of the cuckoo search algorithm to reorder test suite. Then, integer linear programming model is employed to test selection in light of time budget. At last, a novel fitness function is designed focusing on code coverage that from method-call information perspective. Experimental results show that our method improves the effectiveness of fault detection compared with traditional fault detection techniques especially time is constrained. © 2019, ICST Institute for computer Sciences, Social Informatics and Telecommunications Engineering.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Modeling and analyzing cost-aware fault tolerant strategy for cloud application 28

Modeling and analyzing cost-aware fault tolerant strategy fo...

引用

28th International Conference on software Engineering and Knowledge Engineering, SEKE 2016

作者： Chen, Liqiong Fan, Guisheng Liu, Yunxiang Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai200235 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai201112 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai200237 China

ISBN: (纸本)189170639X

In this paper, we propose a method to model and analyze cost-aware fault tolerant strategy for cloud computing. First, Petri nets are used to describe the structure of cloud computing, including component, cloud service and cloud appli- cation, thus forming the fault tolerant model of cloud computing. Second, a dynamic fault tolerant strategy is proposed, which can dynamically make fault tolerant strategy with the lowest cost based on the current state and failed component. Third, we present operational semantics and related theories of Petri nets for establishing the correctness of our proposed method. We have also performed a series of simulations to evaluate our proposed approach. Results show that it can help reveal the structural and behavioral characteristics of cloud computing, and reduce the fault tolerant cost.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

SQDroid: A Semantic-Driven testing for Android Apps via Q-learning

SQDroid: A Semantic-Driven Testing for Android Apps via Q-le...

引用

IEEE International Conference on software Quality, Reliability and Security (QRS)

作者： Hui Guo Xiaoqiang Liu Baiyan Li Lizhi Cai Yun Hu Jing Cao School of Computer Science and Technology Donghua University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing ShanghaiChina

ISBN: (纸本)9781665458146

Android apps are popular in our daily life, while the testing and maintenance of them is still an open challenge. Random-based testing tools are time-consuming and model-based testing tools are unrealistic to construct all functional behaviors precisely. Existing testing tools based on reinforcement learning not only have difficulty in understanding the business logic of an application, but also face the problem of state explosion during testing. In this paper, we propose SQDroid, a semantic-driven approach for Android apps based Q-learning. SQDroid encourages the Q-learning agent to prefer the actions with functional semantics through a dynamic semantic reward function, which is beneficial to the understand business logic of an app. A state clustering module, employed to compress the state space in Q-table, utilizes the widget attributes on GUI hierarchy to abstract a state. It can reduce the number of states in Q-table and avoid the execution of repetitive actions. We evaluate SQDroid on 48 open-source Android apps. The results show SQDroid outperforms the state-of-the-art model-based/search-based technique/reinforcement learning-based Stoat, Sapienz and Q-testing in terms of code coverage and fault revelation.

关键词： Q-learning Semantics software quality Maintenance engineering software reliability Security Open source software

来源：评论

学校读者我要写书评

暂无评论

Analyzing feasibility of requirement driven service composition

Analyzing feasibility of requirement driven service composit...

引用

2nd International Workshop on computer Science and Engineering, WCSE 2009

作者： Chen, Liqiong Fan, Guisheng Liu, Yunxiang Liu, Dongmei Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China

ISBN: (纸本)9780769538815

In a service-oriented architecture, how to analyze the feasibility of service composition according to the requirements of service consumers has become a problem that must be solved in service composition. A method for analyzing feasibility of requirement driven service composition is proposed. Based on the support function at different stages in the lifecycle of service composition, the composition process is divided into a number of independent function modules, colored Petri nets are used to model for them, meanwhile the QoS properties of services such as price and success probability are considered, the task failure and processing strategies are characterized. Based on this, combining with the requirements of service consumer, the definition of feasibility and a service schedulability strategy are advanced. ASK-CTL is introduced to describe and verify basic properties of model, and the corresponding analysis algorithm is also given. What's more, at the end of this paper, an example was given to simulate analysis process by using CPN Tools. © 2009 IEEE.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

An approach to modeling and analyzing security requirements of service composition

An approach to modeling and analyzing security requirements ...

引用

2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Liu, Dongmei Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)9780769546247

Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to analyze security requirements for those applications due to the uncertainty factors in distributive environment. This paper proposes an approach to modeling and analyzing security requirements of service composition. Petri nets are used to model the different components of service composition, the dynamic matching strategy of service composition is proposed. Aspect-orientation is used to weave the security requirements into service composition, which includes evaluation concern, authorization, security level outputting and access outputting. The operation semantics and related theories of Petri nets help prove its effectiveness and correctness. An example explains the modeling and analyzing process of service composition, and a series of experiments are done to explain that the use of aspects for analyzing security requirements of service composition is more efficient than conventional techniques. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A regression test technique for analyzing the functionalities of service composition

A regression test technique for analyzing the functionalitie...

引用

SEKE 2011 - Proceedings of the 23rd International Conference on software Engineering and Knowledge Engineering

作者： Yu, Huiqun Liu, Dongmei Fan, Guisheng Chen, Liqiong Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)1891706292

Regression testing is a hot research area for Web service composition, which has direct impact on QoS of applications. This paper proposes an aspect-oriented regression test technique for analyzing functionalities of service composition. An extended version of Petri net is proposed as the underlying formalism. Services and components are modeled by Petri nets, service evolution is specified as crosscutting concerns, and in turn woven into the testing model of service composition by following weaving rules. A regression testing algorithm of service composition is designed. Theories of Petri nets help prove the effectiveness of the testing method. A case study shows that the approach simplifies the process of testing, and improves its efficiency as well.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

CRCS: Learning Synergistic Cascade Correlation for Microscopic Cascade Prediction 19

CRCS: Learning Synergistic Cascade Correlation for Microscop...

引用

2022 IEEE SmartWorld, 19th IEEE International Conference on Ubiquitous Intelligence and Computing, 2022 IEEE International Conference on Autonomous and Trusted Vehicles Conference, 22nd IEEE International Conference on Scalable Computing and Communications, 2022 IEEE International Conference on Digital Twin, 8th IEEE International Conference on Privacy Computing and 2022 IEEE International Conference on Metaverse, SmartWorld/UIC/ATC/ScalCom/DigitalTwin/PriComp/Metaverse 2022

作者： Li, Huacheng Xia, Chunhe Wang, Tianbo Zhao, Haopeng Beihang University Key Laboratory of Beijing Network Technology Beijing China Key Laboratory of Beijing Network Technology Beijing China Beihang University School of Cyber Science and Technology Beijing China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9798350346558

Information diffusion prediction is the basis of many fundamental tasks, such as social recommendation and community detection. Currently, most researchers infer user correlation based on cascade records to predict future infected users. However, they only consider whether the infected users at each location are correctly predicted, ignoring the semantic differences between users who participate in the retweets of similar content and other users. This naturally leads to learning biased user features. In this paper, we compute semantic relevance between two different cascades (e.g., cm and cn) based on user coincidence and develop the cascade correlation graph (CCG) to learn user features. Afterward, we devise a position-independent sequence similarity loss (SSL) function combined with an auxiliary predictor to optimize the user encoder. The above two methods make users participating in the relevant cascades more relevant than others. Experiments show that the two methods are effective, and the combination of them can improve performance more significantly. © 2022 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Security Test Method Technology for Mobile Application Based on Code Analysis

Security Test Method Technology for Mobile Application Based...

引用

2017 2nd International Conference on Control, Automation and Artificial Intelligence(CAAI2017)

作者： Zhenyu Liu Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing and Evaluating

ISBN: (纸本)9781510845541

The rapid development of mobile application, this paper gives a test method to find the security issues in the with mobile application software base on code analysis. The paper analyzes the code features of Android application and proposes static test method for Android application. According to code and configuration characteristics, the paper gives the knowledge base and makes the code feature comparison using the existing knowledge base. The full test procedure also proposed and helps the tester to make test design and test execution. The method is used to test some mobile application and find possible security problem to avoid the security attack or personal information leak.

关键词： mobile application security test code analysis

来源：评论

学校读者我要写书评

暂无评论

Web 3D model library system based on cloud platform

Web 3D model library system based on cloud platform

引用

2012 International Conference on Information Technology and software Engineering, ITSE 2012

作者： Chen, Mingang Cai, Wenjun Lu, Shida Zhang, Luwei Ma, Lizhuang Department of Computer Science and Technology Shanghai Jiao Tong University Shanghai 200240 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 201112 China Autodesk ACRD Shanghai 201804 China Information and Communication Center of SMEPC Shanghai 200063 China

ISBN: (纸本)9783642345302

The development of digital content industry needs the support of the online 3D model library. The construction of efficient interaction, stable and reliable model library is the trend of industry. In this paper, we design a web 3D model library system based on the Amazon cloud service platform. It adopted model simplification, model size adaption methods to make the system more efficient interaction. Meanwhile, cloud-based architecture ensured the reliability and scalability of the system. © 2013 Springer-Verlag.

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

Test Generation by Using Component Composition Abstraction Refinement

Test Generation by Using Component Composition Abstraction R...

引用

International Conference on computer and Information Science (ACIS)

作者： Ying Chen Ye Tian Hongwei Zeng Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai China

In this paper, we propose a test generation method that combines compositional reasoning theory and counterexample guided abstraction refinement framework. Firstly, the abstract model of system is produced by composing abstract components, then the abstract test cases can be generated by model checking based on abstract model, finally, the concrete test case of the complete original system is generated by refining the abstract model. The abstraction refinement keeps the state space small enough to alleviate the state space explosion problem.

关键词： Computational modeling testing Analytical models Concrete Explosions Conferences software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共33页 << < 10 11 12 13 14 15 16 17 18 19 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：