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

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Cai, Lizhi Huang, Shidong Chen, Leilei Zheng, Yang Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Information Science and Engineering East China University of Science and Technology Shanghai China

ISBN: (纸本)9781479901746

The development and wide application of the internet technology produces a large amount of data, in order to storage and manage these massive data, NoSQL database technology comes into beings and develops rapidly, many manufacturers have introduced many different NoSQL storage solutions. In this context, the paper carries out the work about the testing method of the performance of NoSQL database. Firstly, the paper analyses the new features of the NoSQL database systems. Then, the paper proposes a general testing model for performance testing of the complicated system, which means that the architecture and its business should be considered when the testing work is carried out. Lastly, apply the model to perform the HBase's performance testing in the architecture level, mainly including some elements of the performance, such as the column-oriented data model, the spilt mechanism of the data table, the factor of the data replication. As to the every performance element, design the corresponding testing scenario and execute the testing procedure. © 2013 IEEE.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

Performance testing of HBase based on the potential cycle

Performance testing of HBase based on the potential cycle

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Cai, Lizhi Huang, Shidong Chen, Leilei Zheng, Yang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781479901746

With the development and wide application of the computing technology, performance testing becomes more and more important. Real simulation of the user behavior becomes a concern of the performance testing. The paper introduces the potential model to establish the model of the visit amount which can be used in the performance testing. Firstly, the paper introduces the role of HBase in the search engine business and then illustrates the specific procedure about how to construct the visit amount model. Lastly, test the reading performance of HBase based on the model of the visit amount with the help of YCSB. At the same time, the paper simply introduces some applications of the potential cycle model in other contexts. © 2013 IEEE.

关键词： Wavelet analysis

来源：评论

学校读者我要写书评

暂无评论

Constraint-based locality analysis for X10 programs 13

Constraint-based locality analysis for X10 programs

引用

ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013

作者： Sun, Qiang Chen, Yuting Zhao, Jianjun Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China School of Software Shanghai Jiao Tong University Shanghai China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9781450318426

X10 is a HPC (High Performance Computing) programming language proposed by IBMfor supporting a PGAS (Partitioned Global Address Space) programming model offering a shared address space. The address space can be further partitioned into several logical locations where objects and activities (or threads) will be dynamically created. An analysis of locations can help to check the safety of object accesses through exploring which objects and activities may reside in which locations, while in practice the objects and activities are usually designated at runtime and their locations may also vary under different environments. In this paper, we propose a constraint-based locality analysis method called Leopard for X10. Leopard calculates the points-to relations for analyzing the objects and activities in a program and uses a place constraint graph to analyze their locations. We have developed a tool to support Leopard, and conducted an experiment to evaluate its effectiveness and efficiency. The experimental results show that Leopard can calculate the locations of objects and activities precisely. Copyright © 2013 ACM.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts

引用

China Communications 2013年第9期10卷 33-42页

作者：文欣秀虞慧群郑红 Department of Computer Science and Engineering East China University of Science and Technology Shanghai Key Laboratory of Computer Software Evaluating and Testing

The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded *** are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and ***-Oriented software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life ***,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded ***,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic ***,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.

关键词： embedded systems model check-ing timed statecharts computation tree logic

来源：评论

学校读者我要写书评

暂无评论

Scenario specification based testing model generation

Scenario specification based testing model generation

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

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

ISBN: (纸本)9781479901746

Building a simplified model for testing complex software system has been highlighted for optimizing test generation. This paper presents an approach to generating the constrained FSM with the scenario. Firstly, we use FSM to describe the behavior model of the target system. Then, we study the method of modeling scenarios with UML diagrams, including use case diagram, activity diagram, sequence diagram and statechart diagram. We describe how to achieve the constraint process by means of mapping and projection operations between FSM and UML diagrams. Finally, we obtain a reduced FSM by using UML activity diagrams to constrain FSM. The main contribution of the paper is to present an effective modeling method to optimize testing generation from the model. © 2013 IEEE.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Petri net based techniques for constructing reliable service composition

Petri net based techniques for constructing reliable service...

引用

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

Service composition is an important mean for integrating the individual Web services to create new value added systems that satisfy complex requirements. However, it is challenging to guarantee the reliability of service composition in a distributed, dynamic and complex environment. This paper proposes an approach to constructing the reliable service composition. The underlying formalism is Petri net, which provides means to observe behaviors of basic component, and to describe their interrelationship. The transaction attributes, reliability and failure processing mechanisms are articulated. The composition mechanism systematically integrates these schemas into a transaction mapping model. Based on this, a reliable composition strategy and its enforcement algorithm are proposed, which can verify the behaviors of service composition at design time or after runtime to repair design errors. The operational semantics and related theories of Petri nets help prove the effectiveness of the proposed method. Finally, we use a simplified Export Service system to demonstrate the feasiability of the method. © 2012 Elsevier Inc.

关键词： Reliability

来源：评论

学校读者我要写书评

暂无评论

Web 3D model library system based on cloud platform

Web 3D model library system based on cloud platform

引用

2012 International Conference on Information Technology and software Engineering, ITSE 2012

作者： Chen, Mingang Cai, Wenjun Lu, Shida Zhang, Luwei Ma, Lizhuang Department of Computer Science and Technology Shanghai Jiao Tong University Shanghai 200240 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 201112 China Autodesk ACRD Shanghai 201804 China Information and Communication Center of SMEPC Shanghai 200063 China

ISBN: (纸本)9783642345302

The development of digital content industry needs the support of the online 3D model library. The construction of efficient interaction, stable and reliable model library is the trend of industry. In this paper, we design a web 3D model library system based on the Amazon cloud service platform. It adopted model simplification, model size adaption methods to make the system more efficient interaction. Meanwhile, cloud-based architecture ensured the reliability and scalability of the system. © 2013 Springer-Verlag.

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

Entropy power inequalities and classical capacities of bosonic noise channels

Entropy power inequalities and classical capacities of boson...

引用

IEEE Photonics Society Summer Topical Meeting Series

作者： Robert Konig Graeme Smith Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai P.R. China

ISBN: (纸本)9781467350587

Characterizing information-carrying capacities of bosonic communication channels is of significant practical interest. For thermal noise channels, using coherent (product) states yields an achievable rate for classical communication which is conjectured to be optimal. However, it is not known whether coding strategies using entanglement may perform better. Here we discuss upper bounds on classical capacities of thermal noise channels. These imply that coherent-state coding is close to optimal. Our main tool is a quantum analog of the entropy power inequality introduced Shannon. It gives a lower bound on the output von Neumann entropy when two independent signals combine at a beamsplitter.

关键词： Entropy Noise Thermal noise Photonics Channel coding

来源：评论

学校读者我要写书评

暂无评论

Usage-pattern based Statistical Web testing and Reliability Measurement

引用

Procedia computer Science 2013年 21卷 140-147页

作者： Chao Chen Yihai Chen Huaikou Miao Hao Wang School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China McMaster Centre for Software Certification McMaster University Hamilton Ontario Canada

With the increasing complexity of Web applications, ensuring the reliability of Web applications becomes an enormous challenge. Statistical Web testing, proposed by researchers in recent years, is an appropriate approach to testing Web applications and to estimating their reliability. However, most of the researchers only focus on estimating the overall reliability of Web applications. They only discuss the failures which are recorded in error log files. In fact, the overall reliability cannot reflect the quality of Web applications under different usage patterns. In this paper, we propose an approach to estimating the particular reliability of Web applications under a particular usage pattern. Moreover, our approach can automatically identify the difference between output and expected pages.

关键词： statistical Web testing Markov usage model reliability measurement

来源：评论

学校读者我要写书评

暂无评论

Semantic Analysis and Implicit Target Extraction of Comments from E-Commerce Websites

Semantic Analysis and Implicit Target Extraction of Comments...

引用

WRI World Congress on software Engineering, WCSE

作者： Hui Song Jianfeng Chu Yun Hu Xiaoqiang Liu School of Computer Science and Technology Donghua University China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

In e-commerce websites, customers usually make comments, which include the properties of the product, the attitude to the vendor, express delivery information after buying the products. The information provides an important reference when others buy products in the website. In sentiment analysis, a finer-grained opinion mining approach focuses on not only the product itself as a whole but also product features, which can be a part or attribute of the product. Previous related research focuses on the explicit target mining but neglects the implicit ones. Whereas, the implicit features, which are implied by some words or phrases, are very significant and meaningful to express users' opinion. In this paper, we propose a new approach to uniformly extract explicit and implicit opinion features from the comments. Our experimental results prove the effectiveness of the approach. The recall is improved, suggesting that taking the implicit features into consideration can extract more useful information, meanwhile, the precision is stable, not decreases.

关键词： Feature extraction Encyclopedias Electronic publishing Internet Data mining Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：