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

3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013

作者： Liu, Pan Miao, Huaikou College of Computer Engineering and Science Shanghai Business School Shanghai 201400 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 201112 China School of Computer Engineering and Science Shanghai University Shanghai 200072 China

ISBN: (纸本)9783319049144

This paper presents a theory of test modeling by using regular expressions for software behaviors. Unlike the earlier modeling theory of regular expression, the proposed theory is used to build a test model which can derive effective test sequences easily. We firstly establish an expression algebraic system by means of transition sequences and a set of operators. And we then give the modeling method for behaviors of software under test based on this algebraic system. Some examples are also given for illustrating our test modeling method. Compared with the finite state machine model, the expression model is more expressive for the concurrent system and can provide the accurate and concise description of software behaviors. © 2014 Springer International Publishing Switzerland.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

An integrated recommendation approach based on influence and trust in social networks

引用

9th FTRA InternationalConference on Future Information Technology, FutureTech 2014

作者： Li, Weimin Ye, Zhengbo Jin, Qun School of Computer Engineering and Technology Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Graduate School of Human Sciences Waseda University Tokorozawa Japan

ISBN: (纸本)9783642550379

In real human society, influence on each other is an important factor in a variety of social activities. It is obviously important for recommendation. However, the influence factor is rarely taken into account in traditional recommendation algorithms. In this study, we propose an integrated approach for recommendation by analyzing and mining social data and introducing a set of new measures for user influence and social trust. Our experimental results show that our proposed approach outperforms traditional recommendation in terms of accuracy and stability. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

An approach to generating test data for EFSM paths considering condition coverage

An approach to generating test data for EFSM paths consideri...

引用

作者： Lu, Gongzheng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai200072 China School of Computer Engineering Suzhou Vocational University Suzhou215104 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201114 China

Model-based test case generation has become a hotspot, and automatic generation of test data is difficult in this area. In this paper, system model is represented by extended finite state machine(EFSM), and genetic algorithm is used to generate test data for EFSM paths. When computing the fitness of an individual, the branch distance and the ratio of uncovered conditions of the individual are considered. In experiments, the proposed method is compared with the Kalaji's, and the results show that our method has a better effect and can get higher quality test data. © 2014 The Authors. Published by Elsevier B.V.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Formal modeling and analyzing the reliability for service composition 21

Formal modeling and analyzing the reliability for service co...

引用

21st Asia-Pacific software Engineering Conference, APSEC 2014

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

ISBN: (纸本)9781479974252

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. © 2014 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A Novel Automated software Test Technology with Cloud Technology

A Novel Automated Software Test Technology with Cloud Techno...

引用

Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing, UIC-ATC

作者： Zhenyu Liu Mingang Chen Lizhi Cai Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781479976478

This paper studies the software test with automated test tool under cloud environment. The automated software test technology could speed up the test efficiency and less down the work of test engineers. On the cloud technology, the automated test tool should make some modification to adapt for cloud. The paper proposes the test integrated technology with automated test tool on cloud-based environment. This technology connects cloud-based environment and the automated test tool. The fully test procedure also are proposed to support test design, script develop and script execute. The cloud technology is used to test some applications with the automated test tool and archive the expected outcome.

关键词： testing Cloud computing Virtual machining Virtualization Conferences

来源：评论

学校读者我要写书评

暂无评论

An efficient reduction approach to test suite

An efficient reduction approach to test suite

引用

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

作者： Pan Liu College of Computer Engineering and Science China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China

The paper presents a novel reduction approach to test suite in regression testing. Our approach selects a test case from those redundant test cases with the same rank according to the boundary coverage taken as second coverage criterion. Different from the previous researches for the selection of the second coverage criterion to assist test suite reduction, our approach bases on our empirical point of view that some faults in the program lie on its boundary of the program. Therefore test cases picked by our approach have the higher probability to find software errors. An algorithm is proposed to realize our approach. In addition, we also discuss the relationship between our approach with three traditional heuristics. Through a simple exampke, we illustrate our algorithm for test suite reduction.

关键词： testing software Heuristic algorithms Minimization software engineering Fault detection Redundancy

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Modeling and analyzing reliable cyber-physical systems based on aspect orientation

引用

Journal of Applied Science and Engineering 2014年第1期17卷 101-110页

作者： Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China 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

Cyber-physical systems (CPS) consists of distributed computation interconnected by computer networks. Finding a common semantics among these diverse components that facilitate system modeling, synthesis, and verification is a significant challenge of CPS. Aspect oriented method is proposed to model and analyze reliable CPS, Petri nets are used to observe behaviors of basic component, such as device, computation and physical interaction, component and communication process. The reliability assurance strategy of CPS is proposed, aspect orientation is used to weave it into the base net. Based on this, the effectiveness and feasibility of proposed method are analyzed based on the operation semantics of Petri nets. A case study of material balancing system and experimental results demonstrate that the approach can contribute to the improvement of design quality in developing reliable CPS.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：