- program verification
- проверка правильности [верификация] программы
Большой англо-русский и русско-английский словарь. 2001.
program verification
Смотреть что такое "program verification" в других словарях:
Program analysis — For other uses, see Program analysis (disambiguation). In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and… … Wikipedia
Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program … Wikipedia
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
Program Management Professional — (PgMP) is a certification in program management managed by the Project Management Institute in accordance with their published standard A Standard for Program Management . Eligibility Applicants with a bachelor s degree must have had four… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
verification program — tikrinimo programa statusas T sritis automatika atitikmenys: angl. verification program; verifier vok. Prüfer, m; Verifizierer, m rus. программа контроля, f; программа проверки, f pranc. programme de vérification, m; programme vérificateur, m … Automatikos terminų žodynas
Program refinement — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf … Wikipedia
Program for the Endorsement of Forest Certification — Programme de Reconnaissance des Certifications Forestières Logo du PEFC. Le Programme de Reconnaissance des Certifications Forestières ou PEFC (« Pan European Forest Certification » devenu « Programme for the Endorsement of Forest… … Wikipédia en Français
Functional verification — Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question Does this proposed design do what is… … Wikipedia
Environmental Technology Verification Program — The Environmental Technology Verification (ETV) Program of the Environmental Protection Agency (EPA) in the United States develops testing protocols and verifies the performance of innovative environmental technologies that can address problems… … Wikipedia
