checking+tool

См. также в других словарях:

• artwork checking tool — fotooriginalo tikrinimo įtaisas statusas T sritis radioelektronika atitikmenys: angl. artwork checking tool vok. Werkzeug zur Maskenlayoutprüfung, n rus. инструмент для контроля фотооригинала, m pranc. moyens pour contrôle de disposition d… …   Radioelektronikos terminų žodynas

• ChecKing — is a web application developed by optimyth intended for monitoring the quality of software development process and its results, that covers the needs of organizations that want to control software quality before it is put into production. To do… …   Wikipedia

• Tool-assisted speedrun — A tool assisted speedrun (abbreviated TAS) is a speedrun movie or performance of a video game produced by means of emulation and using features unavailable to regular players, such as slow motion or frame by frame advance of the gameplay, and re… …   Wikipedia

• Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

• Taint checking — is a feature in some computer programming languages, such as Perl and Ruby, designed to increase security by preventing malicious users from executing commands on a host computer. Taint checks highlight specific security risks primarily… …   Wikipedia

• Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

• Splint (programming tool) — Infobox Software name = Splint caption = developer = [http://sourceforge.net/project/memberlist.php?group id=34302 The Splint Developers] latest release version = 3.1.2 latest release date = July 12, 2007 operating system = Cross platform genre …   Wikipedia

• List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… …   Wikipedia

• NuSMV — Developer(s) FBK irst (Trento, Italy), CMU (Pittsburgh, PA), The University of Genova (Italy), The University of Trento (Italy) Stable release 2.5.2 / October 29, 2010; 11 months ago (2010 10 29) Written in AN …   Wikipedia

• List of UML tools — This article lists Unified Modeling Language tools, classified by their proprietary or non proprietary status. Non proprietary UML tools *Acceleo: Eclipse and EMF template based system for source code generation from UML models. *AmaterasUML:… …   Wikipedia

• Rabbit Model Checker — Rabbit is a model checking tool for real time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data… …   Wikipedia