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

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

作者： Yi Liu Lizhi Cai Chenchen Chai Yuan Ma School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (数字)9798350365658

ISBN: (纸本)9798350365665

As the application of smart contracts in blockchain technology becomes increasingly widespread, their security issues have emerged as a focal point of both research and practice. Although symbolic execution technology has been extensively applied for the detection of security vulnerabilities in smart contracts, its limitations in terms of execution efficiency and code coverage remain significant. In response to these challenges, this study introduces an innovative method named HoneyToken-DetectorRev, which optimizes traditional symbolic execution through program slicing technology, aiming to enhance the efficiency and effectiveness of smart contract security detection. By selecting ten smart contracts from the Ethereum platform, which vary in business logic and complexity, we conducted an empirical analysis of HoneyToken-DetectorRev. The experimental results demonstrate that this method significantly improves the efficiency of smart contract detection without sacrificing precision. This research not only provides an effective technical approach for the security detection of smart contracts but also offers theoretical and practical guidance for further enhancing the security of blockchain applications.

关键词： Codes Smart contracts software quality Inspection Boosting Complexity theory software reliability Security Logic Business

来源：评论

学校读者我要写书评

暂无评论

A requirements description language pLSC for probabilistic branches and three-stage events

A requirements description language pLSC for probabilistic b...

引用

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

作者： Jinyu Kai Huaikou Miao Honghao Gao Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai P.R. China Computing Center Shanghai University Shanghai P.R. China

The language of Live Sequence Chart (LSC), a multi-modal extension of MSC, introduces the distinction between mandatory and possible on the level of the whole chart and for the chart elements. While the LSC still extend the MSC qualitatively, when it comes to capturing the quantitative behaviors, the deficiency emerges. As for the probabilistic systems, i.e., systems that exhibit probabilistic aspects, probabilistic properties are considered as the most important requirements and need to be captured quantitatively. To address this, we propose a requirements description language called pLSC. Supported by the measure theory and the probability theory, the language pLSC describes the interactions quantitatively to suit the probabilistic systems from two dimensions of probabilistic branches and three-stage events. The paper introduces the graphical and textual presentation of the pLSC.

关键词： Probabilistic logic Markov processes Animals Syntactics Random processes

来源：评论

学校读者我要写书评

暂无评论

LTL model checking probabilistic Petri net system

引用

International Journal of Advancements in Computing Technology 2012年第1期4卷 172-178页

作者： Liu, Yang Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200072 China School of Information Science and Technology Taishan University Taian Shandong 271021 China

Nonfunctional property verification is becoming more and more important to computer system. In recent decades, in order to describe not only the system function but also the system performance, researchers in the area of formal methods try to extend Petri net for modelling computer system, and the verification problem becomes the quantitative verification from the qualitative verification. In this paper, we define the reachability graph and present the solution algorithm to reachability graph;then we put forward an algorithm for linear-time temporal logic model checking probabilistic Petri net system;for demonstrating the effectiveness of this algorithm, we run an example in the modelling an verification tool which we developed.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

AGT4W:Automatic Generating Tests for Web Applications

AGT4W:Automatic Generating Tests for Web Applications

引用

2011 International Conference on Frontiers in computer Education(ICFCE 2011)

作者： Shengbo Chen Huaikou Miao Bo Song School of Computer Engineering and Science Shanghai University Shanghai Key Laboratory of Computer Software Evaluating and Testing College of Information Science and Technology Qingdao University of Science &Technology

Web applications can only be accessed through dedicated client systems called Web browsersThe behaviors of Web browser's interactions influence the functionalities and navigation of Web applicationsIn the past, on stage of Web application design and modeling, Web browsers' interactions are not taken into accountTherefore, in the later implementation phase, it only relies on the developer's experienceThis gives a challenge to the follow-up testingIn this paper, starting from a conventional page navigation graph of a Web application, we propose an approach to transform page navigation graph into FSM-BI(FSM with Web browser's interactions), and further, design and implement a prototype tool, called AGT4W(Automatic Generating Tests for Web Applications)Based on the FSM-BI, the automated generation of test cases was implementedAdditionally, the detailed process and implementation methods were give outFirstly, we use Argo UML to model a traditional Web page navigation graph and import it as a XMI fileSecondly, we transform the XMI file into FSM-BI, so we got a FSM modelThirdly, based on FSM model, we transform FSM model into FSM Test-TreeFinally, automatic generation of test cases was carried out.

关键词： FSM software Modeling Test Generation Navigation Model

来源：评论

学校读者我要写书评

暂无评论

Research of performance test technology for big data applications

Research of performance test technology for big data applica...

引用

International Conference on Information and Automation (ICIA)

作者： Zhenyu Liu Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai CHINA

This paper studies the performance test in big data application. The existing performance testing technology is not suitable for the big data application. The paper proposed test technology for performance testing. The technology provided test goal analysis, test design, load design for big data application. The character for different application could be supported to consider specific multiple test data design method under this framework. The performance technology is used to test some applications and proved effective.

关键词： testing Big data Time factors Monitoring Business Data models Servers

来源：评论

学校读者我要写书评

暂无评论

A chain algorithm for conformance testing based on UIO sequences

A chain algorithm for conformance testing based on UIO seque...

引用

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

作者： Weiwei Lin Hongwei Zeng Department of Information Science and Technology Taishan University Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China

State verification to check that the machine is in a specified state is a key technique in FSM-based conformance testing. This paper presents a special UIO sequence called CUIO which can verify as many states as possible and all transitions of FSM simultaneously. CUIO sequences are constructed by a chain algorithm which is proposed based on the traditional method of successor tree. As a result, desirable checking sequence can be obtained by CUIO with relatively low computational complexity.

关键词： testing computers Computational modeling software algorithms software Information science Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Automated testing of Android Applications Integrating Residual Network and Deep Reinforcement Learning

Automated Testing of Android Applications Integrating Residu...

引用

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

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

ISBN: (纸本)9781665458146

With the improvements of Deep Reinforcement Learning (DRL), there have been tremendous interests in utilizing DRL for automated application testing. However, most automated testing methods based on reinforcement learning have the problem of interacting with invalid UI areas and invalid interactions with controls. To solve this problem, this paper extracts the page features, constructs the Interactive Control Feature Diagram(ICCD); improves the DDQN network structure, adds the residual network, makes the algorithm take the picture as the input, and splits the original single output action(n*w*h) into two successive outputs: the interaction(1,n) and the position(1,w*h); a new reward function which combines the interaction times and the image similarity of ICCD is proposed to explore different UIs and ensure that there will be more than one action will be executed under the same UI. Experiments are carried out on five open source applications. The experimental results show that the proposed method is superior to other methods in code coverage and branch coverage.

关键词： Adaptation models software algorithms Reinforcement learning software quality Feature extraction software reliability Security

来源：评论

学校读者我要写书评

暂无评论

Verifying web services composition based on interface automata using SPIN

International Journal of Digital Content Technology and its ...

引用

International Journal of Digital Content Technology and its Applications 2010年第8期4卷 23-33页

作者： Mei, Jia Miao, Huaikou Chen, Yihai Gao, Honghao School of Computer Engineering and Science Shanghai University Shanghai 200072 China Department of Computer Information and Management Guangxi University of Finance and Economics Nanning 530003 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China State Key Laboratory of Software Engineering in Wuhan University Wuhan 430072 China

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. To provide a framework to compose lots of specialized services flexibly, BPEL4WS is proposed to describe Web services composition. But the language is lack of the support for checking the correctness of composition. It has to depend on formal verification method which helps to check the correctness of services composition. In order to solve above shortages of BPEL4WS, This paper presents a formal approach which verifies BPEL4WS using the interface automata. In this approach, BPEL4WS is mapped into interface automata, which is then transformed into Promela (It is the input language of SPIN model checker.), and the correctness properties of Web services composition can be verified by SPIN. Finally, paper gives a case study to illustrate the proposed approach.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Research on service recommendation reliability in mobile computing

Research on service recommendation reliability in mobile com...

引用

International Conference on software Engineering Research, Management and Applications (SERA)

作者： Weng Wen HuaiKou Miao School of Computer Engineering and Science Shanghai University Shanghai China College of Computer and Information Engineering Shanghai Polytechnic University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai Shanghai China

Web services bring more conveniences for users and developers. However, it makes user face the problem of service information explosion. The personalized service recommendation solves the problem. This paper proposes a method to predicting the system reliability which bases on user context information in mobile computing environment. The method construct user behavior model by formatting user location context and then quantitative verification is performed to estimating whether the recommended service meet the requirements of users. Finally, experiments are carried out to demonstrate the effectiveness of our method.

关键词： Context Reliability Mobile handsets Hidden Markov models Web services Mobile computing Context modeling

来源：评论

学校读者我要写书评

暂无评论

Instance-Aware Domain Generalization for Face Anti-Spoofing

arXiv

引用

arXiv 2023年

作者： Zhou, Qianyu Zhang, Ke-Yue Yao, Taiping Lu, Xuequan Yi, Ran Ding, Shouhong Ma, Lizhuang Shanghai Jiao Tong University China Youtu Lab Tencent China Shanghai Key Laboratory of Computer Software Evaluating and Testing China Deakin University Australia

Face anti-spoofing (FAS) based on domain generalization (DG) has been recently studied to improve the generalization on unseen scenarios. Previous methods typically rely on domain labels to align the distribution of each domain for learning domain-invariant representations. However, artificial domain labels are coarse-grained and subjective, which cannot reflect real domain distributions accurately. Besides, such domain-aware methods focus on domain-level alignment, which is not fine-grained enough to ensure that learned representations are insensitive to domain styles. To address these issues, we propose a novel perspective for DG FAS that aligns features on the instance level without the need for domain labels. Specifically, Instance-Aware Domain Generalization framework is proposed to learn the generalizable feature by weakening the features' sensitivity to instance-specific styles. Concretely, we propose Asymmetric Instance Adaptive Whitening to adaptively eliminate the style-sensitive feature correlation, boosting the generalization. Moreover, Dynamic Kernel Generator and Categorical Style Assembly are proposed to first extract the instance-specific features and then generate the style-diversified features with large style shifts, respectively, further facilitating the learning of style-insensitive features. Extensive experiments and analysis demonstrate the superiority of our method over state-of-the-art competitors. Code will be publicly available at this link. Copyright © 2023, The Authors. All rights reserved.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：