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

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 Novel Method of APK-Based Automated Execution and Traversal with a Trusted Execution Environment

A Novel Method of APK-Based Automated Execution and Traversa...

引用

International Conference on Computational Intelligence and Security

作者： Rui Chang Liehui Jiang Qing Yin Wei Liu Shengqiao Zhang State Key Laboratory of Mathematic Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781509048410

With the rapid development of mobile embedded devices and the increasing number of users, a lot of attention has been drawn to the dynamic analysis for Android OS. In the security analysis domain, programmes' automated execution is the first and most important step. However, existent standard solutions based on Android Package (APK) had shown negative impact to the overall system, especially in behavioral coverage and memory footprint. In order to address the problem of programmes' automated execution in Android OS, this paper proposes a novel method of APK-based automated execution and traversal using GUI, analyzes Graphical User Interface (GUI) elements, and simulates user behavior. We implement a prototype tool for automated execution and traversal of lightweight applications on an ARM-based platform. The experimental results demonstrate that the proposed method is effective and feasible with high coverage and low overhead.

关键词： Graphical user interfaces Androids Humanoid robots Prototypes XML Security Runtime

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Evidence of gate-tunable mott insulator in trilayer graphene-boron nitride moiré superlattice

arXiv

引用

arXiv 2018年

作者： Chen, Guorui Jiang, Lili Wu, Shuang Lv, Bosai Li, Hongyuan Chittari, Bheema Lingam Watanabe, Kenji Takashi Taniguchi Shi, Zhiwen Jung, Jeil Zhang, Yuanbo Wang, Feng Department of Physics University of California at Berkeley BerkeleyCA United States State Key Laboratory of Surface Physics Department of Physics Fudan University Shanghai200433 China Materials Science Division Lawrence Berkeley National Laboratory BerkeleyCA United States Key Laboratory of Artificial Structures and Quantum Control Ministry of Education School of Physics and Astronomy Shanghai Jiao Tong University Shanghai China Department of Electrical Engineering and Computer Sciences University of California BerkeleyCA94720 United States Collaborative Innovation Center of Advanced Microstructures Nanjing China National Institute for Materials Science 1-1 Namiki Tsukuba305-0044 Japan Department of Physics University of Seoul Seoul02504 Korea Republic of Institute for Nanoelectronic Devices and Quantum Computing Fudan University Shanghai200433 China Kavli Energy NanoSciences Institute University of California Berkeley Lawrence Berkeley National Laboratory BerkeleyCA United States

Mott insulator plays a central role in strongly correlated physics, where the repulsive Coulomb interaction dominates over the electron kinetic energy and leads to insulating states with one electron occupying each unit cell.1,2 Doped Mott insulator is often described by the Hubbard model3, which can give rise to other correlated phenomena such as unusual magnetism and even high temperature superconductivity2,4. A tunable Mott insulator, where the competition between the Coulomb interaction and the kinetic energy can be varied in situ, can provide an invaluable model system for the study of Mott physics. Here we report the realization of such a tunable Mott insulator in the ABC trilayer graphene (TLG) and hexagonal boron nitride (hBN) heterostructure with a moiré superlattice. Unlike massless Dirac electrons in monolayer graphene5,6, electrons in pristine ABC TLG are characterized by quartic energy dispersion and large effective mass7-11 that are conducive for strongly correlated phenomena. The moiré superlattice12-18 in TLG/hBN heterostructures leads to narrow electronic minibands that are gatetunable. Each filled miniband contains 4 electrons in one moiré lattice site due to the spin and valley degeneracy of graphene. The Mott insulator states emerge at 1/4 and 1/2 fillings, corresponding to one electron and two electrons per site, respectively. Moreover, the Mott states in the ABC TLG/hBN heterostructure exhibit unprecedented tunability: The Mott gap can be modulated in situ by a vertical electrical field, and at the mean time the electron doping can be gate-tuned to fill the band from one Mott insulating state to another. Our observation of a tunable Mott insulator opens up exciting opportunities to explore novel strongly correlated phenomena in two-dimensional moiré superlattice heterostructures. Copyright © 2018, The Authors. All rights reserved.

关键词： Mott insulators

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

来源：评论

学校读者我要写书评

暂无评论

Erratum to: Search for single top-quark production via flavour-changing neutral currents at 8 TeV with the ATLAS detector

引用

The European Physical Journal C 2022年第1期82卷 1-15页

作者： Aad, G. Abbott, B. Abdallah, J. Abdinov, O. Aben, R. Abolins, M. AbouZeid, O. S. Abramowicz, H. Abreu, H. Abreu, R. Abulaiti, Y. Acharya, B. S. Adamczyk, L. Adams, D. L. Adelman, J. Adomeit, S. Adye, T. Affolder, A. A. Agatonovic-Jovin, T. Agricola, J. Aguilar-Saavedra, J. A. Ahlen, S. P. Ahmadov, F. Aielli, G. Akerstedt, H. Åkesson, T. P. A. Akimov, A. V. Alberghi, G. L. Albert, J. Albrand, S. Alconada Verzini, M. J. Aleksa, M. Aleksandrov, I. N. Alexa, C. Alexander, G. Alexopoulos, T. Alhroob, M. Alimonti, G. Alio, L. Alison, J. Alkire, S. P. Allbrooke, B. M. M. Allport, P. P. Aloisio, A. Alonso, A. Alonso, F. Alpigiani, C. Altheimer, A. Alvarez Gonzalez, B. Álvarez Piqueras, D. Alviggi, M. G. Amadio, B. T. Amako, K. Amaral Coutinho, Y. Amelung, C. Amidei, D. Amor Dos Santos, S. P. Amorim, A. Amoroso, S. Amram, N. Amundsen, G. Anastopoulos, C. Ancu, L. S. Andari, N. Andeen, T. Anders, C. F. Anders, G. Anders, J. K. Anderson, K. J. Andreazza, A. Andrei, V. Angelidakis, S. Angelozzi, I. Anger, P. Angerami, A. Anghinolfi, F. Anisenkov, A. V. Anjos, N. Annovi, A. Antonelli, M. Antonov, A. Antos, J. Anulli, F. Aoki, M. Aperio Bella, L. Arabidze, G. Arai, Y. Araque, J. P. Arce, A. T. H. Arduh, F. A. Arguin, J-F. Argyropoulos, S. Arik, M. Armbruster, A. J. Arnaez, O. Arnal, V. Arnold, H. Arratia, M. Arslan, O. Artamonov, A. Artoni, G. Asai, S. Asbah, N. Ashkenazi, A. Åsman, B. Asquith, L. Assamagan, K. Astalos, R. Atkinson, M. Atlay, N. B. Augsten, K. Aurousseau, M. Avolio, G. Axen, B. Ayoub, M. K. Azuelos, G. Baak, M. A. Baas, A. E. Baca, M. J. Bacci, C. Bachacou, H. Bachas, K. Backes, M. Backhaus, M. Bagiacchi, P. Bagnaia, P. Bai, Y. Bain, T. Baines, J. T. Baker, O. K. Baldin, E. M. Balek, P. Balestri, T. Balli, F. Banas, E. Banerjee, Sw. Bannoura, A. A. E. Bansil, H. S. Barak, L. Barberio, E. L. Barberis, D. Barbero, M. Barillari, T. Barisonzi, M. Barklow, T. Barlow, N. Barnes, S. L. Barnett, B. M. Barnett, R. M. Barnovska, Z. Baroncelli, A. Barone, G. Barr, A. J. Barreiro, F. Barreiro Guimarães da Costa, J. Bartol CPPM Aix-Marseille Université and CNRS/IN2P3 Marseille France Homer L. Dodge Department of Physics and Astronomy University of Oklahoma Norman USA Institute of Physics Academia Sinica Taipei Taiwan Institute of Physics Azerbaijan Academy of Sciences Baku Azerbaijan Nikhef National Institute for Subatomic Physics and University of Amsterdam Amsterdam The Netherlands Department of Physics and Astronomy Michigan State University East Lansing USA Department of Physics University of Toronto Toronto Canada Raymond and Beverly Sackler School of Physics and Astronomy Tel Aviv University Tel Aviv Israel Department of Physics Technion: Israel Institute of Technology Haifa Israel Center for High Energy Physics University of Oregon Eugene USA Department of Physics Stockholm University Stockholm Sweden The Oskar Klein Centre Stockholm Sweden INFN Gruppo Collegato di Udine Sezione di Trieste Udine Italy ICTP Trieste Italy Department of Physics King’s College London London UK AGH University of Science and Technology Faculty of Physics and Applied Computer Science Kraków Poland Physics Department Brookhaven National Laboratory Upton USA Department of Physics Northern Illinois University De Kalb USA Fakultät für Physik Ludwig-Maximilians-Universität München Munich Germany Particle Physics Department Rutherford Appleton Laboratory Didcot UK Oliver Lodge Laboratory University of Liverpool Liverpool UK Institute of Physics University of Belgrade Belgrade Serbia II Physikalisches Institut Georg-August-Universität Göttingen Germany Laboratório de Instrumentação e Física Experimental de Partículas-LIP Lisbon Portugal Departamento de Fisica Teorica y del Cosmos and CAFPE Universidad de Granada Granada Spain Department of Physics Boston University Boston USA Joint Institute for Nuclear Research JINR Dubna Dubna Russia INFN Sezione di Roma Tor Vergata Rome Italy Dipartimento di Fisica Università di Roma Tor Vergata Rome Italy Fysiska institutionen Lunds uni

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：