[Free] Astrée : a static program analyzer
http://www.absint.de/astree/
Astrée is a static program analyzer that proves the absence of
run-time errors (RTE) in safety-critical embedded applications written
or automatically
generated in C.
Astrée analyzes structured C programs with
complex memory usages, but without recursion or dynamic memory
allocation.
This targets embedded applications as found in earth transportation,
nuclear energy, medical instrumentation, aeronautics and space flight,
in particular synchronous control/command such as electric flight
control.
Which run-time properties are analyzed by Astrée?
Astrée analyses whether the C programming language is used correctly
and whether there can be any run-time errors during any execution in any
environment.
This covers:
- Any use of C that has undefined behavior according to ISO/IEC
9899:1999,
the international norm governing the C programming language. Examples
include division by zero or out-of-bounds array indexing. - Any use of C that violates hardware-specific aspects as defined by
ISO/IEC 9899:1999, e.g. the size of integers and arithmetic overflow. - Any potentially harmful or incorrect use of C that violates
user-defined
programming guidelines, such as no modular arithmetic for integers
(even if
this might be the hardware choice). - Any violation of optional user-defined assertions to prove
additional run-time
properties (similar toassert
diagnostics).
Astrée can be customized and integrated into established tool-chains.
- All
- Acceptance Testing
- Agile
- Bug Tracking
- Capture Tool
- Code Review
- Database Testing
- Embed/Mobile Testing
- Functional Test
- GUI
- Usability Testing
- HP
- IBM
- Java Testing
- Microfocus
- Network Testing
- Performance Test
- Security Testing
- Selenium
- Test Automation
- Test Metrics
- Test Data
- Test Case Management
- Unit Testing
- Test Management
- Web Testing
Number | Title | Author | Date | Votes | Views |
2401 |
Running Selenium from jMeter
lucaxel
|
2021.02.14
|
Votes 0
|
Views 11084602
|
lucaxel | 2021.02.14 | 0 | 11084602 |
2400 |
ZeuZ: Test automation framework for Web, Mobile, Desktop, API, and Cloud apps
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 11266745
|
(TestExpert) | 2021.02.04 | 0 | 11266745 |
2399 |
Testsigma: Test web, mobile apps, and APIs continuously @ DevOps speed (1)
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 11439690
|
(TestExpert) | 2021.02.04 | 0 | 11439690 |
2398 |
Mobile User Equipment Tester
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 11642020
|
(TestExpert) | 2021.02.04 | 0 | 11642020 |
2397 |
Katalon TestOps OnPremise (KTOP): TestOps Tool
VTB
|
2020.03.23
|
Votes 0
|
Views 11659290
|
VTB | 2020.03.23 | 0 | 11659290 |
2396 |
[Paid] Ranorex Webtestit : UI web tests with Selenium or Protractor
ItSeTsQtB
|
2019.08.08
|
Votes 0
|
Views 11463009
|
ItSeTsQtB | 2019.08.08 | 0 | 11463009 |
2395 |
[Paid] Zabbix : Monitor any possible performance metrics and incidents in your network
^Software^
|
2019.07.24
|
Votes 0
|
Views 11784924
|
^Software^ | 2019.07.24 | 0 | 11784924 |
2394 |
[Paid] NeoLoad 7.0 : Performance Test APIs to Full Applications
IT-Tester
|
2019.07.24
|
Votes 0
|
Views 11598784
|
IT-Tester | 2019.07.24 | 0 | 11598784 |
2393 |
[FREE] Cucumber : behavior-driven development (BDD) tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 10963023
|
IT-Tester | 2019.07.22 | 0 | 10963023 |
2392 |
[Free] HTTrack : Website Testing Tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 11262374
|
IT-Tester | 2019.07.22 | 0 | 11262374 |
2391 |
Arquillian : Automated integration, functional and acceptance tests for Java
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 11394796
|
IT-Tester | 2019.07.08 | 0 | 11394796 |
2390 |
FitNesse : Automated acceptance tests are power tools for fixing a broken requirements process
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 11158077
|
IT-Tester | 2019.07.08 | 0 | 11158077 |
2389 |
Hiptest : Continuous Testing Management Platform
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 11352334
|
IT-Tester | 2019.06.26 | 0 | 11352334 |
2388 |
[Free] Test Data Generation Tool : DTM Data Generator
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 11415910
|
IT-Tester | 2019.06.26 | 0 | 11415910 |
2387 |
[Free] Assertible : API testing tool which concentrates on the automation and reliability
VTB
|
2019.06.21
|
Votes 0
|
Views 11973079
|
VTB | 2019.06.21 | 0 | 11973079 |
2386 |
[Free] Rest-Assured : Java Domain-specific language that makes testing REST service
VTB
|
2019.06.21
|
Votes 0
|
Views 11830311
|
VTB | 2019.06.21 | 0 | 11830311 |
2385 |
Postman : API Testing Tool (1)
Testersbest
|
2019.06.21
|
Votes 0
|
Views 11530402
|
Testersbest | 2019.06.21 | 0 | 11530402 |
2384 |
Robotium: Android UI Testing
Testersbest
|
2019.06.21
|
Votes 1
|
Views 11081798
|
Testersbest | 2019.06.21 | 1 | 11081798 |
2383 |
Ranorex : Automation Testing Tool for desktop, web, and mobile applications
Testersbest
|
2019.06.21
|
Votes 0
|
Views 11219231
|
Testersbest | 2019.06.21 | 0 | 11219231 |
2382 |
TestingWhiz : Automation Testing Tool for Software, Web, Mobile, Database, Cloud, Web Services and API testing
Testersbest
|
2019.06.21
|
Votes 0
|
Views 11600836
|
Testersbest | 2019.06.21 | 0 | 11600836 |
2381 |
Travis CI : Test and Deploy with Confidence
edouwens
|
2018.11.19
|
Votes 0
|
Views 11138101
|
edouwens | 2018.11.19 | 0 | 11138101 |
2380 |
QF- Test : automation testing tool that is meant for testing Java and Web GUI application (1)
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 11189667
|
aiitistqb | 2018.10.16 | 0 | 11189667 |
2379 |
Wink : Time-based and action-based capture of user actions
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 11427132
|
aiitistqb | 2018.10.16 | 0 | 11427132 |
2378 |
Crucible : a web-based application primarily targeting enterprise
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 11479350
|
aiitistqb | 2018.10.16 | 0 | 11479350 |
2377 |
Automated Mobile Testing Tools List
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 11292092
|
aiitistqb | 2018.10.16 | 0 | 11292092 |
2376 |
SpecFlow : software tool that computer programmers use for testing other software
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 11710172
|
aiitistqb | 2018.10.16 | 0 | 11710172 |
2375 |
Ranorex : Test Automation Tools for Complete Awesomeness
Testersbest
|
2018.10.16
|
Votes 0
|
Views 11614084
|
Testersbest | 2018.10.16 | 0 | 11614084 |
2374 |
SmartBear : End-to-End Automated Testing for Mobile, Web & Desktop Apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 11422960
|
Testersbest | 2018.10.16 | 0 | 11422960 |
2373 |
Bugdojo : Continuous QA for your web apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 11644413
|
Testersbest | 2018.10.16 | 0 | 11644413 |
2372 |
TEstNg (5)
kg2031
|
2018.02.28
|
Votes 0
|
Views 11171465
|
kg2031 | 2018.02.28 | 0 | 11171465 |
2371 |
Locators (1)
kg2031
|
2018.02.28
|
Votes 0
|
Views 11271123
|
kg2031 | 2018.02.28 | 0 | 11271123 |
2370 |
Crystal Reports
nk1
|
2018.02.23
|
Votes 0
|
Views 11059278
|
nk1 | 2018.02.23 | 0 | 11059278 |
2369 |
Selenium Learning Tutorial (4)
Dwarika
|
2017.08.28
|
Votes 0
|
Views 11513834
|
Dwarika | 2017.08.28 | 0 | 11513834 |
2368 |
[Paid] Module for Binary formats
SoftLogica
|
2017.08.11
|
Votes 0
|
Views 11269918
|
SoftLogica | 2017.08.11 | 0 | 11269918 |
2367 |
Getting Started with Selenium IDE
VijayShinde
|
2017.06.09
|
Votes 0
|
Views 11119905
|
VijayShinde | 2017.06.09 | 0 | 11119905 |
2366 |
UniPi Is A Powerful Board That Can Control Your Smart Home
TLP
|
2017.04.26
|
Votes 0
|
Views 11459199
|
TLP | 2017.04.26 | 0 | 11459199 |
2365 |
what is diff between SVN and GITHUB
vivekjog
|
2017.04.24
|
Votes 0
|
Views 11805344
|
vivekjog | 2017.04.24 | 0 | 11805344 |
2364 |
Macro to remove trailing spaces (1)
Christo
|
2017.03.29
|
Votes 0
|
Views 11169615
|
Christo | 2017.03.29 | 0 | 11169615 |
2363 |
Comparing 2 work sheets (2)
Christo
|
2017.03.29
|
Votes 0
|
Views 11458812
|
Christo | 2017.03.29 | 0 | 11458812 |
2362 |
Tool to generate all combinations of test parameters. (3)
Christo
|
2017.03.29
|
Votes 0
|
Views 11019795
|
Christo | 2017.03.29 | 0 | 11019795 |
2361 |
Best Testing Tools of 2014 (2)
kleyzit
|
2017.02.24
|
Votes 0
|
Views 11043855
|
kleyzit | 2017.02.24 | 0 | 11043855 |
2360 |
JCrawler (1)
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 11357596
|
Sky Driver | 2017.01.26 | 0 | 11357596 |
2359 |
fwptt
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 11246566
|
Sky Driver | 2017.01.26 | 0 | 11246566 |
2358 |
AppLoader: Performance Testing for Any Application
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 11082986
|
Sky Driver | 2017.01.26 | 0 | 11082986 |
2357 |
LoadStorm
loveelok
|
2017.01.20
|
Votes 0
|
Views 11606261
|
loveelok | 2017.01.20 | 0 | 11606261 |
2356 |
SiteBlaster
loveelok
|
2017.01.20
|
Votes 0
|
Views 10845286
|
loveelok | 2017.01.20 | 0 | 10845286 |
2355 |
Xceptance LoadTest (1)
loveelok
|
2017.01.20
|
Votes 0
|
Views 11094855
|
loveelok | 2017.01.20 | 0 | 11094855 |
2354 |
Test Manager (1)
loveelok
|
2017.01.12
|
Votes 0
|
Views 10685205
|
loveelok | 2017.01.12 | 0 | 10685205 |
2353 |
Test Environment Toolkit (1)
master15
|
2017.01.06
|
Votes 0
|
Views 11700565
|
master15 | 2017.01.06 | 0 | 11700565 |
2352 |
Burpsuite Pro 1.5.01 (1)
master15
|
2016.12.15
|
Votes 0
|
Views 11103869
|
master15 | 2016.12.15 | 0 | 11103869 |