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

Ivannikov Memorial Workshop (IVMEM)

作者： Daniil Kuts Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9781665423281

Dynamic symbolic execution is a widely used technique for automated software testing, designed for execution paths exploration and program errors detection. A hybrid approach has recently become widespread, when the main goal of symbolic execution is helping fuzzer increase program coverage. The more branches symbolic executor can invert, the more useful it is for fuzzer. A program control flow often depends on memory values, which are obtained by computing address indexes from user input. However, most DSE tools don’t support such dependencies, so they miss some desired program *** implement symbolic addresses reasoning on memory reads in our dynamic symbolic execution tool Sydr. Possible memory access regions are determined by either analyzing memory address symbolic expressions, or binary searching with SMT-solver. We propose an enhanced linearization technique to model memory *** memory modeling methods are compared on the set of programs. Our evaluation shows that symbolic addresses handling allows to discover new symbolic branches and increase the program coverage.

关键词： Software testing Conferences Linearization techniques Cognition Indexes

来源：评论

学校读者我要写书评

暂无评论

A system for backward binary compatibility analysis of shared libraries in Linux

A system for backward binary compatibility analysis of share...

引用

Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)

作者： Andrey Ponomarenko Vladimir Rubanov Alexey Khoroshilov Institute of System Programming Russian Academy of Science Russia

This paper discusses a problem of ensuring backward binary compatibility of Linux shared libraries. Breakage of the compatibility may result in crashing or incorrect behavior of applications built with an old version of a library when it is running with a new one. Existing tools may detect only a small part of all possible backwards compatibility problems. This paper presents a new fully automated method for checking backward binary compatibility and detecting a broad spectrum of possible problems. This method is based on comparison of function signatures and type definitions obtained from library header files. This paper also describes structure of a lightweight tool that implements the proposed method.

关键词： Libraries Linux Computer crashes

来源：评论

学校读者我要写书评

暂无评论

Detecting anomalous device loads during exploratory testing of mobile applications

Detecting anomalous device loads during exploratory testing ...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Danila Mikhaltsov Konstantin Sorokin Ivannikov Institute for System Programming of the RAS Moscow Russia

Reputation and competitiveness of both mobile applications and mobile operating systems depend on their quality. Developers are using various techniques to ensure high quality. Recently, exploratory testing approaches have been gaining significant attention in this context. However, these approaches mostly do not consider one major non-functional requirement that affects quality – performance issues. Performance issues, such as sluggish UI or extensive battery consumption, are tightly connected to inefficient use of device resources. Detecting these issues is a non-trivial task. In this paper we present a novel approach to detect anomalous device resource usage and hence potential performance issues. Our approach is integrated with exploratory testing framework and uses information about previously executed test runs to build the expected resource usage model. The underlying model represents resource usage data as a multidimensional time series and is able to detect anomalous time intervals. We integrate our approach with exploratory testing tool for Android and empirically evaluate it on a set of real-world applications with injected performance issues. Our results show that suggested approach can be successfully applied to detect anomalous device resource usage and potential performance regressions.

关键词： Performance evaluation Operating systems Time series analysis Data models Mobile applications Regression analysis Batteries

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011

作者： Daw, Zamira Vetter, Marcus Boercsoek, Josef Institute of Embedded Systems Hochschule Mannheim - University of Applied Sciences Mannheim Germany Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781457707469

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime. © 2011 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Aerodynamic Analysis of Delta Wing Aircraft and Effect of the Propeller Using OpenFOAM

Aerodynamic Analysis of Delta Wing Aircraft and Effect of th...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Ruslan Mkoyan Daria Romanova Sevak Sargsyan Andrey Epikhin Center of advanced software technologies Russian-Armenian University Ivannikov Institute for System Programming of the RAS Yerevan Armenia Lomonosov MSU Ivannikov Institute for System Programming of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

This paper presents a calculation of the aerodynamic characteristics of the ZOHD Alpha Strike UAV model, designed with a delta wing. The focus of the study is the overall layout of the aircraft and the influence of the propeller on its aerodynamic characteristics. The computational fluid dynamics tool OpenFOAM is used as an effective method to solve the complex aerodynamic problems inherent in this UAV model. Research is carried out in an incompressible flow, due to the low speeds inherent in such aircraft. A numerical methodology is proposed for quick evaluation of the aerodynamic performances of UAV models with a propeller. A simple dynamic model and flight data are presented. The calculation results are verified using a flight experiment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-windows rendering using software OpenGL in avionics embedded systems 29

Multi-windows rendering using software OpenGL in avionics em...

引用

29th International Conference on Computer Graphics and Vision, GraphiCon 2019

作者： Barladian, B.Kh. Shapiro, L.Z. Mallachiev, K.A. Khoroshilov, A.V. Solodelov, Y.A. Voloboy, A.G. Galaktionov, V.A. Koverninskiy, I.V. Keldysh Institute of Applied Mathematics Russian Academy of Sciences Moscow Russia FGUP «GosNIIAS» State Research Institute of Aviation Systems Moscow Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

Elaboration of modern airplane cockpit has tendency to use large displays instead of a lot of separate indicators. The large display should combine information about flight navigation and state of plane equipment. Information coming from a wide variety of devices should be displayed simultaneously. Therefore multi-windows rendering is vitally important here. Its implementation must be embedded in real-time operating system which controls the aircraft. Development of a Safety Critical Compositor for multi-windows rendering for OpenGL SC 1.0.1 software is considered in the paper. It works under the real-time operating system JetOS newly designed for aircraft. Development is based on the use of extensions designed to work in multi-core systems in addition to standard JetOS partitioning services. Copyright © 2019 for this paper by its authors.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Transfer Learning for Morphological Tagging in Russian

Transfer Learning for Morphological Tagging in Russian

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Ivan Andrianov Vladimir Mayorov Ivannikov Institute for System Programming of the Russian Academy of Sciences

This paper is devoted to morphological tagging task for Russian. There are multiple corpora created for the task during the years of research. Unfortunately, these corpora often have incompatible annotation guidelines and tag sets. This makes it difficult to utilize more than one corpus for training machine learning methods. Several attempts to manually unify guidelines and tag sets took place in the past. The most recent one was MorphoRuEval-2017 evaluation where organizers decided to unify annotations of four corpora. In this paper we propose a morphological tagging method which is able to be trained on any set of corpora with arbitrary guidelines and tag sets without any manual mapping provided. The method is based on transfer learning technique successfully applied in multilingual and cross-domain research. Firstly we establish a couple of solid neural network-based morphological tagging baselines. They both employ bidirectional LSTM networks but utilize different word embeddings. Comparative study on multiple corpora shows that fasttext model clearly outperforms word2vec one. Further we extend these baselines with transfer learning application. We prove transfer learning-based method effectiveness by performing two series of experiments. In the first series we exploit three wellknown corpora with incompatible tag sets: RNC, SynTagRus (original and Universal Dependencies versions). In the second series we utilize four corpora from MorphoRuEval-2017 evaluation with tag sets preliminary unified by organizers. In both cases transfer learning application improves performance of the method while training on more corpora. In the second case it even surpasses traditional joint training.

关键词： Tagging Task analysis Neural networks Training Guidelines Learning systems Speech

来源：评论

学校读者我要写书评

暂无评论

Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution

arXiv

引用

arXiv 2021年

作者： Kuts, Daniil Ivannikov Institute for System Programming of the RAS Moscow Russia

Dynamic symbolic execution is a widely used technique for automated software testing, designed for execution paths exploration and program errors detection. A hybrid approach has recently become widespread, when the main goal of symbolic execution is helping fuzzer increase program coverage. The more branches symbolic executor can invert, the more useful it is for fuzzer. A program control flow often depends on memory values, which are obtained by computing address indexes from user input. However, most DSE tools don't support such dependencies, so they miss some desired program branches. We implement symbolic addresses reasoning on memory reads in our dynamic symbolic execution tool Sydr. Possible memory access regions are determined by either analyzing memory address symbolic expressions, or binary searching with SMTsolver. We propose an enhanced linearization technique to model memory accesses. Different memory modeling methods are compared on the set of programs. Our evaluation shows that symbolic addresses handling allows to discover new symbolic branches and increase the program coverage. © 2021, CC BY-NC-ND.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Numerical Simulation of Supersonic Jet Noise Using Open Source Software 1

引用

23rd International Conference on Computational Science, ICCS 2023

作者： Epikhin, Andrey But, Ivan Ivannikov Institute for System Programming of the RAS Moscow109004 Russia Keldysh Institute of Applied Mathematics of the RAS Moscow125047 Russia Bauman Moscow State Technical University Moscow105005 Russia

ISBN: (数字)9783031360305

ISBN: (纸本)9783031360299

The paper is devoted to the study of various numerical algorithms for calculating the flow and acoustics characteristics of supersonic jets implemented in open source software. The ideally expanded supersonic jet with parameters , is considered. A comparison of various approaches implemented in the OpenFOAM and block-structured adaptive mesh refinement framework of AMReX is conducted. Numerical algorithms for compressible gas flow implemented in pimpleCentralFoam, QGDFoam and CNS solvers are considered. Acoustic noise are calculated using the Ffowcs Williams and Hawkings analogy implemented in the libAcoustics library. Cross-validation comparison of the flow fields and acoustic characteristics is carried out. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Formal Methods and Innovation Economy: Facing New Challenges

Formal Methods and Innovation Economy: Facing New Challenges

引用

International Conference on Software Engineering and Formal Methods (SEFM)

作者： Alexander K. Petrenko Olga L. Petrenko Institute for System Programming Russian Academy of Science Moscow Russia

Formal methods (FM) are being actively developed nowadays. Still they find little use even in the target industry domains that require high quality, robust and standard-conforming software. Some of the difficulties in FM utilization are caused by unique characteristic features of the new Innovation Economy such as constantly growing number of new domains and technologies that calls for more and more experts who generate and possess knowledge. It is the knowledge formalization that is the prerequisite for FM application. This paper discusses features of the Innovation Economy that challenge FM practical use, considers positive cases of industrial applications of *** upon the analysis of those cases we suggest shifting the focus of FM development and extension to close cooperation with problem area experts and to promotion of the formalized approaches, techniques,and notations as interface language between problem areas and IT specialists.

关键词： Technological innovation Application software Road safety Software engineering Computer industry Robustness Software quality Character generation Flexible manufacturing systems programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：