Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.05
Issue:2 (72)
JOINT APPLICATION OF CONTRACTS AND VERIFICATION FOR AUTOMATA-BASED PROGRAMS QUALITY ENHANCEMENT
Annotation
Quality assurance is an important aspect of development of software systems with complex behavior. The price of error in such systems may be too high, so it is important not just to check all program specifications, but also to make the process efficient and automated as much as possible. In practice, it can be achieved by formalizing the program requirements and storing the executable specification directly with the program code. This paper presents the review of existing quality control methods applicable to software systems with complex behavior. The process of environment creation is described supporting three most common approaches to quality assurance of automata-based programs: model checking, unit testing, and contracts. The proposed approach helps to keep program specification up-to-date with availability of interactive quality control.
Keywords
Постоянный URL
Articles in current issue
- SMALL-SIZED HELICOPTER CONTROL SYSTEM DEVELOPMENT
- DOUBLE-STEP GENETIC PROGRAMMING APPLICATION FOR TANK MODEL CREATION IN “ROBOCODE” GAME
- MACHINE LEARNING APPLICATION FOR CONTROL AUTOMATA CREATION BY “ROBOCODE” GAME EXAMPLE
- AUTOMATIC SYNTHESIS OF MOBILE ROBOT CONTROL SYSTEM FOR SOLVING THE "KEGELRING" PROBLEM
- GPU EFFECTIVENESS ANALYSIS FOR AUTOMATIC SYNTHESIS OF ROBOT CONTROL SYSTEM
- HARDWARE AND SOFTWARE COMPLEX FOR FINITE STATE MOBILE ROBOT CONTROL STUDY
- FEATURE DETECTORS IN THE VIOLA-JONES METHOD ON THE BASIS OF FINITE AUTOMATA
- STRATEGY OPTIMIZATION METHODS FOR TWO-PLAYER GAMES WITH GENETIC ALGORITHMS
- DEVELOPMENT OF FINITE AUTOMATA CREATION METHODS WITH ANNEALING SIMULATION ALGORITHM BY THE «WAR FOR RESOURCES» EXAMPLE
- REPRESENTATION OF FINITE STATE AUTOMATA BY LINEAR BINARY GRAPHS IN GENETIC PROGRAMMING
- AUTOMATIC SELECTION OF ENVIRONMENT PARAMETERS DURING AUTOMATA PROGRAMS GENERATION BY GENETIC ALGORITHMS
- GENETIC APPROACH FOR CELLULAR AUTOMATA GENERATION
- GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS
- TESTS GENERATION FOR OLYMPIAD PROGRAMMING TASKS USING GENETIC ALGORITHMS
- VIRTUAL LABORATORY FOR ARTIFICIAL INTELLIGENCE TRAINING METHODS FOR CONTROLLING FINITE STATE AUTOMATA GENERATION
AND ARTIFICIAL INTELLIGENCE TECHNOLOGIES GENERATION OF FINITE STATE MACHINES FOR UNMANNED AIRPLANE CONTROLLING
- DISCOLORATION OF NATURAL SAPPHIRES
- REPRESENTATION OF EXPERIMENTAL DATA ON ATMOSPHERE OPTICAL PARAMETERS BY ANALYTIC RELATIONS
- CONSISTENT SYSTEM OF UNIQUE KEY QUANTUM DISTRIBUTION ON CHOPPED LIGHT SIDEBAND
- PHASE SELF-MODULATION OF SINGLE-CYCLE OPTICAL WAVES
- LIGHT DIFFUSION IN A MEDIUM WITH NANOSCALE HETEROGENEITIES
- SOLUTION MODEL OF INVERSE PROBLEM OF IONOSPHERE VERTICAL SOUNDING
- PROGRAMMED SERVO DRIVE TRAJECTORY SHAPER
- COST CONTROL ESTIMATION FOR HARMONIC EXOGENOUS ACTIONS: GRAMIAN APPROACH
- BASIC PRINCIPLES FOR SOLVING THE PROBLEM OF TRANSFORMING AN OBJECT-ORIENTED SOURCE CODE TO RDF FORMAT USING SEMANTIC ANALYSIS
- CREATION METHODS ANALYSIS OF MOVING OBJECTS TRAJECTORY ON THE BASIS OF VIDEO DATA SEGMENTATION
- PROBLEMS OF SEMANTIC DICTIONARY REPLENISHMENT
- ORGANIZATION OF NODES NETWORK INTERACTION IN DISTRIBUTED REPOSITORIES
- COMPRESSION METHOD FOR DYNAMIC RANGE OF DIGITAL FOURIER HOLOGRAM WHILE EMBEDDING HIDDEN WATERMARKS
- QUANTITATIVE ASSESSMENT OF INFORMATION IN KNOWLEDGE BASES
- ON THE VULNERABILITY OF VIRTUAL MACHINE MONITORS
- CLOSE-FIELD HIGH FREQUENCY PROBING METHOD IN BIOLOGICAL DIAGNOSTICS
- NON-INVASIVE MEASURING METHODS OF BILIRUBIN, HAEMOGLOBIN AND GLUCOSE. HAEMOBILIGLUCOMETER DEVICE
- SIMULATION MODELING APPLICATION FOR THE QUALITY ASSESSMENT OF INNOVATIVE PROJECTS BUSINESS PLANS
- THE ROLE OF INDUSTRIAL PARKS IN DEVELOPMENT OF RUSSIA AS INNOVATIVE SOCIETY
- NEW LYAPUNOV-KRASOVSKIY FUNCTIONAL FOR EXPONENTIAL STABILITY PROOF OF NONLINEAR SYSTEM WITH DELAY
- APPLICATION OF ONTOLOGY IN THE INTELLIGENT RESOURCE MANAGEMENT SYSTEM
- ARRANGEMENT OF INTER-COMPUTER EXCHANGE LINKS WITH RESERVATION
- INNOVATIONS AND THEIR ROLE IN THE ENTERPRISE COMPETITIVENESS MANAGEMENT IN THE SERVICE-ORIENTED ECONOMICS