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

2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012

作者： Zhang, Juan Tong, Wei Qin Cai, Li Zhi School of Computer Engineering and Science Shanghai University Shanghai China Jiangxi University of Finance and Economics Jiangxi China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9780769546940

In this paper, a novel software testing evaluation model is proposed for specification based software testing. The proposed model uses Analytic Hierarchy Process (AHP) to analyze the weight of influence each individual function unit software, then the model classifies the defect ratio of each function unit based on the weight of influence derived from step one and calculates the final evaluation result of software testing according to the defect ration and influence degree. © 2012 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Application and method of quality management for small-size software project

Application and method of quality management for small-size ...

引用

IET International Conference on Information Science and Control Engineering 2012 (ICISCE 2012)

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

ISBN: (纸本)9781629939254

This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics and the disadvantages of project management in small-sized software project. Therefore, some quality activities should be considered in small-sized software project. The paper proposed lightweight quality planning, quality execution and quality monitoring activities in project management. Finally, the paper gives practical applications and proves method effective.

关键词： Project Management Project Quality software testing software Quality Assurance Project management SQA Quality management program testing management of resources software project small size computer software

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

Non-structure Data Storage Technology: A Discussion

Non-structure Data Storage Technology: A Discussion

引用

International Conference on computer and Information Science (ACIS)

作者： Shidong Huang Lizhi Cai Zhenyu Liu Yun Hu School of Information Science & Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China

The traditional database is designed for the structured data and the complex query. In the environment of the cloud, the scale of data is very large, the data is non-structured, the request of the data is dynamic, these characteristics raise new challenges for the data's storage and administration, in this context, the NoSQL database comes into being. The article compares and analyzes the general structure of the Cassandra, HBase, MongoDB, the data's distribution mechanism in the cluster, the mechanism of the fault tolerance, their support for the programming model and some relevant technologies, in order to provide some references for selecting or building the NoSQL database solution.

关键词： Peer to peer computing Servers Distributed databases Data models File systems Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Cloud test environment deployment based on the needs of individual users

Cloud test environment deployment based on the needs of indi...

引用

International Conference on New Trends in Information and Service Science, NISS

作者： Hong Peng GenXing Yang Lizhi Cai Shidong Huang Yun Hu School of Information Science & Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China

In the cloud testing environment, the virtual machine is a large scale of the testing resources. Users usually require its operation stability, and would not like to see the phenomenon of frequent migration of virtual machines during the test. Therefore, how to implement the optimized deployment of virtual machine effectively is a very important aspect of the cloud platform. This paper presents an optimized deployment scheme of virtual machines based on the individual testing requirements of users, which can select an optimum host to deploy the virtual machines for testing. This scheme can use resources scientifically and rationally, reduce the frequency of migration of virtual machines and obtain a better users' experience.

关键词： cloud computing cloud testing virtual machine deployment virtual machine migration

来源：评论

学校读者我要写书评

暂无评论

An Evaluation Model in software testing Based on AHP

An Evaluation Model in Software Testing Based on AHP

引用

International Conference on computer and Information Science (ACIS)

作者： Zhang Juan Tong Weiqin Cai Lizhi School of Computer Engineering and Science Shanghai University Shanghai China Jiangxi University of Finance and Economics Jiangxi China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

关键词： software testing Marketing and sales Analytical models software quality Computational modeling

来源：评论

学校读者我要写书评

暂无评论

LTL model checking probabilistic Petri net system

引用

International Journal of Advancements in Computing Technology 2012年第1期4卷 172-178页

作者： Liu, Yang Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200072 China School of Information Science and Technology Taishan University Taian Shandong 271021 China

Nonfunctional property verification is becoming more and more important to computer system. In recent decades, in order to describe not only the system function but also the system performance, researchers in the area of formal methods try to extend Petri net for modelling computer system, and the verification problem becomes the quantitative verification from the qualitative verification. In this paper, we define the reachability graph and present the solution algorithm to reachability graph;then we put forward an algorithm for linear-time temporal logic model checking probabilistic Petri net system;for demonstrating the effectiveness of this algorithm, we run an example in the modelling an verification tool which we developed.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An optimized method for generating cases of metamorphic testing

An optimized method for generating cases of metamorphic test...

引用

International Conference on New Trends in Information and Service Science, NISS

作者： Leilei Chen Lizhi Cai Jiang Liu Zhenyu Liu Shiyan Wei Pan Liu School of Information Science & Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory Computer Software Evaluating & Testing Shanghai China Shanghai Business School College of Computer Engineering and Science Shanghai China

The information contained in the successful test case has been fully tapped by metamorphic testing which can effectively solve the oracle problem of software testing. One of the key factors affecting the results of the metamorphic testing is the generation of test cases. In this paper, we propose a criterion called ECCEM (Equivalence-Class Coverage for Every Metamorphic Relation), which covers the test cases based on equivalence classes, the criterion can availably generate fewer test case sets with high detection rate. This paper also proposes a new measure of test cases - the Test Case Rate of utilization (TCR), which can comprehensively assess the generated test suite.

关键词： ECCEM criterion measurement criterion metamorphic testing test case rate of utilization

来源：评论

学校读者我要写书评

暂无评论

A practical test method for scalability of the cluster

A practical test method for scalability of the cluster

引用

International Conference on New Trends in Information and Service Science, NISS

作者： Shiyan Wei Lizhi Cai Donglin Liu Zhenyu Liu Leilei Chen Pan Liu School of Information Science & Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China College of Computer Engineering and Science Shanghai Business School Shanghai China

Scalability is an important metric which is used to evaluate the scalability of the cluster system. Although, there have been a lot of scalability metrics, the research of scalability of the cluster system is very few. Common scalability evaluation methods are usually used to analyze the scalability of the algorithm. They can also be used to analyze the scalability of the cluster. These methods are not only theoretically feasible, but not suitable for specific testing. In order to eliminate this defect, a simple and efficient testing method is proposed. This method, in the paper, is mainly used for the actual test. Using the method given in the paper, we can measure the scalability performance of the cluster system easily and effectively.

关键词： cluster system performance evaluation metric scalability

来源：评论

学校读者我要写书评

暂无评论

software Test Case Generation with Adequacy Analysis on Scenario-Based testing

引用

Journal of Donghua University(English Edition) 2011年第2期28卷 139-144页

作者：刘振宇杨根兴蔡立志 School of Computer Science Fudan University Shanghai Key Laboratory of Computer Software Evaluating and Testing

This paper studies the software scenario testing, which is commonly used in black-box testing at present. In the paper, the workflow model based on task-driven, which is very common in scenario testing, is analyzed. According to test adequacy criteria in scenario testing, the model is designed to correspond test cases in the light of logic block(LB). The final test cases that conform to the test adequacy criteria can be obtained through test case combination and test case reduction. In the last part of the paper, example of actual workflow is to design the efficient test case. Therefore the method is proved to be effective.

关键词： test case test adequacy system scenario software testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：