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

Modeling and verifying web service applications with time constraints

Modeling and verifying web service applications with time co...

IEEE/International Association for computer and Information Science International Conference on computer and Information Science

作者： Mei, Jia Miao, Huaikou Xu, Qingguo Liu, Pan School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9780769541471

Web services are a very appropriate communication mechanism to perform distributed business processes among several organizations. These processes should be reliable, because a failure in them can cause high economic losses. In this paper1, we present an approach to verify Web Service applications with time restrictions which are defined by BPEL4WS using model checking techniques. We introduce a formalism, called WS Timed Automata, to capture the timed behavior of the web service applications, and methods to translate description of web service applications written in BPEL4WS to WS Timed Automata is proposed in this paper. The formal verification tool Uppaal is used to verify related properties of the system. A particular case study, an airline travel reservation system is taken as illustration. © 2010 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Axiomatic assessment of FSM-based test adequacy criteria for web application

Axiomatic assessment of FSM-based test adequacy criteria for...

引用

IEEE/International Association for computer and Information Science International Conference on computer and Information Science

作者： Zhou, Xiaokang 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: (纸本)9780769541471

Compared with traditional software testing, Web application testing is quite different. It has become increasingly important to choose appropriate criteria during the testing. This paper presents a set of test adequacy criteria for FSM-based Web application, and proposes two new test criteria: complete function interaction coverage criteria and function loop interaction coverage criteria. Besides, an axioms system is proposed to assess the FSM-based Web application test coverage criteria. From this axioms system, some useful conclusions are educed as a guide for software engineers in practical testing application. © 2010 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Probabilistic timed model checking for atomic Web service

Probabilistic timed model checking for atomic Web service

引用

2011 IEEE World Congress on Services, SERVICES 2011

作者： Gao, Honghao Miao, Huaikou Chen, Shengbo Mei, Jia School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China

ISBN: (纸本)9780769544618

As Web services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web services composition. This has driven many researchers to study the performance analysis of dynamic atomic service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of atomic service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of atomic service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web services composition. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Load Balancing Optimization for Transformer in Distributed Environment 27

Load Balancing Optimization for Transformer in Distributed E...

引用

27th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2021

作者： Ma, Delu Lei, Zhou Chen, Shengbo Wang, Peng School of Computer Engineering and Science Shanghai University Shanghai200444 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201112 China

ISBN: (纸本)9781665408783

In recent years, the demand for artificial intelligence applications has increased dramatically. Complex models can promote machine learning to achieve excellent results, but computing efficiency has gradually reached a bottleneck. Therefore, more researchers are exploring the improvement of the efficiency of intelligent computing systems. Distributed machine learning can improve the efficiency of model training and inference, but problems such as communication delay and load imbalance between computing nodes still exist. In the multi-GPU distributed computing environment, this paper takes the vision field algorithm VIT (vision transformer) as the optimization object, which has the advantage of convenient parallel training, and proposes several related solutions. Firstly, the parameter server is used as the system logic architecture and in order to reduce the idleness of the computing devices during the training process, the device working status query mechanism is designed to realize load balancing. Secondly, combined with the pre-trained small VIT algorithm model, semi-asynchronous communication method is proposed to reduce the communication overhead of computing devices and accelerate global convergence. The results of this experiment carried out in the existing distributed environment has demonstrated that compared with the existing synchronization method, the computational efficiency has been improved well under the premise of slightly reducing the accuracy. © 2021 IEEE.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Modeling and verifying for frameset-based web applications

Modeling and verifying for frameset-based web applications

引用

5th International Conference on Theoretical Aspects of software Engineering, TASE 2011

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

ISBN: (纸本)9780769545066

As Web applications evolve, their structure may be-come more and more complex. Web frameset is used to organize multiple frames and nested framesets to make the layout of some Web pages more identical and bring the development of Web applications easier, which was wildly used in today's Web applications. How to model and verify the frameset-based Web applications is a challenge. In this paper, special care on Web frameset is paid and an approach to modeling and verifying Web application's navigation with Web frameset is proposed. The Composition semantics of Web Frame-set was give out which can be used to construct complex Web Frameset. Additionally, FSM was employed to describe our models with Web Frameset. Then, we transform FSM model into Kripke structure. Finally, taking advantage of the properties which were generated, we verified our model with Web Framesets. And according to results of verification, we improve our models. © 2011 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Harmonizing Visual Text Comprehension and Generation 38

Harmonizing Visual Text Comprehension and Generation

引用

38th Conference on Neural Information Processing Systems, NeurIPS 2024

作者： Zhao, Zhen Tang, Jingqun Wu, Binghong Lin, Chunhui Wei, Shu Liu, Hao Tan, Xin Zhang, Zhizhong Huang, Can Xie, Yuan East China Normal University China ByteDance China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

In this work, we present TextHarmony, a unified and versatile multimodal generative model proficient in comprehending and generating visual text. Simultaneously generating images and texts typically results in performance degradation due to the inherent inconsistency between vision and language modalities. To overcome this challenge, existing approaches resort to modality-specific data for supervised fine-tuning, necessitating distinct model instances. We propose Slide-LoRA, which dynamically aggregates modality-specific and modality-agnostic LoRA experts, partially decoupling the multimodal generation space. Slide-LoRA harmonizes the generation of vision and language within a singular model instance, thereby facilitating a more unified generative process. Additionally, we develop a high-quality image caption dataset, DetailedTextCaps-100K, synthesized with a sophisticated closed-source MLLM to enhance visual text generation capabilities further. Comprehensive experiments across various benchmarks demonstrate the effectiveness of the proposed approach. Empowered by Slide-LoRA, TextHarmony achieves comparable performance to modality-specific fine-tuning results with only a 2% increase in parameters and shows an average improvement of 2.5% in visual text comprehension tasks and 4.0% in visual text generation tasks. Our work delineates the viability of an integrated approach to multimodal generation within the visual text domain, setting a foundation for subsequent inquiries. Code is available at https://***/bytedance/TextHarmony. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SP-E: Security Evaluation Framework of In-vehicle Infotainment System based on Threat Analyses and Penetration Tests 2

SP-E: Security Evaluation Framework of In-vehicle Infotainme...

引用

2022 2nd International Conference on Communication Technology and Information Technology, ICCTIT 2022

作者： Li, Shuang Zhang, Xin Zhou, Yue Zhang, Meng School of Computer Science Fudan University 200433 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology 201112 China

With the increasing requirement of people, the functions of in-vehicle infotainment systems are becoming more and more abundant, and their security also affects the safety of vehicles. Therefore, it is more and more important to evaluate the security of the IVI system. This paper proposes a security evaluation framework for in-vehicle infotainment systems based on threat analyses and penetration tests. By constructing the data flow diagram of application scenarios, analyzing threats, combing the attack link diagram, combining white-box audit and black-box test, we use the characteristics of high efficiency of automatic tools and high accuracy of manual methods to set factor sets, and then the whole IVI system is evaluated by Analytic Hierarchy Process and Fuzzy Comprehensive Evaluation. © Published under licence by IOP Publishing Ltd.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Reusing Test Cases Based on the Function Point

引用

Journal of Donghua University(English Edition) 2014年第4期31卷 441-446页

作者：张娟童维勤蔡立志黄文彬 HWANG Jenq-Neng School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai Key Laboratory of Computer Software Evaluating & Testing School of Computer Engineering and Science Shanghai University School of Communication and Information Engineering Shanghai University Department of Electrical Engineering University of Washington

Reusing test cases from existing test case library is quite common in the software testing field. testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first *** test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.

关键词： function point function unit test case test case suite reuse RG tool Z specification language

来源：评论

学校读者我要写书评

暂无评论

Desensitization Method of Image Data in the Internet of Vehicles Based on Instance Segmentation 2

Desensitization Method of Image Data in the Internet of Vehi...

引用

2nd International Conference on Algorithms, Microchips, and Network Applications, AMNA 2023

作者： Li, Shuang Zhou, Yue Zhang, Xin Zhang, Meng School of Computer Science Fudan University 200433 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology 201112 China

ISBN: (纸本)9781510664791

With the continuous development of intelligent connected vehicle industry, cameras and other vehicle-mounted devices are widely used, so the amount of data collection is increasing. There is a large amount of sensitive information hidden in the image data generated by connected vehicles. Once the data leakage event occurs, it may cause very serious consequences. In order to improve the security of connected vehicle data and reduce the threat of sensitive information leakage in image data, this paper provides a desensitization process of connected vehicle image data, and desensitizes sensitive information based on instance segmentation technology. In this paper, a real road image dataset is collected, and realizes desensitization of the modified dataset based on proposed framework. © 2023 SPIE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

Location-Based Service Recommendation for Cold-Start in Mobile Edge Computing 17th

Location-Based Service Recommendation for Cold-Start in Mobi...

引用

17th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2020

作者： Yu, Mengshan Fan, Guisheng Yu, Huiqun Chen, Liang Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9783030794774

With the rapid development of the 5G and Internet of Things (IoT), mobile edge computing has gained considerable popularity in academic and industrial field, which provides physical resources closer to end users. Service recommendation in such a distributed environment is a hot issue. However, the cold-start problem for service recommendation in mobile edge computing is still urgent to be solved. In this paper, we propose a service recommendation method based on collaborative filtering (CF) and user location, by comprehensively considering the characteristic of services at the edge and mobility of users. In detail, we first synthesize the service characteristics of each dimension through multidimensional weighting method. We further introduce the idea of Inverse_CF_Rec to the traditional CF and then predict the lost QoS value to solve the problem of sparse data. Finally, a recommendation algorithm based on predicted QoS value and user geographic location is proposed to recommend appropriate services to users. The experimental results show that our multidimensional inverse similarity recommendation algorithm based on collaborative filtering (MDICF) outperforms Inverse_CF_Rec in terms of the accuracy of recommendation. © 2021, IFIP International Federation for Information Processing.

关键词： Location based services

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：