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

Testability metrics for software behavioral models

International Journal of Performability Engineering 2017年第8期13卷 1171-1182页

作者： Liu, Pan College of Information and Computer Shanghai Business School Shanghai201400 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201112 China

Design for testability is one of the important research interests in software engineering. It becomes crucial in model-based testing because software behavioral models can be used to construct test sequences to perform conformance testing. However, testability of models has received less attention in the past. A model with high testability is easy to be used to construct effective test sequences, and conformance testing can also be realized easily. To improve testability of software behavioral models, using the formal method, we present five testability metrics: observability, controllability, test constructibility, performability, and error traceability. Then, a case is studied to evaluate the effectiveness of proposed testability metrics. As a result of the case study, models with higher testability can not only be used to generate executable test sequences, but also the size of the constructed test suite is also smaller. Our research will enrich the modeling theory of model-based testing and can improve the application of this test method in industry. © 2017 Totem Publisher, Inc. All rights reserved.

关键词： Behavioral research

来源：评论

学校读者我要写书评

暂无评论

Message from program chairs

Proceedings - 2018 IEEE/ACIS 19th International Conference o...

引用

Proceedings - 2018 IEEE/ACIS 19th International Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2018 2018年 ix页

作者： Yeo, Hyun Hong, Chung Sun Yeom, Gun Huck Cai, Lizhi Matsuo, Tokuro Fukuta, Naoki Hwang, Ha Jin SunChon National University Korea Republic of Kyung Hee University Korea Republic of Pusan National University Korea Republic of Shanghai Key Laboratory of Computer Software Evaluating and Testing China Advanced Institute of Industrial Technology Japan Shizuoka University Japan Sunway University Malaysia

来源：评论

学校读者我要写书评

暂无评论

Research and Practice on Performance Test of Call Center Platform System

引用

Journal of Physics: Conference Series 2018年第1期1069卷

作者： Wei Song Chunye Du Chunliu Zhang Shanghai Key Laboratory of Computer Software Evaluating & Testing 1588 Lianhang Road Shanghai China

Call center is more and more closely linked with people's daily life. This paper analyzes the three major problems of call center service (cask effect, avalanche effect, cumulative effect), introduces the call center platform performance testing strategy, and uses the Sprint and SilkPerformer testing tools to test the call center platform. The experimental results show that, through the implementation of performance testing, can predict the processing ability of the call center system in real environment, the system will advance the problems exposed, positioning help problem solution.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Performance evaluation of recommender systems

引用

International Journal of Performability Engineering 2017年第8期13卷 1246-1256页

作者： Chen, Mingang Liu, Pan Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201112 China Shanghai Development Center of Computer Software Technology Shanghai201112 China Shanghai Business School Shanghai201112 China

Recommender systems play an important role in e-commerce. This paper discusses three classical methods-offline analytics, user study, and online experiment-to evaluate the performance of recommender systems and also analyzes their application scenarios. Some performance evaluation metrics of recommender systems are reviewed and summarized from four perspectives (machine learning, information retrieval, human-computer interaction and software engineering) combined with the above three evaluation methods. These evaluation methods and evaluation metrics summarized in the paper provide the designers with guidance for the comprehensive evaluation and selection of recommended algorithms. © 2017 Totem Publisher, Inc. All rights reserved.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

Credit evaluation of gas consumers by combining hierarchy analysis with clustering

Credit evaluation of gas consumers by combining hierarchy an...

引用

International Conference on computer and Information Science (ACIS)

作者： Wenqing Xu Huiqun Yu Jianmei Guo Jinglei Shen Huaiying Sun 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

ISBN: (纸本)9781509055081

Credit evaluation of customer is an important task for gas companies to achieve marketing management, and is of great significance to improve the economic efficiency of enterprises. By analyzing various factors influencing gas customer credit, a gas customer credit index hierarchy is established. Then, based on the credit index hierarchy, this paper proposes a hybrid credit evaluation method by cluster analysis and analytic hierarchy process(AHP). This method first divides gas customers into different groups by cluster analysis, then determines the credit index weight by AHP, and finally evaluates gas customer credit rating by combining the above two results. The empirical analysis of the actual data of a gas company shows that as a synthesis of customer data's statistical properties and gas professionals' actual work experience, this model can evaluate gas customer credit rating rationally and effectively.

关键词： Indexes Analytic hierarchy process Clustering algorithms Algorithm design and analysis Safety Companies Economics

来源：评论

学校读者我要写书评

暂无评论

Mini-XML: An efficient mapping approach between XML and relational database

Mini-XML: An efficient mapping approach between XML and rela...

引用

International Conference on computer and Information Science (ACIS)

作者： Huchao Zhu Huiqun Yu Guisheng Fan Huaiying Sun 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

ISBN: (纸本)9781509055081

In recent years, XML technology has won wide attention from both industry and academic. It can be used to mark data, define the data type and their own markup language. It is a cross-platform, context-dependent technology in the Internet environment and an effective tool for todays distributed structure information. The S-XML is a new approach for storing semi-structured data, and it supports query of the node in XML with SQL statements, which has shown impressive performance on many classic data sets. However, it is difficult to store XML data into a relational database, and the S-XML spends much more time and space to store the data. In this paper, we propose an efficient mapping approach, the mini-XML, to mapping XML into the relational database. In addition, path technique and position information are used to indicate the complex node relationship. Finally, two experiments are conducted to prove that the proposed method can achieve better performance in the decreasing of the storage time and storage space, especially dealing with the large amount of data.

关键词： XML Mini-XML Semi-structured Path technique extensible markup language Relational databases data types symbolic languages storage spaces MAPPING(MATHEMATICAL) mapping

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Research on service recommendation reliability in mobile computing

Research on service recommendation reliability in mobile com...

引用

International Conference on software Engineering Research, Management and Applications (SERA)

作者： Weng Wen HuaiKou Miao School of Computer Engineering and Science Shanghai University Shanghai China College of Computer and Information Engineering Shanghai Polytechnic University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai Shanghai China

Web services bring more conveniences for users and developers. However, it makes user face the problem of service information explosion. The personalized service recommendation solves the problem. This paper proposes a method to predicting the system reliability which bases on user context information in mobile computing environment. The method construct user behavior model by formatting user location context and then quantitative verification is performed to estimating whether the recommended service meet the requirements of users. Finally, experiments are carried out to demonstrate the effectiveness of our method.

关键词： Context Reliability Mobile handsets Hidden Markov models Web services Mobile computing Context modeling

来源：评论

学校读者我要写书评

暂无评论

Modeling and optimizing CPS software testing based on petri nets

引用

International Journal of Performability Engineering 2017年第8期13卷 1183-1194页

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

software testing is an important means to ensure the quality of software. However, there is a lack of effective modeling and optimization of CPS software testing. In this paper, Petri nets are used to model the underlying devices, components, connectors and test cases of CPS software. Aspect oriented programming extracts the crosscutting concerns of CPS software testing. The behaviors and their relationships are described based on AOP, and a weaving mechanism is used to dynamically integrate these models into the test model of CPS. The correctness of the model is analyzed by using the operation semantics and related theories of Petri nets. Based on the state space of constructed model, a strategy is proposed to dynamically select the test suite. The experiment results show that this method can effectively describe the CPS software testing process, which can improve the quality of software testing. © 2017 Totem Publisher, Inc. All rights reserved.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

SDN-based approach to generating and optimizing test path for cloud application

引用

International Journal of Performability Engineering 2017年第8期13卷 1257-1267页

作者： Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai200235 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai201112 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai200237 China

With the intensive and large-scale development of cloud computing, software testing has become one of the most important problems. How to evaluate and assess the testing process of a cloud computing system is a key to the deployment and use of it. This paper proposes a method to generate and optimize test paths of cloud application based on SDN, which separates the cloud service testing process from the underlying execution logic, thus improving the scalability of the testing process. The finite state machine (FSM) is used to establish the formal description language of the cloud application testing process, and is also used to model the basic elements, such as cloud services, jobs, test cases and cloud applications, and construct a test model for cloud application. The related theory of FSM is used to analyze the effectiveness and correctness of cloud application test model. Based on the actual mapping of the model, the generation method of test path is also given. In addition, we analyze the coverage of test cases and propose the test path optimization methods to improve the test efficiency. The specific examples and simulations show that this method can simplify the design and analysis of the cloud application testing process and effectively improve the generation of test paths. © 2017 Totem Publisher, Inc. All rights reserved.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：