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

International Conference on software Engineering Research, Management and Applications (SERA)

作者： Weng Wen HuaiKou Miao School of Computer Engineering and Science Shanghai University Shanghai China College of Computer and Information Engineering Shanghai Polytechnic University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai Shanghai China

Web services bring more conveniences for users and developers. However, it makes user face the problem of service information explosion. The personalized service recommendation solves the problem. This paper proposes a method to predicting the system reliability which bases on user context information in mobile computing environment. The method construct user behavior model by formatting user location context and then quantitative verification is performed to estimating whether the recommended service meet the requirements of users. Finally, experiments are carried out to demonstrate the effectiveness of our method.

关键词： Context Reliability Mobile handsets Hidden Markov models Web services Mobile computing Context modeling

来源：评论

学校读者我要写书评

暂无评论

Modeling and optimizing CPS software testing based on petri nets

引用

International Journal of Performability Engineering 2017年第8期13卷 1183-1194页

作者： Chen, Liqiong Fan, Guisheng Yu, Huiqun 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

software testing is an important means to ensure the quality of software. However, there is a lack of effective modeling and optimization of CPS software testing. In this paper, Petri nets are used to model the underlying devices, components, connectors and test cases of CPS software. Aspect oriented programming extracts the crosscutting concerns of CPS software testing. The behaviors and their relationships are described based on AOP, and a weaving mechanism is used to dynamically integrate these models into the test model of CPS. The correctness of the model is analyzed by using the operation semantics and related theories of Petri nets. Based on the state space of constructed model, a strategy is proposed to dynamically select the test suite. The experiment results show that this method can effectively describe the CPS software testing process, which can improve the quality of software testing. © 2017 Totem Publisher, Inc. All rights reserved.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

SDN-based approach to generating and optimizing test path for cloud application

引用

International Journal of Performability Engineering 2017年第8期13卷 1257-1267页

作者： Chen, Liqiong Liu, Yunxiang Fan, Guisheng 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

With the intensive and large-scale development of cloud computing, software testing has become one of the most important problems. How to evaluate and assess the testing process of a cloud computing system is a key to the deployment and use of it. This paper proposes a method to generate and optimize test paths of cloud application based on SDN, which separates the cloud service testing process from the underlying execution logic, thus improving the scalability of the testing process. The finite state machine (FSM) is used to establish the formal description language of the cloud application testing process, and is also used to model the basic elements, such as cloud services, jobs, test cases and cloud applications, and construct a test model for cloud application. The related theory of FSM is used to analyze the effectiveness and correctness of cloud application test model. Based on the actual mapping of the model, the generation method of test path is also given. In addition, we analyze the coverage of test cases and propose the test path optimization methods to improve the test efficiency. The specific examples and simulations show that this method can simplify the design and analysis of the cloud application testing process and effectively improve the generation of test paths. © 2017 Totem Publisher, Inc. All rights reserved.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

An empirical study on clustering approach combining fault prediction for test case prioritization

An empirical study on clustering approach combining fault pr...

引用

International Conference on computer and Information Science (ACIS)

作者： Lei Xiao Huaikou Miao Weiwei Zhuang Shaojun Chen School of Computer Engineering and Science Shanghai University Shanghai China School of Computer and Information Engineering Xiamen University of Technology Xiamen China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Meitu corporation Xiamen China

ISBN: (纸本)9781509055081

Using Clustering algorithm to improve the effectiveness of test case prioritization has been well recognized by many researchers. software fault prediction has been one of the active parts of software engineering, but to date, there are few test cases prioritization technique using fault prediction. We conjecture that if the code has a fault-proneness, the test cases covering the code will find fault with higher probability. In addition, most of the existing test cases prioritization techniques using clustering algorithm don't consider the number of clusters. Thus, in this paper, we design a test case prioritization based on clustering approach combining fault prediction. We consider the method to obtain the best number of clusters and the clustering prioritization based on the results of fault prediction. To investigate the effectiveness of our approach, we perform an empirical study using an object which contains test cases and faults. The experiment results indicate that our techniques can improve the effectiveness of test case prioritization.

关键词： Clustering algorithms Prediction algorithms Feature extraction software testing Complexity theory Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

A study for extended regular expression-based testing

A study for extended regular expression-based testing

引用

International Conference on computer and Information Science (ACIS)

作者： Pan Liu Jun Ai Zhenning Jimmy Xu College of Information and Computer Shanghai Business School Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China School of Reliability and System Engineering Beihang University Beijing China School of business University of Southern Maine USA

ISBN: (纸本)9781509055081

software testing has become an essential activity to guarantee software quality. To reduce the overall cost of software testing, model-based testing has been widely studied in the past two decades and Finite State Machine (FSM) is used to build the model of software behaviors. However, due to the inadequacy of the modeling ability of FSM, FSM-based testing cannot be taken as a test oracle to solve all issues in software testing. To improve the modeling capability of the model, a few researchers have proposed using Extended Regular Expressions (ERE) to model software behaviors. This paper reviews the method of the ERE-based testing and presents six modeling rules to convert program codes to the ERE model. Then, a case is adopted to illustrate the process of generating executable paths from the ERE model and the method of designing test cases by those paths. Compared with the traditional graphic traversal method of constructing executable paths from the program, ERE not only has robust modeling capability to describe more types of software behaviors than FSM, but also can be used to construct effective executable paths to detect program errors.

关键词： software software testing Algorithm design and analysis Mathematical model Switches Business

来源：评论

学校读者我要写书评

暂无评论

The interchange format of tabular expressions using XML 5th

The interchange format of tabular expressions using XML

引用

5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015

作者： Huang, Mao Chen, Yihai Khedri, Ridha Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computing and Software McMaster University HamiltonON Canada

ISBN: (纸本)9783319312194

Tabular expressions, also called tables, are formal notations using tables to organize mathematical functions and relations. They have been widely used in documenting and analyzing software specification. Different tools are developed to support tabular expressions. To further enhance tables’ usage, a convention on storing and parsing tables is required. This paper presents a canonical interchange format for tabular expressions based on XML. This format captures four aspects of tables: the constituent, dynamic, representation and additional information. Our proposal builds on syntax definition of tables and is tailored to provide flexibility in manipulation of table content. It is suitable for existing and emerging kinds of tables. This study facilitates the interchange between different tools for tabular expressions, which would prevent developer’s repetitive work. © Springer International Publishing Switzerland 2016.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Multi-objective biogeography-based method to optimize virtual machine consolidation 28

Multi-objective biogeography-based method to optimize virtua...

引用

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

作者： Shi, Kai Yu, Hui Qun Luo, Fei Fan, Gui Sheng 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

ISBN: (纸本)189170639X

Virtual machine consolidation (VMC) is an important issue in cloud computing, which can be used to reduce power consumption and achieve reasonable resource allocation. In this paper, an IMBBO algorithm is proposed to solve the multi-objective optimization problem of VMC through improving the classical Biogeography-Based Optimization (BBO). An improved Cosine migration model and an improved mutation model are presented to increase the efficiency of achieving the optimal solution. Meanwhile, three optimization objectives for server power consumption, load balancing and migration resource overhead are mainly addressed. Finally, several experiments are done to evaluate the performance of IMBBO by comparing with Gravitational Search Algorithm (GSA) based on the synthetic and real VM running data. The results show that the IMBBO optimizes VM consolidation with higher efficiency. Copyright © 2016 by KSI Research Inc. and Knowledge Systems Institute Graduate School.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Context-Based Service Recommendation System Using Probability Model in Mobile Devices 4

Context-Based Service Recommendation System Using Probabilit...

引用

4th International Conference on Enterprise Systems, ES 2016

作者： Wen, Weng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai Shanghai China College of Computer and Information Engineering Shanghai Second Polytechnic University Shanghai China

ISBN: (纸本)9780769559841

As wireless communication and mobile devicesadvances, recommendation system is one of the keytechnologies to realize personalized service. This paperproposes a service recommendation mechanism using aprobabilistic model in mobile devices. With the contextualinformation and the use's demand state inferred by the model, we can recommend a service to meet the user's preferencesand needs at real time. Finally, the model checking method is used to verify the reliability of the service composition recommended by the above method. © 2016 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Parallel video transcoding using Hadoop MapReduce

Parallel video transcoding using Hadoop MapReduce

引用

作者： Mingang Chen Wenjie Chen Zhenyu Liu Lizhi Cai Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology

Video transcoding has become a key technology for video content distribution network service. In this paper, we propose a novel MapReduce-based parallel video transcoding method. In our method, video files are stored on a shared file system to reduce the overhead of disks I/O and networks in the Hadoop MapReduce. FFmpeg is used to compute the splitting point of the video and the actual video transcoding. Experimental results show that our method can significantly reduce the time of transcoding.

关键词： video transcoding Hadoop Map Reduce FFmpeg parallel transcoding

来源：评论

学校读者我要写书评

暂无评论

Research on non-authorized privilege escalation detection of android applications

Research on non-authorized privilege escalation detection of...

引用

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

作者： Yaping Yang Lizhi Cai Yanguo Zhang Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

This paper briefly analyzes the security mechanism of android platform and describes permission statement and request of android application. According to android permission mechanism and its shortcoming, the android privilege escalation detection technology and attacking principle is mainly analyzed, and privilege escalation attacking model and architecture of application is put forward. Penetration testing tool Drozer is used to detect application permission. Application package and Manifest file is analyzed to obtain privilege elevation vulnerability. At the same time, sensitive combination permission is distinguished to avoid and exclude the use of malicious code.

关键词： Androids Humanoid robots Smart phones Security Malware testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：