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

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

作者： Chen, Ruifeng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9781479901746

During the development process of Web application, two essential phases are software testing and code refactoring. However, automatic testing script plays an important role in test automation. It has been a hot research topic in Web application. In order to refactor the JavaScript code of Web application more conveniently, an approach to automatic script generation from the defined test case is introduced in this paper. First, it describes the test case using customized XML format. Then, since Selenium platform supports multi-browsers testing, a method to transform XML description into test scripts based on Selenium framework is proposed as the emphasis. © 2013 IEEE.

关键词： Selenium

来源：评论

学校读者我要写书评

暂无评论

Model-based test generation for software product line

Model-based test generation for software product line

引用

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

作者： Cai, Xinying Zeng, Hongwei School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9781479901746

Taking advantage of the reusability of domain engineering artifacts and variability description, SPLE reduces greatly development costs and time-to-market. This paper presents a model-based approach to test generation for SPLs. Reusable domain test scenarios are generated from activity diagrams extended with variation points, and then test scenarios for a specific application are derived by specifying and banding variants according to variation points. © 2013 IEEE.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Concept analysis based approach to statistical web testing

Concept analysis based approach to statistical web testing

引用

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

作者： Chen, Chao Miao, Huaikou Chen, Yihai School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai University Shanghai 201112 China

ISBN: (纸本)9783642396977

In recent years, the increased complexity of Web applications gives researchers an enormous challenge in ensuring their reliability. A statistical testing approach has been proved to be appropriate to test Web applications and to estimate their reliability. Based on a Markov usage model built from user sessions, testers can generate abstract test cases randomly. In order to execute the test cases, researchers proposed an approach to building a data model from user sessions to provide test data for abstract test cases. However, just building a data model from all the user sessions may cause unauthorized access to restricted pages by testers. In this paper, we propose a concept analysis based approach to statistical Web testing and present a tool to support our approach. We have designed three algorithms to implement our concept analysis based approach that can provide the concrete test data for abstract test cases. In addition, a case study is introduced to demonstrate the effectiveness of our approach to statistical Web testing. © 2013 Springer-Verlag.

关键词： Reliability analysis

来源：评论

学校读者我要写书评

暂无评论

Performance analysis and testing of HBase based on its architecture

Performance analysis and testing of HBase based on its archi...

引用

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

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：