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

Applying SMV for security protocol verification

Information Technology Journal 2009年第7期8卷 1065-1070页

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

With the rapid development of the internet, a lot of attentions have been paid to the reliability of the security protocols. Model checking can be used to obtain the assurance that a protocol can not be threatened by an intruder. In this study, on the basis of former researches, an approach is presented for using efficient and complete formal verification tool SMV to model and verify security protocol, By this approach, we can construct related model easily and verifying the property automatically. We illustrate the approach by taking Otway-Rees protocol as an example and discover an attack upon the protocol. Finally, the protocol is adapted to satisfy the security properties © 2009 Asian Network for Scientific Information.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Towards common acquaintance immunization strategy for complex network

引用

Information Technology Journal 2009年第8期8卷 1129-1139页

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

The study presents a new immunization strategy for computer networks and populations with board and, in particular, scale-free degree distributions. The proposed strategy calls for the immunization of common acquaintances of random nodes (individuals). Similar to acquaintance immunization, our strategy also requires no knowledge of the node degrees or any other global information. Firstly, we analyze the successful and unsuccessful probability of acquaintance immunization with a simple example and the strategy ineffective reasons. Then, we study the probability of looking for common neighbors and present common acquaintance immunization strategy. Next, to compare common acquaintance immunization with acquaintance immunization, we implement a series of experiments from different aspects. The result of experiments shows that common acquaintance immunization gains higher stability and reliability for protecting complex network and can detect the structure of the unknown network. The conclusions of the study are that, compared with other immunization strategy, our approach requires no the whole information of complex network and efficiently immunizes the HUBS in complex network. © 2009 Asian Network for Scientific Information.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

PSO-Based Black-Box Lane Detection Adversarial Attack 2

PSO-Based Black-Box Lane Detection Adversarial Attack

引用

2nd International Conference on Artificial Intelligence, Human-computer Interaction and Robotics, AIHCIR 2023

作者： Fang, Hongtao Wang, Ruiyun Ma, Zeyu Chen, Mingang Shanghai Polytechnic University Shanghai Key Laboratory of Computer Software Testing and Evaluating shanghai China Shanghai Normal University Shanghai Key Laboratory of Computer Software Testing and Evaluating shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating shanghai China

ISBN: (纸本)9798350360363

Autonomous driving has achieved rapid development and promising performance by employing machine learning algorithms to automatically execute various maneuvers. Lane detection is one of the foremost tasks for vehicles, with a direct impact on driving decisions. Lane detection is a crucial component of autonomous driving, working in conjunction with lane centering control (LCC) and adaptive cruise control (ACC) to enable advanced driving assistance functions. At first thought, lane detection may seem immune to attacks. However, is this really the case? In this paper, we conduct experiments on lane detection modules and reveal their susceptibility to attacks exploiting hypersensitivity. Specifically, an excessively sensitive lane detector may mistake small markings for valid lanes, causing the vehicle to follow the wrong path. Through experiments, we demonstrate the vulnerability of lane detection models to adversarial attacks, even under black-box conditions where a change in one pixel can induce errors. We discuss the contrast between gradient-based and heuristic search-based optimization methods for black-box attacks and demonstrate the superiority of heuristic approaches for this task. Leveraging particle swarm optimization (PSO), we carry out lane detection attacks to address the research gap for black-box lane attacks. © 2023 IEEE.

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

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

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

ISBN: (纸本)9781849196413

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.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Analysis for blockchain application quality 2

Analysis for blockchain application quality

引用

2nd International Workshop on Experience with SQuaRE Series and Its Future Direction, IWESQ 2020

作者： Xu, Jiajin Zhang, Huan Gong, Jiayu Shanghai Key Laboratory of Computer Software Evaluation Shanghai Computer Software Technology Development Center Shanghai China

With the maturity and popularity of blockchain technology, it has applied to many industries, such as financial sector, logistics, notarization and so on, but there is no correct quality model to describe the brockchain software. This paper we combined with the general software quality model(SQuaRE), formed a suitable quality model of the blockchain platform (Hyperledger Fabric) and expound its special quality measure. The research result of this paper can be applied to test or evaluate of blockchain application. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Test case generation for web application based on markov reward process

Test case generation for web application based on markov rew...

引用

2020 International Conference on Communications, Information System and software Engineering, CISSE 2020

作者： Cao, Jing Liu, Xiaoqiang Guo, Hui Cai, Lizhi Hu, Yun College of Computer Science and Technology Donghua University Shanghai201620 China Shanghai Key Laboratory of Computer Software Testing &Evaluation Shanghai201112 China

Web applications often face continuous updating due to functional change or UI renew, while it remains a challenge to guarantee their correctness. The goal of software testing is to find defects in a limited time range whereas exhaustive testing is an ideal yet time-consuming process. In this research, we propose an approach to generating test cases automatically based on the Markov reward process which innovatively contains a reward function for test results to guide the generation of test cases. By using the N-step algorithm, this approach can generate the test flow with the highest risk priority which can capture software defects as quickly as possible. The experiment on an e-commerce system shows that there is significant improvement on the defect detection capability of test cases generated through Markov reward process. © 2021 Journal of Physics: Conference Series.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Community Smell Occurrence Prediction on Multi-Granularity by Developer-Oriented Features and Process Metrics

引用

Journal of computer Science & Technology 2022年第1期37卷 182-206页

作者： Zi-Jie Huang Zhi-Qing Shao Gui-Sheng Fan Hui-Qun Yu Xing-Guang Yang Kang Yang Department of Computer Science and Engineering East China University of Science and TechnologyShanghai 200237China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 200237China Shanghai Engineering Research Center of Smart Energy Shanghai 200237China

Community smells are sub-optimal developer community structures that hinder *** studies performed smell prediction and provided refactoring guidelines from a top-down aspect to help community ***,refactoring smells also requires bottom-up effort from every ***,supportive measures and guidelines for them are not available at a fine-grained *** recent work revealed developers'personalities and working states could influence community smells'emergence and variation,we build prediction models with experience,sentiment,and development process features of developers considering three smells including Organizational Silo,Lone Wolf,and Bottleneck,as well as two related classes including smelly developer and smelly *** predict the five classes in the individual granularity,and we also generate forecasts for the number of smelly developers in the community *** proposed models achieve F-measures ranging from 0.73 to 0.92 in individual-wide within-project,time-wise,and cross-project prediction,and mean R2 performance of 0.68 in community-wide Smelly Developer *** also exploit SHAP(SHapley Additive exPlanations)to assess feature importance to explain our *** conclusion,we suggest developers with heavy workload should foster more frequent communication in a straightforward and polite way to build healthier communities,and we recommend community shepherds to use the forecasting model for refactoring planning.

关键词： community smell developer sentiment socio-technical analysis empirical software engineering

来源：评论

学校读者我要写书评

暂无评论

Evaluating software maintainability using fuzzy entropy theory

Evaluating software maintainability using fuzzy entropy theo...

引用

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

作者： Cai, Lizhi Liu, Zhenyu Zhang, Juan Tong, Weiqin Yang, Genxing Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Shanghai Key Laboratory of Computer Software Evaluating and Testing China School of Computer Engineering and Science Shanghai University China

ISBN: (纸本)9780769541471

With the development of information technology, a large number of software products enter the maintenance phase. The maintainability of software products continues to attract people's attention. This paper proposes a new synthetic maintainability evaluation model basing on fuzzy entropy theory. In the model, the weight of different indexes is calculated by combining the entropy weight and expert weight. The entropy weight can be obtained through measuring the difference of membership degree of the index which reflects the consistency of the expert opinion. The evaluation result is more objective and reasonable. It provides a guideline to design a software product with high maintainability. © 2010 IEEE.

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

An evaluation System for Large Language Models based on Open-Ended Questions 11

An Evaluation System for Large Language Models based on Open...

引用

11th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2024

作者： Cao, Zhiyuan Ma, Zeyu Chen, Mingang Computer and Information Engineering College Shanghai Polytechnic University Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer software Technology Mathematical and Science College Shanghai Normal University Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer software Technology Shanghai China

ISBN: (纸本)9798350376982

We designed a large language model evaluation system based on open-ended questions. The system accomplished multidimensional evaluation of LLMs using open-ended questions, and it presented evaluation results with evaluation reports. Currently, the evaluation of large-scale language models often exists with two prominent limitations: (1) The evaluation methods are often single-minded, resulting in less credible results. (2) Most evaluations are based on datasets with closed-ended questions, treating generative large language models as discriminative models, which fails to adequately reflect the high output flexibility characteristic of these models. For these two limitations, we proposed an evaluation system for LLMs based on open-ended questions. Our experiments on the adapted open-source datasets demonstrated the effectiveness of this system. © 2024 IEEE.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Research on stream processing engine and benchmarking framework 19

Research on stream processing engine and benchmarking framew...

引用

19th IEEE International Conference on Networking, Sensing and Control, ICNSC 2022

作者： Le, Qionghua Chen, Mingang Chen, Wenjie Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9781665472432

Stream computing engine is an important part of big data system, and benchmarking is one of the main means to measure the engine's performance. In this paper, we compare the differences between two engines, Spark Streaming and Flink, in stream processing technologies. Then the open source benchmarking frameworks supporting stream processing and their respective characteristics are studied, and the HiBench testing framework is selected to test the two stream processing engines. The test results show that Flink is better than Spark Streaming in terms of performance in shuffle, stateful computation and windowed computation. © 2022 IEEE.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：