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

Research on the Static Function Call Path Generating Automatically

Research on the Static Function Call Path Generating Automat...

2010 2nd IEEE International Conference on Information Management and Engineering(2010年IEEE第二届信息管理与工程国际会议 IEEE ICIME 2010)

作者： Yuhui ZHENG Yongmin MU Zhihua ZHANG Open Computer System LaboratoryBeijing Information Science &Technology UniversityBeijing China Open Computer System Laboratory Beijing Information Science & Technology Universit Beijing China

In the regression testing of analyzing the impact of changes, it will give a great help to software testers to choose and optimize test cases for function call path coverage testing, while knowing the global static function call path. In this article, according to the structure of C program, a new method of generating the global static function call path and getting the function call graph as well was presented through analyzing control flow and data flow. We empirically show that this algorithm has high accuracy and efficiency and can help to improve coverage rate of function call path coverage testing and software stability.

关键词： function call path function call path coverage testing call graph control flow data flow

来源：评论

学校读者我要写书评

暂无评论

Determination on Uniqueness of Function Template Call Relation in Regression Testing

Determination on Uniqueness of Function Template Call Relati...

引用

International Conference on Information Engineering and computer Science (ICIECS)

作者： Rui Wang Yong-min Mu Zhi-hua Zhang Ke-qin Peng Open Computer System Laboratory Beijing Information Science and Technology University Beijing China Computer School Beijing Information Science and Technology University Beijing China

The test method oriented function call path acquires function call paths through static analysis, but the uncertainty between definitions and call forms of function template in static analysis produces many redundant paths, which makes test workload increase exponentially, so determining uniqueness of function template call relation is an important part of improving test efficiency. Through analyzing definitions and call forms of function template, we set rules and create symbol table to store the information, use PCM (Priority Call Matching) algorithm to statically determine the uniqueness of function template call relation. The experiment's result shows that, the algorithm can determine the uniqueness of function template call relation, effectively eliminate redundant function call paths, and improve the efficiency of regression testing.

关键词： Algorithm design and analysis Testing Information science Presses computers Phase change materials Conferences

来源：评论

学校读者我要写书评

暂无评论

Notice of Retraction: Research on Uniqueness of Polymorphism in Regression Testing

Notice of Retraction: Research on Uniqueness of Polymorphism...

引用

International Conference on Information Engineering and computer Science (ICIECS)

作者： Wei-na Dong Yong-min Mu Zhi-hua Zhang Ke-qin Peng Open Computer System Laboratory Beijing Information Science and Technology University Beijing China Computer School Beijing Information Science and Technology University Beijing China

This article has been retracted by the publisher.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modificatory Indentification Algorithm Research for Source Code Oriented

Modificatory Indentification Algorithm Research for Source C...

引用

International Workshop on Education Technology and computer Science, ETCS

作者： Yu Jiang Yong-min Mu Zhi-hua Zhang Open Computer System Laboratory Beijing Information Science and Technology University Beijing China Computer School Beijing Information Science and Technology University Beijing China

ISBN: (纸本)9781424463886;9780769539874

In the process of software development, the frequent modification makes the software testing much more difficult, the source code management and control is an important complement to the white-box testing process. We propose modificatory identification algorithm for source code oriented which applies the combination of LCS algorithm and Divide and Conquer thinking. The experiment's result shows that the result of its implementation is not only accurate but also efficient, efficiency of the algorithm is more significant especially when the amount of code is larger.

关键词： Software testing Educational technology Software algorithms Information science system testing Laboratories computer science education computer science Programming Research and development management

来源：评论

学校读者我要写书评

暂无评论

Research on Determination of Overloaded Function Uniqueness for Regression Testing Oriented

Research on Determination of Overloaded Function Uniqueness ...

引用

International Conference on Information Engineering and computer Science (ICIECS)

作者： Sheng Qi Yong-min Mu Zhi-hua Zhang Ke-qin Peng Open Computer System Laboratory Beijing Information Science and Technology University Beijing China Computer School Beijing Information Science and Technology University Beijing China

Function call path testing is based on static analysis of source code. The relationship between the definitions of the overloaded function and the call points is uncertain in the static analysis, which will produce a great deal of redundant paths and increase the cost of the testing. In order to determine the paths of the actual process and get function call relation, firstly, we need to determine the uniqueness of the overloaded function. We analyze the form of the overloaded function call from several aspects, design the algorithm of DUOF(determining the uniqueness of the overloaded function), ultimately determine its unique, by analyzing the realization mechanism of overloaded functions and applying the theory of compile and object-oriented. The experiment's result shows that the result of its implementation is not only accurate but also can improve the efficiency of regression testing, efficiency of the algorithm is more significant especially when the amount of code is larger.

关键词： Testing Algorithm design and analysis Data structures Semantics Shape Information science Software algorithms

来源：评论

学校读者我要写书评

暂无评论

Model and implement of file enc/decryption based on Solaris VFS

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2006年第SUPPL.期34卷 2547-2550页

作者： Mu, Yong-Min Li, Bei Open Computer System Laboratory Beijing Information Technology Institute Beijing 100101 China

On the base of analyzing how to develop file enc/decryption system based on VFS of Solaris with the technology of redirection of system call and how to make it work with OS seamlessly, the author make progress on the simple model of file enc/decryption system and gives the improved model of file enc/decryption system. The result shows that the improved model has better efficiency and reduces the impact to the OS on performance effectively.

关键词： computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Survey of the pattern matching algorithm in intrusion detection system

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2006年第SUPPL.期34卷 2488-2490页

作者： Mu, Yong-Min Li, Mei-Gui Liang, Qi Open Computer System Laboratory Beijing Information Technology Institute Beijing 100101 China

The openness of Internet offers great convenience of information sharing and exchange, accompanied with crucial challenges to Information Security. As a kind of active measure of Information Assurance, Intrusion Detection acts as the effective complement to traditional protection techniques. On the base of analyzing KMP algorithm and BM algorithm, which are fashionable pattern matching algorithms in intrusion detection system at present, the author gives an new pattern matching algorithm in place of the BM algorithm. The results show that the improved pattern matching algorithm has better efficiency and is helpful to reduce systematical missing package rate.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

A Digital Right Management Model for Distribution of Digital Audiovisual Content

引用

Wuhan University Journal of Natural Sciences 2006年第6期11卷 1877-1881页

作者： FAN Kefeng PEI Qingqi WANG Meihua MO Wei CAO Ling Key Laboratory of Computer Networks and Information Security Ministry of Education Xidian University Xi＇an 710071 Shaanxi China Electronic Equipment and System Research Center China Electronics Standardization Institute Beijing 100007 China TRS Open Laboratory Beijing Information Technology Institute Beijing 100101 China

This paper presents a digital rights management model, which considers the integrated factors including legality, communication security, integrity of the content, and trading fairness. The architecture of the model, the necessary protocol for the copyright control and content distribution, the authentication mechanism which offer consumption registration for content fair distribution, of the model are all provided. The scheme also provides distribution and evidence for using the copyright of digital content fairly and effectively. Finally, analysis shows the proposed model has both high security and good performance.

关键词： digital rights management content distribution authentication mechanism model

来源：评论

学校读者我要写书评

暂无评论

ARA: a robust audit to prevent free-riding in P2P networks

ARA: a robust audit to prevent free-riding in P2P networks

引用

International Conference on Peer-to-Peer Computing

作者： MyungJoo Ham Gul Agha Open System Laboratory Department of Computer Science University of Illinois Urbana-Champaign USA

A number of solutions have been proposed to address the free-riding problem in peer-to-peer file sharing systems. The solutions are either imperfect-they allow some users to cheat the system with malicious behavior, or expensive-they require human intervention, require servers, or incur high mental transaction costs. The authors proposed a method to address these weaknesses. Specifically, a utility function was introduced to capture contributions made by a user and an auditing scheme to ensure the integrity of a utility function's values. The method enabled to reduce cheating by a malicious peer: it is shown that this approach can efficiently detect malicious peers with a probability over 98%.

关键词： Robustness Intelligent networks Peer to peer computing Network servers Telecommunication traffic Costs Bandwidth open systems Laboratories computer science

来源：评论

学校读者我要写书评

暂无评论

Hybrid checkpointing protocol based on selective-sender-based message logging

Hybrid checkpointing protocol based on selective-sender-base...

引用

International Conference on Parallel and Distributed systems (ICPADS)

作者： Kwang-Sik Chung Ki-Bom Kim Chong-Sun Hwang Jin Gon Shon Heon-Chang Yu Department of Computer Science and Engineering Distributed System Laboratory Korea University South Korea Department of Computer Science Korea National Open University South Korea Department of Computer Engineering Seo Kyeong University South Korea

ISBN: (纸本)0818682272

This paper presents a hybrid checkpointing protocol-an asynchronous checkpointing protocol using a message sending/receiving state change for reducing the overhead of failure-free operation combined with a selective sender-based message logging protocol for reducing the cascade rollback of asynchronous checkpointing protocol. The selective sender-based message logging protocol records only potential orphan messages when taking a checkpoint. And this paper presents a message dependency tree recording the inter-process message sending/receiving information on a volatile storage for reducing the search time of inter-process information during the failure recovery.

关键词： Checkpointing Protocols Fault tolerant systems Message passing Counting circuits

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：