AUTOMATA PROGRAMS CONSTRUCTION FROM SPECIFICATION WITH AN ANT COLONY OPTIMIZATION ALGORITHM BASED ON MUTATION GRAPH
Annotation
The procedure of testing traditionally used in software engineering cannot guarantee program correctness; therefore verification is used at the excess requirements to programs reliability. Verification makes it possible to check certain properties of programs in all possible computational states; however, this process is very complex. In the model checking method a model of the program is built (often, manually) and requirements in terms of temporal logic are formulated. Such temporal properties of the model can be checked automatically. The main issue in this framework is the gap between the program and its model. Automata-based programming paradigm gives the possibility to overcome this limitation. In this paradigm, program logic is represented using finite-state machines. The advantage of finite-state machines is that their models can be constructed automatically. The paper deals with the application of mutation-based ant colony optimization algorithm to the problem of finite-state machine construction from their specification, defined by test scenarios and temporal properties. The presented approach has been tested on the elevator doors control problem as well as on randomly generated data. Obtained results show the ant colony algorithm is two-three times faster than the previously used genetic algorithm. The proposed approach can be recommended for inferring control programs for critical systems.
Keywords
Постоянный URL
Articles in current issue
- PAST AND FUTURE APPLICATIONS OF 3-D (VIRTUAL REALITY) TECHNOLOGY
- PURCELL EFFECT IN EXTREMELY ANISOTROPIC ELLIPTIC METAMATERIALS
- VOLUME STUDY WITH HIGH DENSITY OF PARTICLES BASED ON CONTOUR AND CORRELATION IMAGE ANALYSIS
- SELF-ORGANIZATION OF LEAD SULFIDE QUANTUM DOTS INTO SUPERSTRUCTURES
- SPATIALLY SELECTIVE SPECKLE-CORRELOMETRY OF RANDOM INHOMOGENEOUS MEDIA: SIMULATION RESULTS
- СOMPUTATIONAL COMPLEXITY ANALYSIS OF RECURRENT DATA PROCESSING ALGORITHMS IN OPTICAL COHERENCE TOMOGRAPHY
- METHODS OF STEREO PAIR IMAGES FORMATION WITH A GIVEN PARALLAX VALUE
- METHOD FOR DETERMINING THE SPATIAL COORDINATES IN THE ACTIVE STEREOSCOPIC SYSTEM
- CONTROL SYSTEM FOR UNMANNED AIRCRAFT EQUIPPED WITH ROBOTICS ARM
- ADAPTIVE OUTPUT CONTROL OF MULTICHANNEL LINEAR STATIONARY SYSTEMS UNDER PARAMETRIC UNCERTAINTY
- FREQUENCY CHARACTERISTICS OF MODERN LED PHOSPHOR MATERIALS
- SPECTRAL-LUMINESCENT CHARACTERISTICS OF FLUOROPHOSPHATE GLASSES ACTIVATED WITH MANGANESE AND CADMIUM SULPHIDE QUANTUM DOTS
- MULTISCALE DIFFERENTIAL METHOD FOR DIGITAL IMAGE SHARPENING
- QUEUEING DISCIPLINES BASED ON PRIORITY MATRIX
- COMPARATIVE ANALYSIS OF APPLICATION EFFICIENCY OF ORTHOGONAL TRANSFORMATIONS IN FREQUENCY ALGORITHMS FOR DIGITAL IMAGE WATERMARKING
- PHYSICAL RESOURCES OF INFORMATION PROCESSES AND TECHNOLOGIES
- PEOPLE RETRIEVAL BY MEANS OF COMPOSITE PICTURES: PROBLEM STATE-OF-THE-ART AND TECHNOLOGIES
- EXTENDED SPEECH EMOTION RECOGNITION AND PREDICTION
- REDUNDANT ELECTRIC MOTOR DRIVE CONTROL UNIT DESIGN USING AUTOMATA-BASED APPROACH
- APPLICATION AND IMPLEMENTATION OF HIGH-RESOLUTION DIFFERENCE SCHEMES FOR SOLUTION OF GAS DYNAMICS PROBLEMS ON UNSTRUCTURED MESHES
- MULTILEVEL RECURRENT MODEL FOR HIERARCHICAL CONTROL OF COMPLEX REGIONAL SECURITY
- MODELING OF MANUFACTURING ERRORS FOR PIN-GEAR ELEMENTS OF PLANETARY GEARBOX
- SUPPORT PROBLEM FOR COGNITIVE FUNCTIONS IN THE E-LEARNING
- MODE COMPOSITION CONTROL ON OPTICAL TWISTED STRIP OUTPUT