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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

260 篇 会议
56 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

195 篇 工学
- 172 篇 计算机科学与技术...
- 130 篇 软件工程
- 28 篇 控制科学与工程
- 20 篇 信息与通信工程
- 15 篇 交通运输工程
- 15 篇 生物工程
- 14 篇 机械工程
- 9 篇 建筑学
- 9 篇 网络空间安全
- 8 篇 土木工程
- 7 篇 电气工程
- 6 篇 材料科学与工程（可...
- 6 篇 动力工程及工程热...
- 4 篇 光学工程
- 3 篇 电子科学与技术（可...
94 篇 理学
- 72 篇 数学
- 17 篇 生物学
- 14 篇 统计学（可授理学、...
- 9 篇 系统科学
- 7 篇 物理学
71 篇 管理学
- 39 篇 管理科学与工程(可...
- 32 篇 图书情报与档案管...
- 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
14 篇 software quality
11 篇 analytical model...
10 篇 semantics
9 篇 quality of servi...
9 篇 computational mo...
9 篇 cloud computing
8 篇 laboratories
8 篇 feature extracti...
8 篇 security
7 篇 software enginee...
7 篇 software reliabi...
7 篇 algorithm design...
7 篇 training
6 篇 computer science

机构

167 篇 shanghai key lab...
72 篇 school of comput...
57 篇 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 篇 shanghai jiao to...
8 篇 school of comput...
8 篇 east china unive...
7 篇 east china norma...
7 篇 guangxi collabor...
7 篇 computing center...
6 篇 shanghai enginee...
6 篇 faculty of engin...
6 篇 beijing key lab....

作者

32 篇 yu huiqun
32 篇 lizhi cai
31 篇 miao huaikou
29 篇 fan guisheng
26 篇 cai lizhi
21 篇 zhenyu liu
21 篇 chen liqiong
16 篇 huaikou miao
14 篇 chen mingang
14 篇 liu zhenyu
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

语言

307 篇 英文
8 篇 其他
1 篇 中文

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

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

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

详细简洁

排序：

Modeling web application for cross-browser compatibility testing

Modeling web application for cross-browser compatibility tes...

引用

ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Xinxin Li Hongwei Zeng Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China

Due to the increasing popularity of web applications and modern browsers, the cross-browser compatibility issues are becoming a prevalent problem. Cross-browser incompatibilities range from minor differences in appearance to critical functional failures. Existing tools and techniques hardly help developer to detect such issues exactly. This paper presents a model of interaction transition (ITM) to characterize the behavior of web pages containing interactions, and gives the relevant definitions and constraints. Finally, we illustrate its effectiveness in detecting CBC interaction problems by analyzing a case.

关键词： Browsers testing Standards Bismuth HTML Finite element analysis Web pages

来源：评论

学校读者我要写书评

暂无评论

Dynamic test case prioritization based on multi-objective

Dynamic test case prioritization based on multi-objective

引用

ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Xiaolin Wang Hongwei Zeng Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China

Test case prioritization technology is to sort the test cases before the software testing designed to improve test efficiency. This paper presents a dynamic test case prioritization technique based on multi-objective. It integrates several traditional single-objective technologies so that makes it more flexible. This technology, from five dimensions, calculates prioritization values of test cases separately. Then a weighted sum is made to the values and it sorts the test cases according to the values. The results return to the storage in order to dynamically adjust the sort of test cases. This technology not only meets the high demands of regression testing, but also ensures the high efficiency of the test results.

关键词： History testing software Fault detection Databases Measurement Probability

来源：评论

学校读者我要写书评

暂无评论

Untrusted User Detection in Microblogs

Untrusted User Detection in Microblogs

引用

IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Zidan Yu Huiqun Yu 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

ISBN: (纸本)9781479965144

As Micro blogs such as Sina Weibo and Twitter are becoming increasingly popular, a lot of users are benefiting from the convenience of social communication and information sharing. However, untrusted users can take advantage of these sites as gateways to make money, spread rumors and so on. This paper proposes a label propagation algorithm based on the trust model to detect the untrusted users on social networking sites. The algorithm consists of two main steps. Firstly, we conduct a hybrid graph with three types of nodes (users, tweets, topics) to model the trust relationship between each user pair. Secondly, we utilize a new method inspired by the Label Propagation Algorithm to detect more untrusted users based on a small known seed set. We conduct experiments with a real data set, and the evaluation demonstrates the effectiveness, efficiency, and scalability of the proposed solution.

关键词： Vectors Twitter Algorithm design and analysis Classification algorithms Educational institutions Semantics

来源：评论

学校读者我要写书评

暂无评论

The Design and Implementation of a Modeling Tool for Regular Expressions

The Design and Implementation of a Modeling Tool for Regular...

引用

IIAI International Conference on Advanced Applied Informatics (IIAIAAI)

作者： Min Zeng Pan Liu Huaikou Miao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China College of Computer Engineering and Science Shanghai Business School Shanghai China

Model-based testing has been widely studied to generate test cases from the Finite State Machine (FSM). Due to the limitation of the modeling theory of FSM, it is hard to build a right model for software concurrent behaviors by FSM. Recently, we proposed a theory of test modeling based on regular expressions to construct test models for concurrent systems. To realize and put this theory into practice, we develop a lightweight modeling tool named as Regular-Finite State Machine (RFSM) to support visual modeling with regular expressions. It supports the production of seven operators for describing software behaviors and two methods for constructing the expression model, including the RFSM code editor and the toolbar editor. An algorithm for transforming the model into the extended regular expressions is also introduced.

关键词： software Visualization Educational institutions testing Computational modeling software algorithms Grammar

来源：评论

学校读者我要写书评

暂无评论

A requirements description language pLSC for probabilistic branches and three-stage events

A requirements description language pLSC for probabilistic b...

引用

ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Jinyu Kai Huaikou Miao Honghao Gao Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai P.R. China Computing Center Shanghai University Shanghai P.R. China

The language of Live Sequence Chart (LSC), a multi-modal extension of MSC, introduces the distinction between mandatory and possible on the level of the whole chart and for the chart elements. While the LSC still extend the MSC qualitatively, when it comes to capturing the quantitative behaviors, the deficiency emerges. As for the probabilistic systems, i.e., systems that exhibit probabilistic aspects, probabilistic properties are considered as the most important requirements and need to be captured quantitatively. To address this, we propose a requirements description language called pLSC. Supported by the measure theory and the probability theory, the language pLSC describes the interactions quantitatively to suit the probabilistic systems from two dimensions of probabilistic branches and three-stage events. The paper introduces the graphical and textual presentation of the pLSC.

关键词： Probabilistic logic Markov processes Animals Syntactics Random processes

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：