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

Complexity analysis and comparison of test paths based on DSE

Complexity analysis and comparison of test paths based on DS...

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

作者： Jiawen Lu Lizhi Cai Yang Zhang keyi Hong Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China School of Information Science & Engineering East China University of Science and Technology Shanghai China Cyber Security Department of Shanghai Public Security Bureau Shanghai China

Dynamic symbolic execution (DSE) is a well-known program test technology which can generate test cases automatically through collecting constraints of the paths represented by symbolic value. Automated test based on DSE targets at covering all paths and branches in a limited time. Although DSE has been investigated for a few years, several challenges still exist which hinder the actual usage. Path explosion is one of the greatest challenges to solve, which decreases the test performance. Analyzing complexity of the execution paths of different test programs, and investigating the factors associated with the test efficiency become very important in the software testing life cycle.

关键词： Concrete Gold

来源：评论

学校读者我要写书评

暂无评论

Formal verification of security protocols using Spin

Formal verification of security protocols using Spin

引用

International Conference on computer and Information Science (ACIS)

作者： Shengbo Chen Hao Fu Huaikou Miao 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: (纸本)9781509008070

Security protocols are the key to ensure network security. In the context of the state of the art, so many methods have been developed to analyze the security properties of security protocols, such as Ban logic, theorem proving and model checking etc. This paper used model checking method to formally verify security protocols because of its high degree of automation, briefness and effectiveness. The model checker Spin with sound algorithm design has an extraordinary ability of checking and a good support for LTL. This paper studied the use of Spin on security protocols, and proposed a more effective intruder model to formally verify the security properties of security protocols, such as authentication. The method in this paper decreased the number of model states by a wide margin, and avoided the state space explosion effectively. This paper exampled NSPK protocol and DS protocol, and good experimental results were shown.

关键词： Protocols Authentication Public key Analytical models Model checking

来源：评论

学校读者我要写书评

暂无评论

Modeling and Analyzing Cost and Utilization Based Task Scheduling for Cloud Application

Modeling and Analyzing Cost and Utilization Based Task Sched...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： 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

Cloud computing has attracted much interest recently from both industry and academic. However, it is difficult to model and analyze cost and utilization based task scheduling due to complex and heterogeneous environment in cloud computing. In this paper, we propose the systematic approach to modeling and analyzing cost and utilization based task scheduling for cloud application. A Game theory based task scheduling scheme is proposed based on analyzing the factors affecting the cost and utilization of virtual machine. Then a formal description language is presented to model the different components of cloud application. The backward induction game algorithm is proposed to ensure that cloud application can dynamically meet the customers' request while improving the utilization of virtual machine. The operational semantics and related theories of Petri nets help establish the correctness of our proposed method. Finally, a series of simulations are performed to evaluate the efficiency of our proposed approach.

关键词： Virtual machining Cloud computing Processor scheduling Computational modeling Analytical models Job shop scheduling

来源：评论

学校读者我要写书评

暂无评论

Test Case Prioritization Approach to Improving the Effectiveness of Fault Localization

Test Case Prioritization Approach to Improving the Effective...

引用

International Conference on software Analysis, testing and Evolution (SATE)

作者： Wenhao Fu Huiqun Yu Guisheng Fan Xiang Ji Shanghai Key Laboratory of Computer Software Evaluating and Testing East China University of Science and Technology Shanghai China Department of Computer Science and Engineering East China University of Science and Technology Shanghai China

ISBN: (纸本)9781509045181

Fault localization aims to use testing information from executed test cases to help locate the fault position. However, obtaining testing information (including test results and coverage information) is expensive because it needs much manual effort. How to orderly choose and execute a small number of test cases, and in the meantime achieve a good effectiveness of fault localization in the case of unknowing testing information is still a challenge for us. In this paper, we propose a new test case prioritization algorithm for fault localization, which is based on the rank changes of suspicious values of program elements. Test case which can maximize the improvements of suspicious ranks of program elements may assign the highest priority for execution. A set of empirical studies have been designed and conducted on Siemens programs and four medium-sized programs. The results show that our algorithm can help reduce the debugging effort in terms of the percentage of statements needed to be inspected to locate faults in both single-fault and multi-fault programs.

关键词： software Debugging Algorithm design and analysis software testing Linear programming software algorithms

来源：评论

学校读者我要写书评

暂无评论

WiFi indoor localization based on K-means

WiFi indoor localization based on K-means

引用

International Conference on Audio, Language and Image Processing, ICALIP

作者： Yazhou Zhong Fei Wu Juan Zhang Bo Dong Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China Shanghai University of Engineering Science School of Electronic and Electrical Engineering Shanghai China Shanghai University of Engineering Science Shanghai CN

ISBN: (纸本)9781509006557

A large number of studies show that in complex indoor propagation environment, parameters of indoor positioning method for typical applications, such as localization performance of TOA, TDOA, AOA, RSSI method is often less than ideal. In order to reduce the influence of indoor environmental factors on the indoor wireless positioning, improve the positioning accuracy and expand the location area, the indoor wireless positioning method based on WiFi K-means is proposed. The improved distance formula is used to take into account the effect of attribute values, and the difference between different objects can be calculated more accurately. The AP in the position of each room is established by testing the signal strength of different signals. The experimental results show that the precision in location probability of 3 meters is more than 80%, which relative than hard clustering algorithm, positioning accuracy is improved.

关键词： Fingerprint recognition IEEE 802.11 Standard Clustering algorithms Classification algorithms Wireless communication Databases Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Applying Probabilistic Model Checking to Service Discovery Framework

Applying Probabilistic Model Checking to Service Discovery F...

引用

IEEE International Conference on Services Computing (SCC)

作者： Honghao Gao Huaikou Miao Yucong Duan Jinyu Kai School of Computer Engineering and Science Shanghai University Shanghai P.R. China Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai P.R. China College of Information Science and Technology Hainan University Haikou P.R. China

The complex requirements of E-commerce application call for selecting a set of Web services to reuse theirs business logics, where Service Oriented Architecture (SOA) provides a promising solution to the problem of cross-platform services integration. To this purpose, how to discovery services is a key to support the quick services composition, which has been a challenging task in Web application engineering. However, the traditional approaches have limitations in recall ratio and precision ratio because the keyword and semantic annotation query modes are hard to verify the target Web service, such as interaction behaviors and control flows of composite service. In this paper, it proposes a probabilistic model checking based service discovery method. First, it focuses on service reliability and time constraints to formalize the probabilistic behaviors of service process. Second, the quantitative verification properties of user requirements are specified in the form of temporal logic formulae. Third, the service discovery is to verify service process model against expected properties for identifying candidate services. Finally, in order to reduce model checking tasks, the correlation based service recommendation is introduced to explore more suitable services for user. Our framework improves the efficiency of service discovery without changing any existing service infrastructures.

关键词： Probabilistic logic Model checking Clocks Web services Business Time factors

来源：评论

学校读者我要写书评

暂无评论

Research on energy saving method of IDC CRAC system based on prediction of working load

Research on energy saving method of IDC CRAC system based on...

引用

2015 International Conference on Smart and Sustainable City and Big Data, ICSSC 2015

作者： Zou, Yan Wu, Fei Xing, Jian Smart Home Group School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781785610325

Amid the information era, energy consumption of IDC computer Room Air Conditioning (CRAC) system is becoming increasingly serious, thus there is growing concern over energy saving and consumption reduction. Based on the analysis of the energy saving application of the air conditioning system in the present computer room, a new energy saving method of the IDC CRAC system, which presents energy saving decision based on the prediction of equipment load state, is proposed. Its principle is collection of CPU utilization reflected the change of equipment state according to the predict of distribution condition of the next cycle by building and decomposing the original time series and building a seasonal decomposition model with Holt Winters forecasting method. Choosing a reasonable and effective decision-making scheme of the air conditioning system can realize energy saving control. Simulation experiments represent that energy consumption is reduced by 18.75% during the experiment with the energy saving method proposed in this paper and the energy saving advantage is fully reflected.

关键词： Energy conservation

来源：评论

学校读者我要写书评

暂无评论

Research on GUI-based automation test technology driven by separated definition data

International Journal of Control and Automation

引用

International Journal of Control and Automation 2014年第6期7卷 421-432页

作者： Liu, Zhenyu Chen, Qiang Cai, Lizhi Shanghai Key Laboratory of Computer Software Testing and Evaluation China

GUI-based software is often developed a complicated test script with existing traditional automation software testing tools. The software automated test development technology consequently carried out some study of existing automated testing with current automated testing tools to simplify the script. The paper proposed a novel test automation technology with separated definition data, which replaced by script development or modification. The definition data are depicted for script driven, page description and test data separately. The test automation technology provided completed function and interface between this method and actual test tool. The test engineers is not need to write the any test script, but modify the definition files for test developing to some extent. The automation functional test technology has support the typical test tool and proved effective in the specific cases. © 2014 SERSC.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Modeling and analyzing adaptive energy consumption for service composition 27

Modeling and analyzing adaptive energy consumption for servi...

引用

27th International Conference on software Engineering and Knowledge Engineering, SEKE 2015

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong 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: (纸本)1891706373

In this paper, Petri nets are used to model the different components of service composition, and form the energy consumption model of service composition based on the relationship between components, Agent is also introduced in the energy consumption management process. Then, an adaptive energy consumption strategy are proposed to dynamically ensure that service composition can get the lowest energy consumption. The operational semantics and related theories of Petri nets help establish the correctness of our proposed method. We have also performed two simulations to evaluate our proposed approach. Results show that it can help reveal the structural and behavioral characteristics of energy consumption in service composition.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

A file-driven complicated workflow automated test framework

A file-driven complicated workflow automated test framework

引用

International Conference on Information and Automation (ICIA)

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

ISBN: (纸本)9781467391054

The complicated workflow is need to develop some complex scripts, which contains data and not easy to modify in automation testing tools. The paper proposed an automatic test framework to fulfill workflow testing requirements. The test framework should develop single file according to the each test requirement. The file is defined executed object and related test data, which drive by test framework. A detail object description and data design method is introduced. The application case is given used with framework and compared to the current method and only use the native script. The experiment and detailed case proved the proposed method is effective.

关键词： software Automation Graphical user interfaces software testing Manuals Browsers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：