Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.4’242
Issue:2 (72)
GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS
Annotation
The article deals with an approach for automated test generation of automata-based programs. Contract approach is suggested to formalize specification requirements to the model and control objects. Test is described as a sequence of transitions in a model. Genetic algorithm is proposed for automation of test creation to find set of values meeting transition conditions.
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
- JOINT APPLICATION OF CONTRACTS AND VERIFICATION FOR AUTOMATA-BASED PROGRAMS QUALITY ENHANCEMENT
- 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