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

Survivability prediction of web system based on log statistics

Survivability prediction of web system based on log statisti...

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

作者： Jiaan Zhou Huaikou Miao Jinyu Kai Kun Zhao Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

Widely applied and quickly developed as the SOA theory has been, the instability of distributed Web services will lead to services composition failure. Currently, a hot research topic is that when does the system can make an appropriate adjustment of the system structure dynamically to ensure the system runs at the best performance while the runtime environment or requirement is changed. To address this problem, this paper proposes an approach to predicting the system survivability which bases on log statistic. The method gets the system usage model by monitoring Web log files, and then constructs value model and adopts quantitative model checking to forecast the system survivability to estimate whether the system is survivable in a certain period of time.

关键词： Model checking Business Markov processes Data models Web services Predictive models Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

An algorithm on fairness verification of mobile sink routing in wireless sensor network

An algorithm on fairness verification of mobile sink routing...

引用

作者： Xu, Guangquan Li, Weisheng Xu, Rui Xiao, Yingyuan Gao, Honghao Li, Xiaohong Feng, Zhiyong Mei, Jia Institute of Knowledge Science and Engineering School of Computer Science and Technology Tianjin University 92 Weijin Road Nankai District Tianjin 300072 China College of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Tianjin China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai University Shanghai 201112 China Guangxi Economic Management Cadre College Guangxi China

Congestion and starvation will occur among some nodes due to the emerging serious unfairness, which is derived from the limited communication capabilities of all nodes and sink or in the case of a mobile sink moving to a new place. The problem to be solved is to balance the network and keep the fairness for all nodes. For this purpose, this paper focuses on verifying the fairness of mobile sink routing based on both state and action, which is realized mainly by composing Labeled Kripke Transition Systems (LKTS). First, an approach is presented by LKTS to model node behaviors. Second, a notion of Fair Computational Tree Logic (CTL) is introduced to describe the fairness formulae in branching time transitions, and four kinds of fairness assumptions are defined for fairness verification. Moreover, in order to avoid the problem of state-space explosion, Bounded model Checking to explore states and transitions on-the-fly until a witness is found, while Strong Connected Components algorithm is used to pick up fair paths under fairness constraints of Fair CTL. The experimental results show the superiority of our method by the savings in memory and time consumptions during the mobile sink routing process. © 2012 Springer-Verlag London Limited.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A survey of quality prediction methods of service-oriented systems

引用

International Journal of Hybrid Information Technology 2016年第4期9卷 183-198页

作者： Kai, Jinyu Miao, Huaikou Gao, Honghao Shanghai University School of Computer Engineering and Science Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Computing Center Shanghai University Shanghai China

Service quality prediction plays a very important role in many fields related of service-oriented systems. Now, there are large numbers of approaches to predict the quality of service-oriented systems. However, it is impossible to apply one method to all prediction tasks without distinction. In reverse, unclearly to recognize the category of the prediction tasks will result in losing in all kinds of prediction approaches. In order to discover which methods are suitable for their corresponding service quality prediction scenarios, it is necessary to classify the prediction tasks and to classify the prediction approaches clearly. In this paper, a classification framework for predicting tasks for QoS of service-oriented systems is defined, four types of the prediction technologies are mainly introduced, and the research findings of quality prediction approaches for service-oriented system in literature using those four types of prediction technologies are listed and the increasing use of the method based on probabilistic model checking are specially concentrated on, and finally the result of this survey are given and the open research questions about predicting service quality by probabilistic model checking method are discussed. © 2016 SERSC.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Petri Nets based Modeling and Analysis of UPnP Security Ceremonies

Petri Nets based Modeling and Analysis of UPnP Security Cere...

引用

2011 Third Pacific-Asia Conference on Circuits,Communications and System

作者： Hong Zheng Chunfang Li Zhihua Chen School of Information Science and Engineering East China University of science and technology Shanghai Key Laboratory of Computer Software Evaluating and Testing

UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduces a formal method named the Petri Net, using its advantage such as intuitive graphical representation and rigorous mathematical theory to model the security control of the UPnP security ceremonies. This paper simulates the security control in actual security system, using occurrence step and transition sequence of Petri Net model to analyze the accessibility of model and verify the non-repudiation and security of system.

关键词： Petri Nets,Security,UPnP

来源：评论

学校读者我要写书评

暂无评论

Model checking the reliability of interactive behaviors for mobile computing

引用

Advances in Information Sciences and Service Sciences 2011年第6期3卷 1-12页

作者： Gao, Honghao Miao, Huaikou Wang, Shuoping Mei, Jia Liu, Yang School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China Computer Science School Zhejiang University City College 310015 Hangzhou China

The development of mobile computing is dependent on the new methods, techniques and tools to support engineering applications during all the phases of its life cycle. Especially, considering the complexities of interaction protocol, a communication failure can cause high economic losses. The challenge problems to be solved include: 1) guarantee such critical behaviors as communication reliable, and 2) support the dynamic reconfiguration in case some required services may become unavailable when an interaction is executed at runtime phase, both of which belongs to the scope of the reliability problem of interactive behaviors. This paper will perform the automated verification to ensure high reliability of mobile computing using model checking technique. For this purpose, an approach to modeling the interactive behaviors is proposed by using TS model (Transition Systems model, TS model). The reliability properties, including liveness, safety and reachability, are expressed into the temporal logic formulae, namely, CTL (Computation Tree Logic, CTL). Then the reliability verification for our proposed model of interactive behaviors (TS-mc model) is performed in model checker NuSMV. A prototype system is also discussed, and the experimental results show the significant advantage of our method.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Analysis of quality evaluation based on ISO/IEC SQuaRE series standards and its considerations

Analysis of quality evaluation based on ISO/IEC SQuaRE serie...

引用

International Conference on computer and Information Science (ACIS)

作者： Yi Zhao Jiayu Gong Yun Hu Zhenyu Liu Lizhi Cai Shanghai Ruanzhong Information Technology Co. Ltd Shanghai Industrial Technology Institute Shanghai China Shanghai Key Laboratory of Computer Software Testing &Evaluating Shanghai Development Center of Computer Software Technology

ISBN: (纸本)9781509055081

System and software quality evaluation is an important method of quality assurance, and its standardization provides quality requirements and evaluation supported by quality measurement. ISO/IEC organizations have also published a series of standards on system and software quality requirements and evaluation, which is significant for assuring the quality of system and software. This paper introduces quality evaluation based on SQuaRE series standards, and analyzes the relationships among quality model, measurement, requirements, evaluation. Besides, considerations and suggestions are given when applying the measurement function to quality evaluation. Finally, comparison with different methods of quantifying quality characteristics and sub-characteristics with the measured values is analyzed.

关键词： IEC Standards ISO Standards software measurement software quality Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Business Scenario Driven Reinforcement Learning testing Method

Business Scenario Driven Reinforcement Learning Testing Meth...

引用

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

作者： Lizhi Cai Jin Wang Shanghai Key Laboratory of Computer Software Testing and Evaluating School of Information Science and Engineering East China University of Science and Technology Shanghai China

Reinforcement learning has been successfully applied in software testing, but the existing testing methods cannot perform effective testing according to the characteristics of applications, and using outdated interactive experience during training, resulting in inefficient testing. In this paper, we propose BSDRtesting. Firstly, the demonstration experience of human users is collected according to the functional scenarios and business logic of each application, and combining reinforcement learning and imitation learning to maximize rewards while imitating user behavior, experience replay aims to sample experiences from the agent's self-exploration and expert demonstrations to improve sampling efficiency. At the same time, according to the input rules, the black-box testing method is used to fully test the input events, and finally an experience filtering mechanism is proposed, and the reward value and TD-Error are used as the basis for priority sampling. The experimental results on 10 open source applications show BSDRtesting has achieved significant improvements in code coverage and branch coverage compared with existing methods.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Cloud and SNS supported collaboration in AEC industry

Cloud and SNS supported collaboration in AEC industry

引用

2012 IEEE 16th International Conference on computer Supported Cooperative Work in Design, CSCWD 2012

作者： Jiao, Yi Wang, Yinghui Yuan, Lei Li, Lin School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Software Testing and Evaluation Shanghai 201114 China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai 200235 China

ISBN: (纸本)9781467312127

The intrinsic construction project nature of one-of-a-kind and the requirement of massive data exchange make collaboration one of the critical factors towards success. However, due to the complexity of multiple phases and multi-disciplinary participants in project life cycle, industry level collaboration in Architecture, Engineering, and Construction (AEC) sector remains a challenge. This paper proposes an integrated solution based mainly on social network services (SNS) and cloud computing. We present a novel platform named Construction Business Social Network Service (CBSNS), which is promising to be adopted as an industrial scope collaboration cloud. We describe its main functions as well as its privacy control mechanism. To better support its deployment as a community cloud, a three-pass load balance algorithm is proposed. The first pass sorts initial virtual machines (VMs) and physical machines (PMs) using bubble algorithm, during which parameters such as hungry threshold are considered. The second pass builds mappings between allocable PM queue and requesting VM queue using first come first served strategy, and groups Non-allocable VMs after designated time slice. The third pass handles possible exceptions when finally such ones existing. The actual time complexity of the algorithm is O(n). While the commercial implementation of the algorithm is ongoing, the proposed CBSNS has been developed and used in real life application. © 2012 IEEE.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Towards a lightweight SOA framework for enterprise cloud computing

Towards a lightweight SOA framework for enterprise cloud com...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Jiao, Yi Li, Lin Ye, Nanrong School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Software Testing and Evaluation Shanghai 201114 China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai 200235 China

ISBN: (纸本)9781457703874

Cloud computing has become an emerging new computing paradigm. However, the issue of providing complex enterprise product family cloud is not well addressed so far. This article presents a framework featuring an in-depth extension to WSDL and an application oriented semi-automation semantic web service composition algorithm to solve the problem. The extension captures critical factors required by real world service composition scenario. The algorithm presents a complete step set which effectively addresses real application issues in service composition. The presented framework has been applied in three real business applications. Statistical software engineering data verifies its efficiency and applicability on solving the major challenges in complex enterprise product family cloud. © 2011 IEEE.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：