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

Journal of software 2011年第3期6卷 340-348页

作者： Yang, Nianhua Yu, Huiqun Sun, Hua Qian, Zhilin 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

TCPNIA (Timed Colored Petri Nets with Inhibitor Arcs, TCPNIA) is a model for specifying real-time embedded systems. It integrates features of colored Petri nets, timed Petri nets and inhibitor arcs. The methods for modeling modules of systems using TCPNIA are proposed. A depth-first scheduling algorithm for TCPNIA is proposed. The system level resource's influence to schedulable path is considered. Different data in tokens will change an execution path and call different data operational functions. The influence from data operational functions is considered in the scheduling algorithm. The time requirement upper bound of a schedulable path can be calculated in the algorithm. Tasks' parallel executions have been considered when the time upper bound of the path is calculated. The soundness of the algorithm is proved. The time and space complexities of the algorithm are also analyzed. The compositional conditions and method for composing schedulable path are given. A case study shows the applicability and feasibility of the method. © 2011 ACADEMY PUBLISHER.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Research on Measuring Method of Function Size of Information System 26

Research on Measuring Method of Function Size of Information...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Chunye, Du Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing &evaluating Shanghai China

ISBN: (纸本)9798350345865

With the rapid development of software industry, a variety of new technologies are produced. Research and development in cloud computing, big data, artificial intelligence, the Internet of Things, blockchain, and other related fields continue to prosper. The increasing lines of code, function points, escalating scale of software systems, and the rising complexity of software development collectively complicate software cost estimation. This article studies how to estimate the size, workload, and cost of an information system using functional scale measurement methods. © 2023 IEEE.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

A business process testing sequence generation approach based on test cases composition

A business process testing sequence generation approach base...

引用

International Association for computer and Information Science/JNU International Conference on computers, Networks, Systems and Industrial Engineering

作者： Cai, Lizhi Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9780769544175

This paper proposes a business process testing scenario generation based on test cases composition. Just like path oriented testing technique in structure testing area, this testing method focuses on finding the logical error in the process implementation according to the formal business process presentation. The test cases against a node of process designed by the techniques such as boundary value analysis , equivalence partitioning and so on, may not easily find the errors in the special business process tends. These test cases are modeled as TCN (Test Cases Nets) with a CPN (Colored Petri Nets) in this paper. The BPSN (Business Process Scenario Net) is built by composing the existing TCN. The generation technique of the test scenario for basis path testing for a business process according to the BPSN is discussed. We exemplify our approach in an ATM system that has a rich set of interactions with its users. © 2011 IEEE.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

Automated Functionality and Security evaluation of Large Language Models 9

Automated Functionality and Security Evaluation of Large Lan...

引用

9th IEEE International Conference on Smart Cloud, SmartCloud 2024

作者： Ding, Minjie Shen, Ying Chen, Mingang Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (纸本)9798350389500

Natural language processing (NLP) is rapidly developing. A series of Large Language Models (LLMs) have emerged, represented by ChatGPT, which have made significant breakthroughs in natural language understanding and generation, enabling fluent dialogue with humans, understanding human intentions, and completing complex tasks. However, in addition to the fairness and toxicity of traditional language models, some new problems, including hallucination, have also emerged in LLMs, making them hard to use. Evaluating LLMs manually is challenging due to subjectivity and inefficiency. In this paper, we focused on the fuzzy matching, toxicity detection, and hallucination detection in the evaluation of LLMs automatically, and fine-tune the Mixtral-8x7B Model, which can be deployed in private cloud environment, and prove the effectiveness of our method through experiments. © 2024 IEEE.

关键词： Toxicity

来源：评论

学校读者我要写书评

暂无评论

Detection and Segmentation of Graphical Elements on GUIs for Mobile Apps Based on Deep Learning 11th

Detection and Segmentation of Graphical Elements on GUIs for...

引用

11th International Conference on Mobile Computing, Applications, and Services, MobiCASE 2020

作者： Hu, Rui Chen, Mingang Cai, Lizhi Chen, Wenjie Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (纸本)9783030642136

Recently, mobile devices are more popular than computers. However, mobile apps are not as thoroughly tested as desktop ones, especially for graphical user interface (GUI). In this paper, we study the detection and segmentation of graphical elements on GUIs for mobile apps based on deep learning. It is the preliminary work of GUI testing for mobile apps based on artificial intelligence. We create a dataset, which consists of 2,100 GUI screenshots (or pages) labeled with 42,156 graphic elements in 8 classes. Based on our dataset, we adopt Mask R-CNN to train the detection and segmentation of graphic elements on GUI screenshots. The experimental results show that the mAP value achieves 98%. © 2020, ICST Institute for computer Sciences, Social Informatics and Telecommunications Engineering.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

IVIFUZZER: A Fuzzing method for vulnerability exploitation on the operating interface of the In-Vehicle Infotainment system 5

IVIFUZZER: A Fuzzing method for vulnerability exploitation o...

引用

5th International Seminar on Artificial Intelligence, Networking and Information Technology, AINIT 2024

作者： Wu, Jianhua Zhang, Xin Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201112 China

ISBN: (纸本)9798350385557

As an important information system of intelligent and connected vehicles, most In-Vehicle Infotainment systems are set up and manage the vehicles through user interaction. This paper presents a Fuzzing method IVIFUZZER for vulnerability exploitation on the operation interface of the In-Vehicle Infotainment system. With the help of automated robotic arm and improved OCR technology, collecting system leakage information and directional detection of the identified input points, 6 zero day vulnerabilities were found. The experimental results show that the proposed IVIFUZZER method is effective. © 2024 IEEE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

Petri nets-based method to model and analyse the self-healing web service composition

引用

International Journal of High Performance Computing and Networking 2016年第1-2期9卷 8-18页

作者： Chen, Liqiong Xiao, Lizhong Fan, Guisheng Zhang, Huanhuan Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China 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

Service composition is an important means for integrating the individual web services to create new value added systems that can satisfy complex requirements. Such applications are subject to unexpected failure owing to the distributive and heterogeneous environment of web service. In this paper, we propose a Petri nets-based method to model and analyse the self-healing service composition. Aspect oriented programming is used to extract composition processes and self-healing strategy as the core and crosscutting concerns. A self-healing strategy of component and service composition is proposed, and the related operations of self-healing are abstracted as meta-objects by using reflection mechanism. Petri nets are used to construct the base layer model, meta layer model, meta-object protocol and other components, thus forming the self-healing model. The operational semantics and related theories of Petri nets help prove its effectiveness and correctness. A simulation example shows that our approach correctly describes the self-healing process of service composition, and contributes to improving the quality. Copyright © 2016 Inderscience Enterprises Ltd.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An approach to formally modeling and verifying distributed real-time embedded software

Journal of Software

引用

Journal of software 2010年第9期5卷 990-997页

作者： Chen, Liqiong Fan, Guisheng Liu, Yunxiang Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China 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

As computer systems become increasingly internetworked, Distributed Real-time Embedded (DRE) systems has became increasingly common and important, a challenging problem faced by researchers and developers of DRE software is devising and implementing an method that can effectively analyze requirements in varying operational conditions. In this paper, a Hierarchical Distributed Realtime Embedded net (HDRE-net) is proposed as software analysis tool. The basic task, function module and communication process are modeled by using HDRE-net, thus forming the whole application through the synthesis operation of Petri net. Time Reachability Graph is adopted to analyze the correctness of HDRE-net, the basic properties of DRE software are also considered. Finally, a specific example is given to simulate the analysis process, and the results show that the method can be a good solution to analyze DRE software. © 2010 Academy Publisher.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Modeling and analyzing reliable cyber-physical systems based on aspect orientation

引用

Journal of Applied Science and Engineering 2014年第1期17卷 101-110页

作者： Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China 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

Cyber-physical systems (CPS) consists of distributed computation interconnected by computer networks. Finding a common semantics among these diverse components that facilitate system modeling, synthesis, and verification is a significant challenge of CPS. Aspect oriented method is proposed to model and analyze reliable CPS, Petri nets are used to observe behaviors of basic component, such as device, computation and physical interaction, component and communication process. The reliability assurance strategy of CPS is proposed, aspect orientation is used to weave it into the base net. Based on this, the effectiveness and feasibility of proposed method are analyzed based on the operation semantics of Petri nets. A case study of material balancing system and experimental results demonstrate that the approach can contribute to the improvement of design quality in developing reliable CPS.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Modeling and verifying of grid computing based on FSM

引用

Journal of Convergence Information Technology 2011年第1期6卷 170-181页

作者： Gao, Honghao Wang, Shuoping School of Computer Engineering and Science Shanghai University 200072 shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China Computer Science School Zhejiang University City College 310015 Hangzhou China

Many applications of grid computing are appearing to solve a scientific or technical problem by shaping and coordinating computational services across the network. The dynamic and complex interaction of grid computing has been a big challenge in guaranteeing the reliability of services behaviors. This paper focuses on the behavioral correctness of grid computing. In order to unify the expression of grid computing behaviors, we introduce the BPMN (Business Process Modeling Notation) to formally describe the interactions in a visualization way with the basic business process concepts, which creates a standardized bridge for the gap between the business process logic design and implementation. Then we translate BPMN to an extended FSM (Finite-State Machine) automaton. Furthermore, the safety and liveness properties of behavioral requirements are expressed as LTL (Linear Temporal Logic) formulae according to coverage criterions. After that, LTL formulae are automatically verified in model checker tool SMV (Symbolic Model Checker). Finally, the experimental results are discussed. In conclusion, our method affords an underlying guideline for modeling and verifying grid computing.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：