http://www.verified.de/ Tue, 07 Sep 2010 19:16:20 +0200 FeedCreator 1.7.2-ppt DokuWiki http://www.verified.de/lib/images/favicon.ico http://www.verified.de/ http://www.verified.de/en/products/ccbm?rev=1203377990 The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the purpose of branch coverage measurement. This encompasses operations for code instrumentation, removal of this instrumentation, retrieval of coverage information, merging coverage information, and displaying this information with reference to the (original) source code. en:products Tue, 19 Feb 2008 00:39:50 +0200 http://www.verified.de/en/products/cluster?rev=1259244933 Cluster Technology The test system cluster architecture is based on dual CPU or 4-CPU PCs acting as cluster nodes. The nodes communicate and synchronise over a high-speed network (Myrinet or InfiniBand). A modification of the Linux operating system allows to run the test execution and evaluation algorithms in hard real-time on reserved CPUs, where scheduling is non-preemptive and controlled by the test system itself. The interrupts caused by interfaces to the system under test may be relayed to… en:products Thu, 26 Nov 2009 15:15:33 +0200 http://www.verified.de/en/products/menu2?rev=1263573051 Overview * Products Software * Verified's RT-Tester * Test Case Generator TCGen * Code Coverage Branch Monitor (CCBM) * Key features * Workflow * Reference Projects Hardware * Cluster Technology * Gallery en:products Fri, 15 Jan 2010 17:30:51 +0200 http://www.verified.de/en/products/rt-tester?rev=1259662119 Verified's RT-Tester is a test automation tool for automatic test generation, test execution and real-time test evaluation. Some of RT-Tester's major distinguishing features are * One tool for all test levels: Unit testing, SW integration testing and HW/SW integration testing, as well as system tests can be performed with one and the same tool. * Powerful stub generator for unit and SW integration testing: Sub-functions or methods called by the component under test can be automatically re… en:products Tue, 01 Dec 2009 11:08:39 +0200 http://www.verified.de/en/products/tcgen?rev=1208275289 Verified's Test Case Generator TCGen is fully integrated into RT-Tester as an optional component, but it can also be integrated into other (customised or off-the-shelf) testing environments. On unit test level, TCGen supports automated test case / test data generation for structural coverage testing: en:products Tue, 15 Apr 2008 18:01:29 +0200