Re: [sqlite] How to get access to SQLite Test Harness #3(TH3)

[Richard Hipp]

On Thu, Jun 26, 2014 at 1:55 AM, Kishore Reddy  wrote:

>
> *Richard Hipp,*
> I am planning to use SQLite library in *Avionics Level B software*.
>

SQLite is developed using a DO-178B compatible process.  The 100% MC/DC
testing is just one aspect of that.  Contact our office for details.

-- 
D. Richard Hipp
d...@sqlite.org
___
sqlite-users mailing list
sqlite-users@sqlite.org
http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users

Re: [sqlite] How to get access to SQLite Test Harness #3(TH3)

[Kishore Reddy]

Hi  *Roger Binns*,
Thanks for the reply.Actually i wasnt checking mail-list for answer i
thought i will be getting mail to my gmail that is the reason i posted on
developers forum too.

*Richard Hipp*,
i dont see any reply from you in the mail-list.


*Roger Binns/*

*Richard Hipp,*
I am planning to use SQLite library in *Avionics Level B software*.For that
i need to prove that this software complies to *DO-178B standards*.For that
i need to prove that it follows some 64 objectives set by DO-178B .

Ex)Listed below are some of the 64 objectives

*Planning Documents:*
1)Plan for software aspects of certification
2)Software development plan
3)software verification plan
4)software configuration management plan
5)software quality assurance plan
6)software requirements standards
7)software design standards
8)software coding standards

*Verification Documents:*

1)Software verification cases & Procedures
2)software verification results
3)software configuration management records
4)software configuration index
5)bug reports
6)software quality assurance records
7)software conformity review
8)software accomplishment summary

So i want to know where to get all these documents or information for
*SQLite*





On Tue, Jun 24, 2014 at 11:39 AM, Kishore Reddy  wrote:

> Hi,
> a)I want to use sqlite library in my project software.In the website it is
> listed as TH3 achieves 100% branch test coverage.I want all the test
> results of the SQLite software which shows that the software has *100%
> statement+branch coverage*.Can any one tell me how to get these test
> results ?? or how to get this TH3 framework and run those test cases to get
> results?
> b)Do we have requirements for this SQLite software which provides
> *traceability* to the test cases provided by TH3 framework?
>
>
>
>
___
sqlite-users mailing list
sqlite-users@sqlite.org
http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users

Re: [sqlite] How to get access to SQLite Test Harness #3(TH3)

[Roger Binns]

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

On 23/06/14 23:09, Kishore Reddy wrote:
> a)I want to use sqlite library in my project software.In the website it
> is listed as TH3 achieves 100% branch test coverage.

The SQLite software as released has already been tested with TH3 and
passed.  You do not need the TH3 test suite just to use SQLite.  Really:

 https://sqlite.org/testing.html

> b)Do we have requirements for this SQLite software which provides 
> *traceability* to the test cases provided by TH3 framework?

You can purchase a license for TH3.  See the last section of
https://sqlite.org/th3.html

Roger

-BEGIN PGP SIGNATURE-
Version: GnuPG v1

iEYEARECAAYFAlOpHNMACgkQmOOfHg372QQEZACeIlRc/4JICpbQNbajdWfTlffr
0WUAoMRjzQcDTpz9PHGWk5oxrpRauwX/
=paUV
-END PGP SIGNATURE-
___
sqlite-users mailing list
sqlite-users@sqlite.org
http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users

[sqlite] How to get access to SQLite Test Harness #3(TH3)

[Kishore Reddy]

Hi,
a)I want to use sqlite library in my project software.In the website it is
listed as TH3 achieves 100% branch test coverage.I want all the test
results of the SQLite software which shows that the software has *100%
statement+branch coverage*.Can any one tell me how to get these test
results ?? or how to get this TH3 framework and run those test cases to get
results?
b)Do we have requirements for this SQLite software which provides
*traceability* to the test cases provided by TH3 framework?
___
sqlite-users mailing list
sqlite-users@sqlite.org
http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users