Search Results for "what" - Page 35

...It's easy, efficient, and safe - lazy, but knows when to clean. Consider how you'd build your software by hand, with the twin goals of guaranteed correctness and maximum efficiency - that's what Uncle aims for.

Justice Leads to Death - is a MMORPG, based on our dreams what an ideal game should look like :)

rpm-depcheck is a tool for checking the RPM dependencies of a specified command. It is useful, for example, for getting an indication of what should be included in the "BuildRequires" tag of a RPM spec file when compiling a program.

Please take a look at our project wiki for more detailed information: https://github.com/monsdar/CxxProf/wiki/What-is-CxxProf%3F

Experior doesn't care what language your test program is written in. All it cares about is that each test's output begins and ends with a simple line of JSON. Your test program can validate its own output, in which case Experior just acts as a report engine. Alternatively -- or additionally -- you can write validation functions in JavaScript, and Experior will run them against the test output.

Sutri is a system for tests management. It does not deal directly with testing tools but enables you to manage tests, results and reports in a coherent way, without concerning about what tool is used to execute such tests.

1. What is torque Torque is automation testing tool which is used for C and C++ application in Linux platform. It covers major testing areas such as Unit Testing, Functional Testing and Regression Testing. Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2.

What is PHPExtJS ? We build one of great web application framework that full integrated between both of Server and Client Side framework together. To support this particular Web application, the frameworks are built using Yii PHP Framework to provide service for the client requests. Additionally, this web application also contain of latest ExtJS framework to provide high performance application interfaces such as native apps.

...In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...