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

A framework for test data generation of object-oriented programs based on complete testing chain

A framework for test data generation of object-oriented prog...

ACIS International Conference on Software engineering, Artificial Intelligence, Networking, and Parallel/Distributed computing (SNPD)

作者： Gang Li Lei Yu Huihui Sun State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

Test data generation is always a hot topic in software testing since efficient test data generation method can significantly increase the efficiency of software testing and decrease the cost. Method call relation and parameter list are seldom considered in existing test data generation methods for object-oriented programs. In this paper, we present the concept of complete testing chain which stipulates the order of methods to be followed when generating test data for object-oriented programs to guarantee the correctness of test data generation. Basing on this, a framework for test data generation of object-oriented programs is proposed. We discuss encoding paradigm of test data, updating of test data and design of fitness function. For updating of test data, particle swarm optimization is introduced to realize the update of parameter list with genetic algorithm used for method sequence updating. Last but not least, a method to improve the initial population by using generated test data is presented for programs whose branch statements consist of method calls. The results show that the proposed methods can greatly increase the success rate and efficiency of test data generation for object-oriented programs.

关键词： Testing Sociology Statistics Sun

来源：评论

学校读者我要写书评

暂无评论

A method of metamorphic relations constructing for object-oriented software testing

A method of metamorphic relations constructing for object-or...

引用

ACIS International Conference on Software engineering, Artificial Intelligence, Networking, and Parallel/Distributed computing (SNPD)

作者： Xinglong Zhang Lei Yu Xuemei Hou State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

To solve the Oracle problem of methods sequence in object-oriented software testing, a method of metamorphic relations constructing for object-oriented software testing based on algebraic specification was proposed. Firstly, metamorphic relations constructing criteria for object-oriented testing was defined based on the characteristics of object-oriented software program. Then metamorphic relations were constructed based on GFT algorithm (Generating a Finite Number of Test Case). Finally the metamorphic relations were improved according to these criteria. The improved method was verified through constructing IntStrack class and SavAcc class metamorphic relations. The experiment results show that the metamorphic relations redundancy is decreased significantly. So the new method has a low metamorphic relations redundancy and improves the efficiency of software testing.

关键词： Testing Observers

来源：评论

学校读者我要写书评

暂无评论

Secure and efficient smart card based remote user password authentication scheme

引用

International Journal of Network Security 2016年第4期18卷 782-792页

作者： Wei, Jianghong Liu, Wenfen Hu, Xuexian State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan Province450002 China

In distributed systems, the smart card based password authentication, as one of the most convenient and efficienttwo-factor authentication mechanisms, is widely used toensure that the protected services are not available to unauthorized users. Recently, Li et al. demonstrated that the smart card ased password authentication schemeproposed by Chen et al. cannot provide perfect forward secrecy as they claimed. In addition, the password change phase of the scheme is unfriendly and inefficient. Subsequently, Li et al. presented an enhanced smart card based password authentication scheme to overcome the above aws existing in Chen et al.'s scheme. Further more, Kumari and Khan, and Jiang et al. demonstrated that Chen et al.'s scheme cannot resist off-line password guessing attacks, and also proposed an improved scheme, respectively. In this study, we first illustrate that Li et al.'s scheme, and Kumari and Khan's scheme both failto achieve the basicsecurity requirement of the smartcard based password authentication, namely, once the private information stored in the smart card has been extracted, the schemes would be vulnerable to off-line password guessing attacks. We also point out that Jiang etal.'s scheme, as well as Kumari and Khan's scheme cannot provide perfect forward secrecy. Then, we introducea new smart card based password authentication scheme. By presenting concrete analysis of security and performance, we show that the proposed scheme cannot onlyresist various wellknown attacks, but also is more efficient than other related works, and thus is feasible forpractical applications.

关键词： Smart cards

来源：评论

学校读者我要写书评

暂无评论

A hidden service model based on HS-HS anonymous network

引用

AIP Conference Proceedings 2017年第1期1890卷

作者： Yitong Meng Xing Zhao Jinlong Fei Yuefei Zhu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan 450001 China

The Hidden Service provided by Tor anonymous network can effectively protect the anonymity and security of the Hidden server, this article through the analysis of the data packet structure of Tor, three jump transmission mechanism and link establishment protocol and Hidden Service communication process, in view of the Hidden node number too much, link building Service for too long and too redundant link problem. An improved hidden service model HS-HS is proposed that incorporating multiple transmission link and reuse, and at the same time will be important transit point for reuse protection link anonymity, through the ExperimenTor simulation environment test, verify the improved model of HS-HS can be more effective in guarantee anonymity and security, improve the overall efficiency of data transmission, to meet the needs of today’s anonymous service.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Rapid Detection of Stego Images Based on Identifiable Features

Rapid Detection of Stego Images Based on Identifiable Featur...

引用

International Conference on advanced Communication Technology

作者： Weiwei Pang Xiangyang Luo Jie Ren Chunfang Yang Fenlin Liu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001 China

ISBN: (纸本)9781509016969

An increasing number of images in the Internet brings forward a higher requirement on the speed of steganalysis. For the problem of real-time detection of stego images, a rapid images steganalysis method based on identifiable features is proposed, where the identifiable features are specific character sequences left in stego images by steganography tools. The stego and cover images are distinguished according to whether the identifiable features are found in the detected images. Meanwhile, for the case of that multiple identifiable features appeared on the same location of an image, the AC (Aho-Corasick) multi-features matching algorithm is applied to improve the detection speed. In experiments, the detection method is used to detect eight steganography tools such as Invisible Secrets, E-Show, BMP Secrets and so on. The results show that the proposed steganalysis method can achieve a nearly perfect detection precision, and the detection speed can be improved significantly comparing with traditional methods (matching bytes one by one).

关键词： Steganalysis Identifiable features Steganography tools AC(Aho-Corasick) matching algorithm Stego image detection

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Research on a New Signature Scheme on Blockchain”

引用

Security and Communication Networks 2017年第1期2017卷

作者： Chao Yuan Mi-xue Xu Xue-ming Si State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Zhengzhou 450001 China

来源：评论

学校读者我要写书评

暂无评论

Rapid detection of stego images based on identifiable features 18

Rapid detection of stego images based on identifiable featur...

引用

18th International Conference on advanced Communications Technology, ICACT 2016

作者： Pang, Weiwei Luo, Xiangyang Ren, Jie Yang, Chunfang Liu, Fenlin State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China Zhengzhou Science and Technology Institute Zhengzhou450001 China Science and Technology on Information Assurance Laboratory Beijing100072 China

ISBN: (纸本)9788996865063

关键词： Steganography

来源：评论

学校读者我要写书评

暂无评论

An advanced Automatic Construction Method of ROP

引用

Wuhan University Journal of Natural Sciences 2015年第2期20卷 119-128页

作者： OUYANG Yongji WANG Qingxian PENG Jianshan ZENG Jie State Key Laboratory of Mathematical Engineering and Advanced Computing

Automatic return oriented programming （ROP） technology can effectively improve the efficiency of ROP constructed, but the existing research results still have some shortcomings including needing more address space, poor generality. In order to solve these problems, this paper presents an improved ROP auto-constructor QExtd. Firstly, we design a Turing-complete language QExtdL and provide the basis of gadgets analysis. Secondly, we represent the MI instruction and realize precise process of side-effect instructions for improving the efficiency of automatic construction. At last, we establish a three-layer language conversion mechanism, making it convenient for users to construct ROP. Theoretical and experimental data show that the QExtd automatic construction method is much better than the ROPgadget based on syntax. In addition, the proposed method succeeds in constructing gadgets of ROP with the probability of 84% for programs whose sizes are more than 20 KB and whose directory is ＂/usr/bin＂ in Ubuntu, which proves that the construction capability improves significantly.

关键词： return oriented programing （ROP） gadget automatic construction Turing-complete

来源：评论

学校读者我要写书评

暂无评论

Research on Timestamp-based Port Hopping in Software Defined Network

Research on Timestamp-based Port Hopping in Software Defined...

引用

2016 3rd International Conference on engineering Technology and Application（ICETA 2016）

作者： Ziyu Zhao Wei Huang Yuanbo Guo Wei Liu State Key Laboratory of Mathematical Engineering and Advanced Computing Institute of Cryptography EngineeringInformation Engineering University

Port hopping is a typical technology in moving target defense which constantly changes communication port number to confuse potential attackers and protect target *** port hopping technology,time synchronization is the key problem to be solved since time synchronization can ensure communication port matching and avoid data loss in port hopping ***,in software defined network(SDN),since its architecture differs from traditional network,port hopping technology hasn't been fully applied in *** on timestamp synchronization,this paper creates a port hopping model in software defined network according to its centralized control,data plane and control plane separation as well as programmable *** timestampbased port hopping model,we design a three-party port synchronization mode by utilizing SDN controller and solve the problems in time synchronization such as clock drift and *** theoretical analysis and experimental results show that this proposed timestamp-based port hopping method can effectively resist Do S attack without adding load on SDN controller in software defined network.

关键词： software defined network port hopping timestamp-based synchronization handoff Clock drift DoS attack

来源：评论

学校读者我要写书评

暂无评论

An energy-efficient bandwidth allocation method for single-chip heterogeneous processor 7

An energy-efficient bandwidth allocation method for single-c...

引用

7th International Green and Sustainable computing Conference, IGSC 2016

作者： Zhu, Yatao Zhang, Shuai Ye, Xiaochun Wang, Da Tan, Xu Fan, Dongrui Zhang, Zhimin Li, Hongliang State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China School of Computer and Control Engineering University of Chinese Academy of Sciences Beijing China National Computer Network Emergency Response Technical Team/Coordination Center of China Beijing China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi Jiangsu China

ISBN: (纸本)9781509051175

In recent years, many studies on optimization of energy consumption have focused on heterogeneous processor architectures. Heterogeneous computing model composed of CPU and GPU has developed from co-processing between the chips to CPU and GPU integration on the same die. On the one hand, because GPU can work under low voltage and ultra-low frequency, heterogeneous multi-core processors exhibit better energy efficiency compared to traditional CPU;On the other hand, because GPU usually has little or no shared cache, its memory bandwidth demand will be several times more than that of CPU for the same performance. Considering the constraints of power consumption and memory bandwidth, the contention problems of power and bandwidth among CPU and GPU in heterogeneous processor will inevitably occur. In this paper, energy-efficient bandwidth allocation method for heterogeneous processors allocates bandwidth to CPU and GPU and increases the overall throughput of CPU and GPU. Meanwhile the efficiency of energy consumption of heterogeneous processors is improved. The queuing delay is introduced to build a performance-energy model for heterogeneous processors. According to experience parameters, we analyze how the memory bandwidth allocation of off-chip affects the total throughput and energy efficiency. This paper also explores the change of performance-energy gains with the cache miss ratio of processors and the degree of scarce of available peak bandwidth. Based on the above research, the analytical solution of energy-efficient bandwidth allocation for optimal performance is obtained, and the solution can get more performance-energy gains compared with natural bandwidth allocation. © 2016 IEEE.

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：