[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 10385941
|
lucaxel | 2021.02.14 | 0 | 10385941 |
2400 |
ZeuZ: Test automation framework for Web, Mobile, Desktop, API, and Cloud apps
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 10655222
|
(TestExpert) | 2021.02.04 | 0 | 10655222 |
2399 |
Testsigma: Test web, mobile apps, and APIs continuously @ DevOps speed (1)
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 10787394
|
(TestExpert) | 2021.02.04 | 0 | 10787394 |
2398 |
Mobile User Equipment Tester
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 10967151
|
(TestExpert) | 2021.02.04 | 0 | 10967151 |
2397 |
Katalon TestOps OnPremise (KTOP): TestOps Tool
VTB
|
2020.03.23
|
Votes 0
|
Views 11017881
|
VTB | 2020.03.23 | 0 | 11017881 |
2396 |
[Paid] Ranorex Webtestit : UI web tests with Selenium or Protractor
ItSeTsQtB
|
2019.08.08
|
Votes 0
|
Views 10868214
|
ItSeTsQtB | 2019.08.08 | 0 | 10868214 |
2395 |
[Paid] Zabbix : Monitor any possible performance metrics and incidents in your network
^Software^
|
2019.07.24
|
Votes 0
|
Views 11092327
|
^Software^ | 2019.07.24 | 0 | 11092327 |
2394 |
[Paid] NeoLoad 7.0 : Performance Test APIs to Full Applications
IT-Tester
|
2019.07.24
|
Votes 0
|
Views 11001951
|
IT-Tester | 2019.07.24 | 0 | 11001951 |
2393 |
[FREE] Cucumber : behavior-driven development (BDD) tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 10327196
|
IT-Tester | 2019.07.22 | 0 | 10327196 |
2392 |
[Free] HTTrack : Website Testing Tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 10547343
|
IT-Tester | 2019.07.22 | 0 | 10547343 |
2391 |
Arquillian : Automated integration, functional and acceptance tests for Java
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 10778329
|
IT-Tester | 2019.07.08 | 0 | 10778329 |
2390 |
FitNesse : Automated acceptance tests are power tools for fixing a broken requirements process
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 10493576
|
IT-Tester | 2019.07.08 | 0 | 10493576 |
2389 |
Hiptest : Continuous Testing Management Platform
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 10714340
|
IT-Tester | 2019.06.26 | 0 | 10714340 |
2388 |
[Free] Test Data Generation Tool : DTM Data Generator
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 10765600
|
IT-Tester | 2019.06.26 | 0 | 10765600 |
2387 |
[Free] Assertible : API testing tool which concentrates on the automation and reliability
VTB
|
2019.06.21
|
Votes 0
|
Views 11187641
|
VTB | 2019.06.21 | 0 | 11187641 |
2386 |
[Free] Rest-Assured : Java Domain-specific language that makes testing REST service
VTB
|
2019.06.21
|
Votes 0
|
Views 11183244
|
VTB | 2019.06.21 | 0 | 11183244 |
2385 |
Postman : API Testing Tool (1)
Testersbest
|
2019.06.21
|
Votes 0
|
Views 10931103
|
Testersbest | 2019.06.21 | 0 | 10931103 |
2384 |
Robotium: Android UI Testing
Testersbest
|
2019.06.21
|
Votes 1
|
Views 10405252
|
Testersbest | 2019.06.21 | 1 | 10405252 |
2383 |
Ranorex : Automation Testing Tool for desktop, web, and mobile applications
Testersbest
|
2019.06.21
|
Votes 0
|
Views 10509187
|
Testersbest | 2019.06.21 | 0 | 10509187 |
2382 |
TestingWhiz : Automation Testing Tool for Software, Web, Mobile, Database, Cloud, Web Services and API testing
Testersbest
|
2019.06.21
|
Votes 0
|
Views 11024204
|
Testersbest | 2019.06.21 | 0 | 11024204 |
2381 |
Travis CI : Test and Deploy with Confidence
edouwens
|
2018.11.19
|
Votes 0
|
Views 10493414
|
edouwens | 2018.11.19 | 0 | 10493414 |
2380 |
QF- Test : automation testing tool that is meant for testing Java and Web GUI application (1)
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 10536164
|
aiitistqb | 2018.10.16 | 0 | 10536164 |
2379 |
Wink : Time-based and action-based capture of user actions
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 10839625
|
aiitistqb | 2018.10.16 | 0 | 10839625 |
2378 |
Crucible : a web-based application primarily targeting enterprise
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 10731219
|
aiitistqb | 2018.10.16 | 0 | 10731219 |
2377 |
Automated Mobile Testing Tools List
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 10616680
|
aiitistqb | 2018.10.16 | 0 | 10616680 |
2376 |
SpecFlow : software tool that computer programmers use for testing other software
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 11081520
|
aiitistqb | 2018.10.16 | 0 | 11081520 |
2375 |
Ranorex : Test Automation Tools for Complete Awesomeness
Testersbest
|
2018.10.16
|
Votes 0
|
Views 11007425
|
Testersbest | 2018.10.16 | 0 | 11007425 |
2374 |
SmartBear : End-to-End Automated Testing for Mobile, Web & Desktop Apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 10676437
|
Testersbest | 2018.10.16 | 0 | 10676437 |
2373 |
Bugdojo : Continuous QA for your web apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 10907107
|
Testersbest | 2018.10.16 | 0 | 10907107 |
2372 |
TEstNg (5)
kg2031
|
2018.02.28
|
Votes 0
|
Views 10559101
|
kg2031 | 2018.02.28 | 0 | 10559101 |
2371 |
Locators (1)
kg2031
|
2018.02.28
|
Votes 0
|
Views 10663993
|
kg2031 | 2018.02.28 | 0 | 10663993 |
2370 |
Crystal Reports
nk1
|
2018.02.23
|
Votes 0
|
Views 10430225
|
nk1 | 2018.02.23 | 0 | 10430225 |
2369 |
Selenium Learning Tutorial (4)
Dwarika
|
2017.08.28
|
Votes 0
|
Views 10726209
|
Dwarika | 2017.08.28 | 0 | 10726209 |
2368 |
[Paid] Module for Binary formats
SoftLogica
|
2017.08.11
|
Votes 0
|
Views 10723169
|
SoftLogica | 2017.08.11 | 0 | 10723169 |
2367 |
Getting Started with Selenium IDE
VijayShinde
|
2017.06.09
|
Votes 0
|
Views 10522368
|
VijayShinde | 2017.06.09 | 0 | 10522368 |
2366 |
UniPi Is A Powerful Board That Can Control Your Smart Home
TLP
|
2017.04.26
|
Votes 0
|
Views 10813282
|
TLP | 2017.04.26 | 0 | 10813282 |
2365 |
what is diff between SVN and GITHUB
vivekjog
|
2017.04.24
|
Votes 0
|
Views 11188846
|
vivekjog | 2017.04.24 | 0 | 11188846 |
2364 |
Macro to remove trailing spaces (1)
Christo
|
2017.03.29
|
Votes 0
|
Views 10519852
|
Christo | 2017.03.29 | 0 | 10519852 |
2363 |
Comparing 2 work sheets (2)
Christo
|
2017.03.29
|
Votes 0
|
Views 10854518
|
Christo | 2017.03.29 | 0 | 10854518 |
2362 |
Tool to generate all combinations of test parameters. (3)
Christo
|
2017.03.29
|
Votes 0
|
Views 10352812
|
Christo | 2017.03.29 | 0 | 10352812 |
2361 |
Best Testing Tools of 2014 (2)
kleyzit
|
2017.02.24
|
Votes 0
|
Views 10477308
|
kleyzit | 2017.02.24 | 0 | 10477308 |
2360 |
JCrawler (1)
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 10716149
|
Sky Driver | 2017.01.26 | 0 | 10716149 |
2359 |
fwptt
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 10532992
|
Sky Driver | 2017.01.26 | 0 | 10532992 |
2358 |
AppLoader: Performance Testing for Any Application
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 10382209
|
Sky Driver | 2017.01.26 | 0 | 10382209 |
2357 |
LoadStorm
loveelok
|
2017.01.20
|
Votes 0
|
Views 10956687
|
loveelok | 2017.01.20 | 0 | 10956687 |
2356 |
SiteBlaster
loveelok
|
2017.01.20
|
Votes 0
|
Views 10286085
|
loveelok | 2017.01.20 | 0 | 10286085 |
2355 |
Xceptance LoadTest (1)
loveelok
|
2017.01.20
|
Votes 0
|
Views 10320145
|
loveelok | 2017.01.20 | 0 | 10320145 |
2354 |
Test Manager (1)
loveelok
|
2017.01.12
|
Votes 0
|
Views 10044432
|
loveelok | 2017.01.12 | 0 | 10044432 |
2353 |
Test Environment Toolkit (1)
master15
|
2017.01.06
|
Votes 0
|
Views 11198994
|
master15 | 2017.01.06 | 0 | 11198994 |
2352 |
Burpsuite Pro 1.5.01 (1)
master15
|
2016.12.15
|
Votes 0
|
Views 10432814
|
master15 | 2016.12.15 | 0 | 10432814 |