Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.4'242
Issue:1 (83)
MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS
Annotation
The article proposes modification method for automata-based programs induced by changes in their test scenarios. The method can also be used for constructing automata-based programs without using any prior knowledge of a program structure and without using evolutional algorithms (as was proposed by many authors before). The main feature of the method is a minimal requirement for program changes. Its essence lies in the reduction of the original problem to the problem of finding the shortest path in the acyclic weighted graph constructed from the original automaton and new test scenario.
Keywords
Постоянный URL
Articles in current issue
- ADAPTIVE OUTPUT CONTROL: SUBJECT MATTER, APPLICATION TASKS AND SOLUTIONS
- CONTROL APPROACH FOR NONLINEAR PLANT WITH PARAMETRIC UNCERTAINTIES AND INPUT DELAY
- SUBOPTIMAL CONTROL OF NONLINEAR MULTI-AGENT SYSTEMS
- DYNAMICAL SYSTEMS STABILITY STUDY BY THE PROPERTIES OF THE VECTOR PHASE SPEED FLOW THROUGH A CLOSED CONVEX SURFACE
- HYBRID ALGORITHM OF FREQUENCY IDENTIFICATION FOR MULTI-SINUSOIDAL SIGNAL
- INTEGRAL DIFFERENTIATING SPEED-GRADIENT ALGORITHMS IN MULTIPLE SYNCHRONIZATION ISSUES FOR VIBRATION UNITS
- DISCRETE-TIME ROBUST CONTROL FOR ROBOT-MANIPULATOR
- ANALYSIS AND PROCESSING OF ELECTROMYOGRAM SIGNALS
- IMPLEMENTATION OF INDUSTRIAL ROBOT-MANIPULATOR SETUPS IN EDUCATIONAL PROCESS
- ON OPTIMIZATION OF UNMANNED AERIAL VEHICLE APPLICATION FOR SEARCH AND TRACKING OF OBJECTS
- HOMOGENIZERS OF LASER RADIATION FABRICATED BY LASER GRAVING OF POLYMER FILMS
- METAFILMS CHARACTERISTICS FOR THE TERAHERTZ FREQUENCY RANGE AT THE GEOMETRIC PARAMETERS SCALING
- TERAHERTZ RADIATION INFLUENCE ON THE GROWING OF NEURITES
- FEMTOSECOND PHOTON ECHO ON SIZE-INHOMOGENEOUS QUANTUM DOTS OF ZINC OXIDE AT ROOM TEMPERATURE
- SIMULATION ERRORS OF HIGH-LOADED SYSTEMS IN GPSS WORLD
- HIERARCHY OF ALGEBRAIC BAYESIAN NETWORK GLOBAL STRUCTURES AS A SYSTEM OF GRAPHS AND HYPERGRAPHS
- TAG LINES EXTRACTION AND RANKING IN TEXT ANNOTATION
- DATA VERIFICATION IN ISSUE SUPERVISING SYSTEMS BY PRODUCTION RULES
- AGGLOMERATIVE CLUSTERING OF SOUND RECORD SPEECH SEGMENTS BASED ON BAYESIAN INFORMATION CRITERION
- PROGRAM SYSTEM AND INFORMATION METADATA BANK OF TERTIARY PROTEIN STRUCTURES
- FREQUENCY ANALYSIS OF RLE-BLOCKS REPETITIONS IN THE SERIES OF BINARY CODES WITH OPTIMAL MINIMAX CRITERION OF AUTOCORRELATION FUNCTION
- PHASE GRADIENT METHOD OF MAGNETIC FIELD MEASUREMENTS IN ELECTRIC VEHICLES
- GALVANIC MAGNETIC PROPERTIES OF BISMUTH THIN FILMS DOPED WITH TELLURIUM MADE BY THERMAL VACUUM EVAPORATION
- EFFECT OF LASER MICRO STRUCTURING PROCESS ON ELECTROPHYSICAL PROPERTIES OF SIO2/SI SYSTEM
- SIMPLEX- METHOD AND ARTIFICIAL BASIS METHOD APPLICATION FOR ONBOARD EQUIPMENT DESIGN
- ANALYSIS OF WIRELESS SENSOR AND ACTUATOR NETWORKS DESIGN METHODS
- EVOLUTION MODELING METHODS APPLICATION FOR CIRCULATION OF DOCUMENTS OPTIMIZATION AT THE ENTERPRISE
- INFORMATION SECURITY RISKS OPTIMIZATION IN CLOUDY SERVICES ON THE BASIS OF LINEAR PROGRAMMING
- INTEGRITY CONTROL ALGORITHM FOR DEPERSONALIZED INFORMATION IN INFORMATION SYSTEMS OF PERSONAL DATA
- RAILWAY EMERGENCY SITUATIONS PREVENTION SYSTEM BASED ON GEOGRAPHIC INFORMATION TECHNOLOGIES
- DIGITAL WATERMARKS IN IMAGE FILES
- METHODOLOGICAL ISSUES OF TELECOMMUNICATION COMPANY PERFORMANCE ESTIMATION
- INNOVATIVE ACTIVITY OF BANK SYSTEM SUBJECTS AS A FORM OF REALIZATION OF ECONOMIC INTERESTS
- LINGUISTIC SIMULATOR ARCHITECTURE FOR QUICK COMMUNICATION SKILLS MASTERING IN A FOREIGN LANGUAGE