Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.981.599 Times

Verifying Code When Software Reliability is Critical 1.0

  Date Added: May 11, 2013  |  Visits: 222

Verifying Code When Software Reliability is Critical

Report Broken Link
Printer Friendly Version


Product Homepage
Download (18 downloads)

For many embedded software projects, the primary verification goal is to find as many bugs as possible, as quickly as possible. The static analysis tools commonly used for this purpose are good at detecting flaws, but they do not prove that no errors remain in the source code. As a result, these tools do not prevent endless debugging loops and lengthy code-checking procedures. More seriously, they may leave potentially catastrophic defects undetectedd-deOCLunacceptable for applications that require high reliability. PolySpace code verification products provide a different approachd-deOCLone that proves the absence of errors.To prove the absence of errors, a code verification tool must exhaustively investigate every piece of code and verify its reliability against all possible data values. It must often perform tasks of a mathematical sophistication that exceeds the capabilities of a standard error-detection tool.By Paul Barnard, Marc Lalo, and Jim Tung, The MathWorksThis article was published in The MathWorks News & Notes, 2008, which you can read at For many embedded software projects, the primary verification goal is to find as many bugs as possible, as quickly as possible. The static analysis tools commonly used for this purpose are good at detecting flaws, but they do not prove that no errors remain in the source code. As a result, these tools do not prevent endless debugging loops and lengthy code-checking procedures. More seriously, they may leave potentially catastrophic defects undetectedd-deOCLunacceptable for applications that require high reliability. PolySpace code verification products provide a different approachd-deOCLone that proves the absence of errors. To prove the absence of errors, a code verification tool must exhaustively investigate every piece of code and verify its reliability against all possible data values. It must often perform tasks of a mathematical sophistication that exceeds the capabilities of a standard error-detection tool. By Paul Barnard, Marc Lalo, and Jim Tung, The MathWorks This article was published in The MathWorks News & Notes, 2008, which you can read at http://www.mathworks.com/company/newsletters/?s_cid=nws_flexhttp://www.mathworks.com/company/newsletters/?s_cid=nws_flex

Requirements: No special requirements
Platforms: Matlab
Keyword: Absence Approach Errorsto Exhaustively Investigate Mathematical Mathworks Notes Perform Piece Products Proves Provide Tasks Values Verify
Users rating: 0/10

License: Freeware Size: 409.6 KB
VERIFYING CODE WHEN SOFTWARE RELIABILITY IS CRITICAL RELATED
Education  -  MCSA Windows Server 2012 Exam Ref 70-410 FREE 1.0.0.0
Overview: Most app takes a very low-level approach, teaching you how to use basic concepts to accomplish fine-grained tasks. Like the Microsoft 70-410 certification exam, this app takes a high-level approach, building on your existing knowledge...
2 MB  
Communication  -  MATLAB and Simulink in the World: Verification and Validation 1.0
Verifying and validating embedded systems comprising software and electronics is a daunting challenge, given the increasing complexity of these systems and the need to meet tight schedules. Aerospace, automotive, communications, mechatronics, and...
225.28 KB  
Book Collection Managers  -  Task List Guru 3.064
Task List Guru is a free task list organizer ideal for personal task management and small project management. You can organize not just tasks, but also task lists, notes and reminders. The free task manager has a hierarchical task list tree with...
16.18 MB  
Finance  -  Modelo Matematico de Micro Economia 1.6
Is a graphical interface that represents mathematical equations based on an economy theory. Economic variables are shown as equations in order to represent what the theory means. Using complex mathematical processes such as Gauss polynomial...
1.2 MB  
Communication  -  Arithmetic coding and decoding for Text Compression 1.0
Some of your code won't work: you invoke function 'countmodel', but don't provide it. ('countmodel.m' contains function 'probmodel'). More unpleasant is absence of any 'help' in your files; it's lazy and disrespectful.
10 KB  
Web Site Promotion  -  Link Verify 1.8.6
Webmasters verify your affiliate and reciprocal links with your trading partners. Automatically check for your link on other sites with Link Verify. Both simple URL check and advanced, preferred, HTML code. Maintains contact information. Retains...
2.49 MB  
Libraries  -  Thread::Apartment 0.51
Thread::Apartment is an apartment threading wrapper for Perl objects. SYNOPSIS package MyClass; use Thread::Apartment::Server; use base qw(Thread::Apartment::Server); sub new { # # the usual constructor # } # # mark some methods as...
73.73 KB  
Audio Tools  -  Traverso 0.41.0
Traverso project is a free, cross platform multitrack audio recording and editing suite, with an innovative and easy to master User Interface. Its suited for both the professional and home user, who needs a robust and solid DAW. A complete suite...
686.08 KB  
Development Editors  -  OverSite for Mac OS 4.0
Mock up and prototype your website. You can quickly define your sites overall structure, and OverSite will automatically generate a graphical site map. Creating wireframes of your individual pages - ¬Ěcomplete with hyperlink navigation between...
11 MB  
Programming  -  MBlock 0.2
1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.
16.92 KB  
NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS
Scripts  -  Free Ecommerce website creator 1.2
Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...
1.44 KB  
Scripts  -  MochiGames PHP Script ZDR 1.00
MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...
368.54 KB  
Scripts  -  Php Chat 2.0
Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....
938.87 KB  
Scripts  -  Nibbleblog 3.0.1
Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....
371.09 KB  
Scripts  -  PHP File Manager | CloudOsys 2.9b8
CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...
1.41 MB  
Development Tools  -  VMP Viewer 1.0
This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.
10 KB  
Development Tools  -  7-Zip for Script 4.42
7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...
624.64 KB  
Development Tools  -  PHP Docbook Displayer for Scripts 1.0b
PHP Docbook Displayer provides XSL and CSS stylesheets, and PHP scripts, to generate easily and dynamically websites from Docbook files.It aims at simplifying to the max the web publication process : simply drop the docbook file under the site root !
102.4 KB  
Development Tools  -  WP Translate 1.0
This simple language translation plugin allows your users to quickly translate your webpages, through a widget on your blog.You have the option to select the title of the Widget, which will be displayed above the language translation form. Users...
10 KB  
Development Tools  -  save2word 1.0
A simple function to copy figure from MATLAB into MS Word automatically. It is a modification of saveppt (a function in File exchange) that save figures to MS Powerpoint.
10 KB