Testing Tools

Loading

[Free] Astrée : a static program analyzer

Embed/Mobile Testing
Author
V-star
Date
2013-01-27 05:31
Views
11155440

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 screenshot

Astrée screenshot


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 trans­por­tation,
nuclear energy, medical instrumentation, aeronautics and space flight,
in particular syn­chro­nous 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 program­ming 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 guide­lines, 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 (simi­lar to assert diagnostics).

Astrée can be customized and integrated into established tool-chains.

Total 0

Total 2,401
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