Download presentation This paper devoted to technology and software tools which allow automating of full cycle of software development from formalization of requirements provided in natural language and it’s analysis with symbolic verification to tests generation and execution. The main…
Download presentation Perhaps all seen the product code, where large SQL queries, HTML pages, or even shaders DirectX HLSL are built from substrings. Despite the proliferation of ORM technologies, the development of generative programming techniques and meta-programming, direct execution of…
Download presentation We define and implement a method to analyze JVM compatible application archives to determine how the application evolved between them. This allows us to determine if a given dynamic system update solution can handle an update between analyzed…
Download presentation I will demonstrate current processes in Intel compiler testing, the role and importance of pre-commit testing in the general workflow and how Compiler QA team managed to use historical data to improve pre-commit testing. Vasiliy Kurkov senior software…
Download presentation I’m going to present the current status of of the W3C WebDriver standard, its implementations in various browsers, and automation tool vendors that migrate to this standard to gain аdvantages over their competitors. Alexei Barantsev Software-Testing.Ru
Download presentation Nowadays it is often needed to move software systems to a distributed environment. This article is devoted to creation and installation of a lock manager for software system while moving them from one-server configuration to a distributed environment.…
Download presentation Many think that qualitative products are well-tested products. But the real quality arises on the initial stages of product development! Which techniques, tools and procedures help to make products of a better quality? In this speech I’ll share…
Download presentation We present CQG experience in organizing and monitoring the software testing and quality assurance process within the company. The paper outlines our methods used for the products quality measurement, data and metrics that are under permanent review in…
Download presentation I will explain how audit requirement “all changes in code should be reviewed” for investment banking applications helped me to establish code review process in my team. Presentation will be interested for IT managers and team leads who…
Download presentation Software defined network (SDN) – a new concept of computer network management. SDN – is an approach to computer networking, which abstracts the distributed systems, the control plane and the data plane, centralize the network management, using standardized…
Download presentation The paper shows by example how Intel developer tools help to create parallel versions of serial applications. I’ll describe how to avoid debugging defects in parallel code by modeling program execution before implementing parallelism and how to assess…
Download presentation I will share my experience in modeling Wide Area Netork (WAN) without use of physical infrastructure. Open-source system Mininet Cluster Edition allows to emulate computer networks up to 50 000 hosts on a cluster of computers. I also…
Download presentation It is never enough time and/or resources for high-quality testing in the busy release schedule. For real banking application we need to increase testers productivity by 20 times. I’ll decribe how to solve this problem. Alexey Nadenenko lead…
Download presentation The talk will contain discussion about lightweight approach for profiling shared objects (dynamic linking libraries) in linux for embedded systems where powerful tools like oprofile or valgrind don’t work. Speaker will explain how does linking work in linux…
Download presentation In my report I would like to describe simple methodics to enhance the effectiveness of team members collaboration. Those who have ever faced with misunderstanding between testers and developers, could pick some ideas to solve such problems. Inna…
Download presentation This presentation will review the basic methods and approaches of software testing for the Android OS. This presentation based on experience of usage of Android NDK for analysis, testing, and debugging native applications: manual testing and automatic. Stability,…
Русский