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

IEEE International Conference on Web Services (ICWS)

作者： Honghao Gao Huaikou Miao Hongwei Zeng School of Computer Engineering and Science Shanghai University Shanghai P.R. China Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai P.R. China

Service software deployed in E-commerce and finance fields needs working under 7*24 houses mode. If any failure occurs, service reconfiguration should be immediately executed to find appropriate services from candidates in order to guarantee the availability of core business. Thus, service software cries for an effective approach to constantly adjust its form for responding to varying user requirements and instable runtime environments. To this end, this paper proposes a probabilistic model checking-based Web service reconfiguration architecture. First, it proposes a predictive Web service monitoring approach based on probabilistic model checking. Second, it gives a Web service dynamic service selection approach which takes compatibility checking into account. The single-source service selection works to execute service replacement, while the multi-source service selection carries out service simulation. Third, it discusses a Web service dynamic reconfiguration verification approach where the Probabilistic Counterexample-Guided Abstraction Refinement (Probabilistic CEGAR) is introduced to alleviate the state space explosion problem.

关键词： Probabilistic logic Web services computer architecture Computational modeling Monitoring Model checking

来源：评论

学校读者我要写书评

暂无评论

Reports Aggregation of Crowdsourcing Test Based on Feature Fusion

Reports Aggregation of Crowdsourcing Test Based on Feature F...

引用

IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)

作者： Lizhi Cai Naiqi Wang Mingang Chen Jin Wang Jilong Wang Jiayu Gong Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China School of Information Science and Engineering. East China University of Science and Technology Shanghai China

ISBN: (纸本)9781665478373

In recent years, a new testing method based on the concept of crowdsourcing has made great progress. Developers upload the project to the crowdsourcing test platform and recruit a large number of crowdsourcing workers for testing, so that the testing process has higher test adequacy, faster testing speed and lower testing cost. However, the test reports submitted after the test have serious problems such as large quantity and high similarity, resulting in the failure to achieve the expected results. Based on the method of feature fusion, this paper integrates the text description information, bug type information and screenshot information of crowdsourcing test reports, clusters crowdsourcing test reports through the calculation of similarity between reports, and finally achieves better results.

关键词： Crowdsourcing Costs Conferences Machine learning software quality Natural language processing Mathematical models

来源：评论

学校读者我要写书评

暂无评论

An approach to analyzing user preference based dynamic service composition

Journal of Software

引用

Journal of software 2010年第9期5卷 982-989页

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

As a way to compose independent service together to fulfill a function, service composition is an important means for flexible and rapid information integration of complex distribution application in open and heterogeneous environment. However, the diversity of requirements makes it difficult to guarantee the correctness of service composition. This paper proposes a hierarchical dynamic service composition net (HDSC-net), and user's preference based mechanism for service composition. HDSC-net is used to model operation, the relationships between operations, operation mapping, and user's preference. Transfer matrix is constructed to express the relationships between states, while theories of Petri nets help prove the composability of service. The strategy for dynamic service composition and its corresponding enforcement method are also proposed. A case study of Travel Service demonstrates the applicability of proposed method and its effectiveness. © 2010 Academy Publisher.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A formal aspect-oriented method to model and analyse secure service composition

引用

International Journal of Autonomous and Adaptive Communications Systems 2015年第2-3期8卷 119-140页

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

Service-oriented computing (SOC) is becoming a prominent paradigm for creating value-added enterprise applications by composing web services. However, this flexibility comes along with new security risks. In this paper, Petri nets are used to precisely describe the different components of service composition, such as service, component, the basic relation between components, etc. The dynamic matching strategy of service composition is proposed, aspect orientation is used to weave it into the base net, which includes evaluation concern, authorisation concern and failure processing concern, the weaving mechanism dynamically integrates these schemas into a secure aspect model. Based on this, the operation semantics and related theories of Petri nets help prove the effectiveness and feasibility of proposed method, the enforcement algorithm is also given. An example explains the modelling process of service composition, and a series of experiments are done to explain that the use of aspects for service composition is more efficient than conventional techniques. © 2015 Inderscience Enterprises Ltd.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Formal verification of security protocols using Spin

Formal verification of security protocols using Spin

引用

International Conference on computer and Information Science (ACIS)

作者： Shengbo Chen Hao Fu Huaikou Miao School of Computer Engineering and Science Shanghai University Shanghai P. R. China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai P. R. China

ISBN: (纸本)9781509008070

Security protocols are the key to ensure network security. In the context of the state of the art, so many methods have been developed to analyze the security properties of security protocols, such as Ban logic, theorem proving and model checking etc. This paper used model checking method to formally verify security protocols because of its high degree of automation, briefness and effectiveness. The model checker Spin with sound algorithm design has an extraordinary ability of checking and a good support for LTL. This paper studied the use of Spin on security protocols, and proposed a more effective intruder model to formally verify the security properties of security protocols, such as authentication. The method in this paper decreased the number of model states by a wide margin, and avoided the state space explosion effectively. This paper exampled NSPK protocol and DS protocol, and good experimental results were shown.

关键词： Protocols Authentication Public key Analytical models Model checking

来源：评论

学校读者我要写书评

暂无评论

testing web applications with web frameset and browser interactions

引用

Information Technology Journal 2011年第7期10卷 1305-1314页

作者： Song, Bo Chen, Shengbo College of Information Science and Technology Qingdao University of Science and Technology 266061 Qingdao China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China School of Computer Engineering and Science Shanghai University 200072 Shanghai China

software testing is a difficult task and testing Web applications may be more difficult, due to their characteristics. Web application is an interactive one since it came into being. How to model and test Web interactions is a challenge in software engineering. Web navigation models are useful to clarify requirements and specify implementation behaviors. Web frameset and Web browser's interactions are wildly used in today's Web applications. The behaviors of Web frameset and Web browser interactions changed the traditional Web navigation and influence the functionalities of Web applications. In this study, we took Web frameset and Web browser's interactions into account and proposed an approach to modeling the Web application's navigation and generating tests with Web framesets and browser's interactions. The construction formal semantics of structure compositionof Web frameset is give out. Based on the formal semantics, the Web navigation with Web framesets is modeled. The Extended Browser Loading Model with Web frameset (EBLM) and the extended FSMis employed to formalize the navigation models with Web framesets and browser's interactions andaFSM Test-Tree (FSM-TT) is constructed using present construction algorithm. At last, test generation is given out which satisfies the corresponding coverage criteria. This study resolves the following research problems: (1) propose an approach tomodeling Web applications with Web framesets and Web browser's interactions, (2) give the formal construction semantics of Web frameset and (3) formalize the navigation model and generatingtests. © 2011 Asian Network for Scientific Information.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

Modeling and testing of GUIs Using IOLTS

Modeling and Testing of GUIs Using IOLTS

引用

Asia-Pacific Conference on software Engineering

作者： Shengbo Chen Dashen Sun Huaikou Miao Hongwei Zeng School of Computer Engineering and Science Shanghai University Shanghai P. R. China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai P. R. China

ISBN: (纸本)9781479974276

Graphical User Interface (GUI) provides a popular and convenient way for the user to freely interact with the systems which makes it widely used in various software applications, it has become an important and indispensable part of today's software. Owing to the characteristics of GUIs different from the traditional software, traditional test techniques and methods cannot satisfy the requirements of GUI testing. Modeling and testing of GUIs-based system is a difficult and challenging work. GUIs-based application is an event-driven application. In GUIs, there exist not only the input events and output events, but also the internal events. In this paper, we identify the input events, output events and internal events and propose an approach to modeling and testing of GUIs-based system using the IOLTS, and input events, output events and internal events are also taken into account. Constraints on events and regular expressions on validation of data are given out. The interactions of GUIs are constructed by the corresponding output events. Finally, tests generation and tests instantiation are given out.

关键词： Graphical user interfaces software testing Servers Electronic mail Layout Explosions

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Analysis for Microservice Architecture Application Quality Model and testing Method

Analysis for Microservice Architecture Application Quality M...

引用

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

作者： Jiayu Gong Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China

In recent years, microservice architectures have benefited from low coupling and high cohesion characteristics, allowing flexible on-demand deployment of complex applications and simplifying the difficulty of developing and maintaining large software systems. However, there is limited research on quality models and testing methods for microservice architectures, which leads to the problem that microservice architecture applications are difficult to test and evaluate. This paper analyzes the main problems when microservice architecture applications face quality measurement and software testing, further improves and refines the quality model of microservice architecture applications on the basis of the existing ISO software product quality model, and introduces testing methods for microservice architecture applications, which can provide reference for the construction of microservice architecture applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research on software security and compatibility test for mobile application

Research on software security and compatibility test for mob...

引用

International Conference on Innovative Computing Technology (INTECH)

作者： Zhenyu Liu Yun Hu Lizhi Cai Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (纸本)9781479942329

The intelligent device and mobile applications has been the growth rapidly. The mobile device and related applications has widely used increasingly. The security and compatibility concern for mobile application is mounting as well. This paper analyzed attributes of security and compatibility corresponding to mobile software testing. The software quality features for security and compatibility is given based on the software quality model. The test methods for security and compatibility are proposed according to test model and requirements for mobile applications. The relevant properties with testing techniques and methods are detailed introduced, which indicates that the test method could be effective for mobile software applications.

关键词： Mobile communication software Security Mobile handsets Mobile computing Hardware testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：