arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Tonglan Yu

7 papers · 2007–2023

2007: 12008: 12009: 12010: 12011: 02012: 12013: 02014: 02015: 02016: 02017: 02018: 02019: 12020: 02021: 02022: 02023: 1
2007peak 1 in 20072023

Frequent co-authors

Papers

showing 1–7 of 7 RSS

A Multi-Feature Fusion-Based Automatic Detection Method for High-Severity Defects

Jie Liu, Cangming Liang, Jintao Feng +4 more

Information Systems · Electronics · · cited 1× · DOI ↗ · more like this ·

It is crucial to detect high-severity defects, such as memory leaks that can result in system crashes or severe resource depletion, in order to reduce software development costs and ensure software quality and reliability. The primary cause of high-severity defects is usually resource scheduling errors, and in the program source code, these defects have contextual features that require defect context to confirm their existence. In the context of utilizing machine learning methods for defect automatic confirmation, the single-feature label method cannot achieve high-precision defect confirmation results for high-severity defects. Therefore, a multi-feature fusion defect automatic confirmation method is proposed. The label generation method solves the dimensionality disaster problem caused by multi-feature fusion by fusing features with strong correlations, improving the classifier’s…

Dynamically Discovering Functional Likely Program Invariants Based on Relational Database Theory

Xiaohua Yang, Jie Liu, Tonglan Yu +2 more

Computational Theory and Mathematics · · cited 1× · DOI ↗ · more like this ·

Dynamic likely program invariant detection technology is an available instrument for discovering contract from large program in non-formal description. It is of benefit to contract technology exerting more influence on program quality assurance. Since the research of invariant detection technology has just started that the rough detection usually use hypothesis verification approach which relies on the experience of the detector and his degree of understanding of the detected program so that there is serious lack of accuracy and efficiency. This paper tempts to divide the invariants into two kinds that one is called functional invariant and the other is non-functional type based on relational data theory before starting the invariant detection. The paper focuses on the approach of detecting functional likely invariant, which accomplish detecting existence of them by discovering…

Automatic integration testing through collaboration diagram and logic contracts

Yi Sun, Xiaohua Yang, Jie Liu +4 more

Software · Journal of Physics Conference Series · · cited 0× · DOI ↗ · more like this ·

Component-based software development can effectively increase software development efficiency through component reuse. Integration testing is an important technical means to guarantee the quality of software systems composed of components. Aiming at the problem that the scale of software systems is getting larger and larger, and manual design of test cases is costly and difficult, we propose an automatic approach for integration test cases generation based on collaboration diagram and logic contracts. By extracting control flow information from collaboration diagram and combining with contracts as component specification, an intermediate model called execution tree of components is established, then test cases are automatically generated through contract solving technology. This approach not only realizes path coverage, but also completes the automatic integration testing of software…

An Optimized Algorithm of Auto-generate Base Paths Set Based on Depth-first Search

Tonglan Yu

Artificial Intelligence · Journal of University of South China · · cited 0× · OpenAlex ↗ · more like this ·

This thesis proposes an algorithm which can generate base paths set with character that length of each path is the smallest by visiting control flow graph according to Depth-First Search method and flag set of arcs and nodes.It provides input data by matrix tool,avoid un-constringency by using roll mechanism,optimizes the result based on the method of recording duplicate paths with smallest length,and obtains optimized set of base paths with smallest nodes list for output of algorithm.

An Improved Algorithm of Structure Learning Applied in Organizational Factors Bayesian Belief Network

Tonglan Yu, Zhang Li

Artificial Intelligence · · cited 0× · DOI ↗ · more like this ·

The paper first introduces the concept of organizational factors in the socio-technical system and the basic theory of Bayesian Network and then discusses the algorithm of structure learning of Bayesian network. A new algorithm base on dependency analysis is proposed to effectively reduce the number of detecting condition independence. It uses heuristic cutset searching algorithm and orients all the edges in the network before removing superfluous edges. Experiment results indicate that it outperforms the traditional algorithm. Finally, organizational factors Bayesian network is constructed by using the algorithm which is helpful for the nuclear pant to discover the critical factors influencing human reliability in nuclear power plant.

The Design and Implement of the Instrument of Dynamically Discovering C Program Invariants

Tonglan Yu

Artificial Intelligence · Microcomputer Information · · cited 0× · OpenAlex ↗ · more like this ·

Program invariant is a kind of logic assertion which can be used to show some true properties during the program running. Producing data trace of the running program,which is the task of program instrument,is one of the key steps to discover the pro-gram invariants.. The main principle and method of program instrument are shown in this paper. what is more,the whole process of the design of a new tool of program instrument is detailed.,which is applied to dynamically discovering C program invariants.

The Verify Program Validity Tool Based on Assertion

Tonglan Yu

Software · Computer and Information Technology · · cited 0× · OpenAlex ↗ · more like this ·

This paper proposes a scheme of program assertion detecting tool base onby assertion(proposed by Floyd),which is used to verify program validity.The tool compares the detected assertion with the expected assertion and then judge the validity of one program.The tool is very useful when applied in compound condition or batch process.