Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming.threads > #4120

And now about Software Reliability

Show all headers | View raw

Hello..


As you know i am working with Delphi and FreePascal and C++..

And now about Software Reliability:

Extended static checking (ESC) can identify a range of errors which are 
currently outside the scope of a type checker, including division by 
zero, array out of bounds, integer overflow and null dereferences,
this can be done with Delphi and FreePascal compilers.

Furthermore, extended static checking aims to report errors by 
exploiting user-supplied specifications, in the form of pre- and 
post-conditions, loop invariants and class invariants, this can
be done by assertions in Delphi and FreePascal.

Read more here:

http://whiley.org/2010/06/26/what-is-extended-static-checking/


Also read this about Software reliability:

"Both Rust and Spark languages implement a number of static and dynamic 
checks directly in the language definition. For example, they implement 
strict-type safety; that is, objects can’t be implicitly converted from 
one type to the next. The following doesn’t compile in SPARK"


Read more here:

http://www.electronicdesign.com/industrial/rust-and-spark-software-reliability-everyone


Here is how you can have strict-type safety in Delphi and FreePascal,
here is a Delphi program that shows an example using variants:

--

program test;

uses VARIANTS,SYSUTILS;

var f:double;
     a:integer;



FUNCTION ASSIGN(a,B:VARIANT):VARIANT;

begin

IF VARTYPE(A)=VARTYPE(B) THEN
BEGIN
A:=B;
RESULT:=A;
END
ELSE RAISE EXCEPTION.CREATE('ASSIGNEMENT NOT OK');


end;

begin

a:=2;

f:=a;

A:=ASSIGN(F,A);


end.
--


Here is the Vartype function:

http://docs.embarcadero.com/products/rad_studio/delphiAndcpp2009/HelpUpdate2/EN/html/delphivclwin32/Variants_VarType.html


You can use the same idea above for functions and methods etc.
so Delphi and FreeP



Also i have also invented a fully scalable reference counting with 
efficient support for weak references, here it is:

https://sites.google.com/site/aminer68/scalable-reference-counting-with-efficient-support-for-weak-references


Thank you,
Amine Moulay Ramdane.

Back to comp.programming.threads | Previous | Next | Find similar | Unroll thread

Thread

And now about Software Reliability computer45 <computer45@cyber.com> - 2018-03-26 20:28 -0400

csiph-web