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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

255 篇 会议
56 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

192 篇 工学
- 169 篇 计算机科学与技术...
- 128 篇 软件工程
- 26 篇 控制科学与工程
- 19 篇 信息与通信工程
- 15 篇 交通运输工程
- 14 篇 机械工程
- 14 篇 生物工程
- 9 篇 建筑学
- 8 篇 土木工程
- 8 篇 网络空间安全
- 7 篇 电气工程
- 6 篇 材料科学与工程（可...
- 6 篇 动力工程及工程热...
- 3 篇 光学工程
- 3 篇 电子科学与技术（可...
92 篇 理学
- 70 篇 数学
- 16 篇 生物学
- 13 篇 统计学（可授理学、...
- 9 篇 系统科学
- 7 篇 物理学
70 篇 管理学
- 39 篇 管理科学与工程(可...
- 31 篇 图书情报与档案管...
- 14 篇 工商管理
- 5 篇 公共管理
9 篇 医学
- 8 篇 公共卫生与预防医...
- 4 篇 基础医学(可授医学...
- 4 篇 临床医学
8 篇 经济学
- 8 篇 应用经济学
8 篇 法学
- 6 篇 社会学
4 篇 艺术学
- 4 篇 设计学（可授艺术学...
2 篇 农学
1 篇 教育学

主题

26 篇 software testing
21 篇 petri nets
20 篇 testing
20 篇 web services
16 篇 software
15 篇 model checking
13 篇 software quality
10 篇 analytical model...
9 篇 quality of servi...
9 篇 computational mo...
9 篇 semantics
9 篇 cloud computing
8 篇 laboratories
8 篇 feature extracti...
7 篇 software reliabi...
7 篇 algorithm design...
7 篇 security
7 篇 training
6 篇 computer science
6 篇 deep learning

机构

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

作者

32 篇 yu huiqun
31 篇 miao huaikou
30 篇 lizhi cai
29 篇 fan guisheng
25 篇 cai lizhi
21 篇 zhenyu liu
21 篇 chen liqiong
16 篇 huaikou miao
14 篇 liu zhenyu
13 篇 chen mingang
13 篇 chen shengbo
11 篇 mingang chen
11 篇 gao honghao
10 篇 liu pan
10 篇 zhang juan
9 篇 genxing yang
9 篇 hongwei zeng
9 篇 chunhe xia
9 篇 tianbo wang
8 篇 zeng hongwei

语言

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

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

共 311 条记录，以下是201-210 订阅

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

详细简洁

排序：

Service Reconfiguration Architecture Based on Probabilistic Modeling Checking

Service Reconfiguration Architecture Based on Probabilistic ...

引用

IEEE International Conference on Web Services (ICWS)

作者： Honghao Gao Huaikou Miao Hongwei Zeng School of Computer Engineering and Science Shanghai University Shanghai P.R. China Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai P.R. China

Service software deployed in E-commerce and finance fields needs working under 7*24 houses mode. If any failure occurs, service reconfiguration should be immediately executed to find appropriate services from candidates in order to guarantee the availability of core business. Thus, service software cries for an effective approach to constantly adjust its form for responding to varying user requirements and instable runtime environments. To this end, this paper proposes a probabilistic model checking-based Web service reconfiguration architecture. First, it proposes a predictive Web service monitoring approach based on probabilistic model checking. Second, it gives a Web service dynamic service selection approach which takes compatibility checking into account. The single-source service selection works to execute service replacement, while the multi-source service selection carries out service simulation. Third, it discusses a Web service dynamic reconfiguration verification approach where the Probabilistic Counterexample-Guided Abstraction Refinement (Probabilistic CEGAR) is introduced to alleviate the state space explosion problem.

关键词： Probabilistic logic Web services computer architecture Computational modeling Monitoring Model checking

来源：评论

学校读者我要写书评

暂无评论

Modeling and testing of GUIs Using IOLTS

Modeling and Testing of GUIs Using IOLTS

引用

Asia-Pacific Conference on software Engineering

作者： Shengbo Chen Dashen Sun Huaikou Miao Hongwei Zeng School of Computer Engineering and Science Shanghai University Shanghai P. R. China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai P. R. China

ISBN: (纸本)9781479974276

Graphical User Interface (GUI) provides a popular and convenient way for the user to freely interact with the systems which makes it widely used in various software applications, it has become an important and indispensable part of today's software. Owing to the characteristics of GUIs different from the traditional software, traditional test techniques and methods cannot satisfy the requirements of GUI testing. Modeling and testing of GUIs-based system is a difficult and challenging work. GUIs-based application is an event-driven application. In GUIs, there exist not only the input events and output events, but also the internal events. In this paper, we identify the input events, output events and internal events and propose an approach to modeling and testing of GUIs-based system using the IOLTS, and input events, output events and internal events are also taken into account. Constraints on events and regular expressions on validation of data are given out. The interactions of GUIs are constructed by the corresponding output events. Finally, tests generation and tests instantiation are given out.

关键词： Graphical user interfaces software testing Servers Electronic mail Layout Explosions

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and Analyzing the Reliability for Service Composition

Formal Modeling and Analyzing the Reliability for Service Co...

引用

Asia-Pacific Conference on software Engineering

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

ISBN: (纸本)9781479974276

Service composition is an important means for integrating the individual Web services for creating new value added systems. However, Web service runs in the heterogeneous environments on the Internet, it is difficult to guarantee the reliability of service composition. To address this problem, we propose a systematic method to model and analyze reliability for service composition. First, we present a formal description language to model the different components of service composition, and use it to analyze the reliability of service composition. Second, we propose reliability assurance strategy to ensure that service composition dynamically meet the required reliability. 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 the method can help reveal the structural and behavioral characteristics of service composition, and improve the reliability of service composition.

关键词： Analytical models Silicon software reliability Reliability theory Petri nets software

来源：评论

学校读者我要写书评

暂无评论

Platform independent analysis of probabilities on execution paths of multithreaded programs

Platform independent analysis of probabilities on execution ...

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Chen, Yuting School of Software Shanghai Jiao Tong University Shanghai 200240 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9781479901746

A concurrent program is intuitively associated with probability. In this paper we propose a platform independent approach, called ProbPP, to analyzing the probabilities on the execution paths of the multithreaded programs. The main idea of ProbPP is to calculate the probabilities on the basis of two kinds of probabilities: Primitive Dependent Probabilities (PDPs) representing the control dependent probabilities among the program statements and Thread Execution Probabilities (TEPs) representing the probabilities of threads being scheduled to execute. We have also conducted two preliminary experiments to evaluate the effectiveness and performance of ProbPP, and the experimental results show that ProbPP can provide engineers with acceptable accuracy. © 2013 IEEE.

关键词： Probability

来源：评论

学校读者我要写书评

暂无评论

A Selenium based approach to automatic test script generation for refactoring JavaScript code

A Selenium based approach to automatic test script generatio...

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Chen, Ruifeng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9781479901746

During the development process of Web application, two essential phases are software testing and code refactoring. However, automatic testing script plays an important role in test automation. It has been a hot research topic in Web application. In order to refactor the JavaScript code of Web application more conveniently, an approach to automatic script generation from the defined test case is introduced in this paper. First, it describes the test case using customized XML format. Then, since Selenium platform supports multi-browsers testing, a method to transform XML description into test scripts based on Selenium framework is proposed as the emphasis. © 2013 IEEE.

关键词： Selenium

来源：评论

学校读者我要写书评

暂无评论

Model-based test generation for software product line

Model-based test generation for software product line

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Cai, Xinying Zeng, Hongwei School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9781479901746

Taking advantage of the reusability of domain engineering artifacts and variability description, SPLE reduces greatly development costs and time-to-market. This paper presents a model-based approach to test generation for SPLs. Reusable domain test scenarios are generated from activity diagrams extended with variation points, and then test scenarios for a specific application are derived by specifying and banding variants according to variation points. © 2013 IEEE.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Concept analysis based approach to statistical web testing

Concept analysis based approach to statistical web testing

引用

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

作者： Chen, Chao Miao, Huaikou Chen, Yihai School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai University Shanghai 201112 China

ISBN: (纸本)9783642396977

In recent years, the increased complexity of Web applications gives researchers an enormous challenge in ensuring their reliability. A statistical testing approach has been proved to be appropriate to test Web applications and to estimate their reliability. Based on a Markov usage model built from user sessions, testers can generate abstract test cases randomly. In order to execute the test cases, researchers proposed an approach to building a data model from user sessions to provide test data for abstract test cases. However, just building a data model from all the user sessions may cause unauthorized access to restricted pages by testers. In this paper, we propose a concept analysis based approach to statistical Web testing and present a tool to support our approach. We have designed three algorithms to implement our concept analysis based approach that can provide the concrete test data for abstract test cases. In addition, a case study is introduced to demonstrate the effectiveness of our approach to statistical Web testing. © 2013 Springer-Verlag.

关键词： Reliability analysis

来源：评论

学校读者我要写书评

暂无评论

Performance analysis and testing of HBase based on its architecture

Performance analysis and testing of HBase based on its archi...

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Cai, Lizhi Huang, Shidong Chen, Leilei Zheng, Yang Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Information Science and Engineering East China University of Science and Technology Shanghai China

ISBN: (纸本)9781479901746

The development and wide application of the internet technology produces a large amount of data, in order to storage and manage these massive data, NoSQL database technology comes into beings and develops rapidly, many manufacturers have introduced many different NoSQL storage solutions. In this context, the paper carries out the work about the testing method of the performance of NoSQL database. Firstly, the paper analyses the new features of the NoSQL database systems. Then, the paper proposes a general testing model for performance testing of the complicated system, which means that the architecture and its business should be considered when the testing work is carried out. Lastly, apply the model to perform the HBase's performance testing in the architecture level, mainly including some elements of the performance, such as the column-oriented data model, the spilt mechanism of the data table, the factor of the data replication. As to the every performance element, design the corresponding testing scenario and execute the testing procedure. © 2013 IEEE.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

Performance testing of HBase based on the potential cycle

Performance testing of HBase based on the potential cycle

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Cai, Lizhi Huang, Shidong Chen, Leilei Zheng, Yang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781479901746

With the development and wide application of the computing technology, performance testing becomes more and more important. Real simulation of the user behavior becomes a concern of the performance testing. The paper introduces the potential model to establish the model of the visit amount which can be used in the performance testing. Firstly, the paper introduces the role of HBase in the search engine business and then illustrates the specific procedure about how to construct the visit amount model. Lastly, test the reading performance of HBase based on the model of the visit amount with the help of YCSB. At the same time, the paper simply introduces some applications of the potential cycle model in other contexts. © 2013 IEEE.

关键词： Wavelet analysis

来源：评论

学校读者我要写书评

暂无评论

Constraint-based locality analysis for X10 programs 13

Constraint-based locality analysis for X10 programs

引用

ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013

作者： Sun, Qiang Chen, Yuting Zhao, Jianjun Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China School of Software Shanghai Jiao Tong University Shanghai China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9781450318426

X10 is a HPC (High Performance Computing) programming language proposed by IBMfor supporting a PGAS (Partitioned Global Address Space) programming model offering a shared address space. The address space can be further partitioned into several logical locations where objects and activities (or threads) will be dynamically created. An analysis of locations can help to check the safety of object accesses through exploring which objects and activities may reside in which locations, while in practice the objects and activities are usually designated at runtime and their locations may also vary under different environments. In this paper, we propose a constraint-based locality analysis method called Leopard for X10. Leopard calculates the points-to relations for analyzing the objects and activities in a program and uses a place constraint graph to analyze their locations. We have developed a tool to support Leopard, and conducted an experiment to evaluate its effectiveness and efficiency. The experimental results show that Leopard can calculate the locations of objects and activities precisely. Copyright © 2013 ACM.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共32页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：