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

2011 10th IEEE/ACIS International Conference on computer and Information Science, ICIS 2011

作者： Chen, Ying Tian, Ye Zeng, Hongwei School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China

ISBN: (纸本)9780769544014

In this paper, we propose a test generation method that combines compositional reasoning theory and counterexample guided abstraction refinement framework. Firstly, the abstract model of system is produced by composing abstract components, then the abstract test cases can be generated by model checking based on abstract model, finally, the concrete test case of the complete original system is generated by refining the abstract model. The abstraction refinement keeps the state space small enough to alleviate the state space explosion problem. © 2011 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Template-based Formalization of Feature Models for Product Family 13

Template-based Formalization of Feature Models for Product F...

引用

13th IEEE International Conference on software Engineering and Service Science, ICSESS 2022

作者： Liu, Hongbo Wang, Xi Wang, Weiwei Shanghai University School of Computer Engineering and Science Shanghai China Shanghai University Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai200444 China

ISBN: (数字)9781665410328

ISBN: (纸本)9781665410311

The feature model considers several products as a collection of features and describes the commonality and variability of the family in terms of feature relationships. Traditional informal feature models lacked the support of tools to automate the process of feature modeling, so formal methods were introduced implement automated support for feature modeling tools. For large software, writing formal specifications for feature models directly is quite difficult and requires technical background and experience. In this paper, we propose a formal template-based approach to constructing feature models and their formal descriptions, each template is used to formalize a class of PFA expressions. We give a structural definition of the templates and for constructing feature models from templates and generating formal descriptions of the corresponding features. We give a case study to illustrate the effectiveness of our method. © 2022 IEEE.

关键词： Writing Reliability engineering software software reliability Formal specifications testing software engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Expression and evaluation of reputation based on fuzzy set theory

引用

Journal of Information and Computational Science 2011年第1期8卷 129-138页

作者： Sun, Hua Yu, Huiqun Yang, Nianhua Li, Li Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China School of Information Science and Engineering Xinjiang University Urumqi 830046 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

In the heterogeneous and open networks, reputation can help users to make a decision about whether or not to have a transaction with other entities. The feedback data used to evaluate the reputation always comes from different entities in different systems and is expressed in different forms. The variety of forms will increase difficulty of the integrated evaluation. This paper first introduces the different express forms of the reputation, and then gives a detail description about how to translate the feedback reputation information using different form into fuzzy form, and evaluates the integrated reputation based on fuzzy number of fuzzy set theory. The data shows that fuzzy form is more accordant with the definition and evaluation of the reputation, and the methods based on fuzzy set is convenient for the entities to predict the behavior of the object entities. © 2011 Binary Information Press.

关键词： Fuzzy set theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：