@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Dynamic_program_analysis	rdf:type	ns2:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Dynamic_program_analysis	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000000c9ff83> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Dynamic_program_analysis	foaf:page	ns5:Dynamic_program_analysis .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Dynamic_program_analysis	dbpprop:reference	ns5:HP_Application_Security_Center ,
		<http://www.intel.com/cd/software/products/asmo-na/eng/threading/219785.htm> ,
		<http://groups.csail.mit.edu/pag/daikon/> ,
		<http://www.cenzic.com/> ,
		<http://jtracert.googlecode.com/> ,
		<http://www.securityinnovation.com/holodeck/index.shtml> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Dynamic_program_analysis	rdfs:label	"\u0414\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430"@ru ,
		"Dynaaminen analyysi"@fi ,
		"Dynamic program analysis"@en ;
	dbpprop:abstract	"\u0414\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430 (\u0430\u043D\u0433\u043B. Dynamic program analysis)\u00A0\u2014 \u0430\u043D\u0430\u043B\u0438\u0437 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F, \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u043C\u044B\u0439 \u043F\u0440\u0438 \u043F\u043E\u043C\u043E\u0449\u0438 \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u043D\u0430 \u0440\u0435\u0430\u043B\u044C\u043D\u043E\u043C \u0438\u043B\u0438 \u0432\u0438\u0440\u0442\u0443\u0430\u043B\u044C\u043D\u043E\u043C \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u043E\u0440\u0435 (\u0430\u043D\u0430\u043B\u0438\u0437, \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u043C\u044B\u0439 \u0431\u0435\u0437 \u0437\u0430\u043F\u0443\u0441\u043A\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430). \u0423\u0442\u0438\u043B\u0438\u0442\u044B \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043C\u043E\u0433\u0443\u0442 \u0442\u0440\u0435\u0431\u043E\u0432\u0430\u0442\u044C \u0437\u0430\u0433\u0440\u0443\u0437\u043A\u0438 \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0445 \u0431\u0438\u0431\u043B\u0438\u043E\u0442\u0435\u043A, \u043F\u0435\u0440\u0435\u043A\u043E\u043C\u043F\u0438\u043B\u044F\u0446\u0438\u044E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u043E\u0433\u043E \u043A\u043E\u0434\u0430. \u041D\u0435\u043A\u043E\u0440\u044B\u0435 \u0443\u0442\u0438\u043B\u0438\u0442\u044B \u043C\u043E\u0433\u0443\u0442 \u043C\u043E\u0434\u0438\u0444\u0438\u0446\u0438\u0440\u043E\u0432\u0430\u0442\u044C \u0438\u0441\u043F\u043E\u043B\u043D\u044F\u0435\u043C\u044B\u0439 \u043A\u043E\u0434 \u0432 \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u0435 \u0438\u0441\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F \u0438\u043B\u0438 \u043F\u0435\u0440\u0435\u0434 \u043D\u0438\u043C. \u0414\u043B\u044F \u0431\u043E\u043B\u044C\u0448\u0435\u0439 \u044D\u0444\u0444\u0435\u043A\u0442\u0438\u0432\u043D\u043E\u0441\u0442\u0438 \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044F \u043F\u043E\u0434\u0430\u0447\u0430 \u0442\u0435\u0441\u0442\u0438\u0440\u0443\u0435\u043C\u043E\u0439 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0435 \u0434\u043E\u0441\u0442\u0430\u0442\u043E\u0447\u043D\u043E\u0433\u043E \u043A\u043E\u043B\u0438\u0447\u0435\u0441\u0442\u0432\u0430 \u0432\u0445\u043E\u0434\u043D\u044B\u0445 \u0434\u0430\u043D\u043D\u044B\u0445, \u0447\u0442\u043E\u0431\u044B \u043F\u043E\u043B\u0443\u0447\u0438\u0442\u044C \u0431\u043E\u043B\u0435\u0435 \u043F\u043E\u043B\u043D\u043E\u0435 \u043F\u043E\u043A\u0440\u044B\u0442\u0438\u0435 \u043A\u043E\u0434\u0430. \u0422\u0430\u043A\u0436\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044F \u043F\u043E\u0437\u0430\u0431\u043E\u0442\u0438\u0442\u044C\u0441\u044F \u043E \u043C\u0438\u043D\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u0438 \u0432\u043E\u0437\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044F \u0438\u043D\u0441\u0442\u0440\u0443\u043C\u0435\u043D\u0442\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u043D\u0430 \u0438\u0441\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u0435 \u0442\u0435\u0441\u0438\u0442\u0440\u0443\u0435\u043C\u043E\u0439 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B (\u0432\u043A\u043B\u044E\u0447\u0430\u044F \u0432\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0435 \u0445\u0430\u0440\u0430\u043A\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043A\u0438)."@ru ,
		"Dynaaminen analyysi on tietokoneohjelmien analysointia suorittamalla ohjelmia todellisessa tai virtuaalisessa prosessorissa. Jotta dynaaminen analyysi voisi onnistua riitt\u00E4v\u00E4n hyvin, tarvitaan riitt\u00E4v\u00E4t testitiedot ja tulotiedot, jotta voidaan tuottaa riitt\u00E4v\u00E4n tarkat vastaukset k\u00E4ytt\u00E4ytymisen tuloksena. Yleens\u00E4 dynaamisen analyysin suorittamiseksi ohjelmistoa joudutaan muuttamaan v\u00E4h\u00E4n (koodin instrumentointi), tai muutoin joudutaan varmistamaan, ett\u00E4 suoritus kattaa riitt\u00E4v\u00E4n osan koodista."@fi ,
		"Dynamic program analysis is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test inputs to produce interesting behavior. Use of software testing techniques such as code coverage helps ensure that an adequate slice of the program's set of possible behaviors has been observed. Also, care must be taken to minimize the effect that instrumentation has on the execution (including temporal properties) of the target program."@en ;
	rdfs:comment	"\u0414\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430 (\u0430\u043D\u0433\u043B. Dynamic program analysis)\u00A0\u2014 \u0430\u043D\u0430\u043B\u0438\u0437 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F, \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u043C\u044B\u0439 \u043F\u0440\u0438 \u043F\u043E\u043C\u043E\u0449\u0438 \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u043D\u0430 \u0440\u0435\u0430\u043B\u044C\u043D\u043E\u043C \u0438\u043B\u0438 \u0432\u0438\u0440\u0442\u0443\u0430\u043B\u044C\u043D\u043E\u043C \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u043E\u0440\u0435 (\u0430\u043D\u0430\u043B\u0438\u0437, \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u043C\u044B\u0439 \u0431\u0435\u0437 \u0437\u0430\u043F\u0443\u0441\u043A\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430)."@ru ,
		"Dynaaminen analyysi on tietokoneohjelmien analysointia suorittamalla ohjelmia todellisessa tai virtuaalisessa prosessorissa. Jotta dynaaminen analyysi voisi onnistua riitt\u00E4v\u00E4n hyvin, tarvitaan riitt\u00E4v\u00E4t testitiedot ja tulotiedot, jotta voidaan tuottaa riitt\u00E4v\u00E4n tarkat vastaukset k\u00E4ytt\u00E4ytymisen tuloksena."@fi ,
		"Dynamic program analysis is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test inputs to produce interesting behavior. Use of software testing techniques such as code coverage helps ensure that an adequate slice of the program's set of possible behaviors has been observed."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Dynamic_program_analysis	skos:subject	ns9:Formal_methods ,
		ns9:Software_testing .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Dynamic_program_analysis	dbpprop:hasPhotoCollection	ns10:Dynamic_program_analysis .
dbpedia:Dynamic_code_analysis	dbpprop:redirect	dbpedia:Dynamic_program_analysis .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Dynamic_program_analysis	owl:sameAs	dbpedia:Dynamic_program_analysis .