Abstract: SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION ABSTRACT Automated requirements-based test case generation method includes constructing in a model-based development tool a software architecture model automatically derived from architectural information of a software design model, allocating requirement models into blocks/operators of the software architecture model, and generating component level requirements-based test cases from the software architecture. The component level requirements-based test case generation method includes receiving a software architecture along with allocated requirement models represented in hierarchical data flow diagram, selecting one of the software components, building an intermediate test model based on the selected component by automatically attaching at least one of test objectives or constraints to the corresponding software architecture model blocks/operators based on the selected test strategy, and generating human and machine readable test cases with the test generator for further automatic conversion to test executable and test review artifacts. A system and a non-transitory computer-readable medium for implementing the method are also disclosed. FIG. 2
Claims:As Attached , Description:As Attached
| # | Name | Date |
|---|---|---|
| 1 | 201644039366-FER.pdf | 2021-10-17 |
| 1 | Form5_As Filed_18-11-2016.pdf | 2016-11-18 |
| 2 | Correspondence by Agent_General Power Of Attorney_11-03-2019.pdf | 2019-03-11 |
| 2 | Form3_As Filed_18-11-2016.pdf | 2016-11-18 |
| 3 | Form26_General Power Of Attorney_18-11-2016.pdf | 2016-11-18 |
| 3 | 201644039366-FORM-26 [06-03-2019(online)].pdf | 2019-03-06 |
| 4 | Form2 Title Page_Complete_18-11-2016.pdf | 2016-11-18 |
| 4 | 201644039366-FORM 13 [27-02-2019(online)].pdf | 2019-02-27 |
| 5 | Form18_Normal Request_18-11-2016.pdf | 2016-11-18 |
| 5 | 201644039366-RELEVANT DOCUMENTS [27-02-2019(online)].pdf | 2019-02-27 |
| 6 | Drawing_As Filed_18-11-2016.pdf | 2016-11-18 |
| 6 | Correspondence_Certified copy US Priority_21-02-2017.pdf | 2017-02-21 |
| 7 | Priority document_After Filed_21-02-2017.pdf | 2017-02-21 |
| 7 | Description Complete_As Filed_18-11-2016.pdf | 2016-11-18 |
| 8 | Other Patent Document [17-02-2017(online)].pdf | 2017-02-17 |
| 8 | Claims_As Filed_18-11-2016.pdf | 2016-11-18 |
| 9 | abstract 201644039366.jpg | 2016-12-20 |
| 9 | Assignment_Proof Of Right_18-11-2016.pdf | 2016-11-18 |
| 10 | Abstract_As Filed_18-11-2016.pdf | 2016-11-18 |
| 10 | Correspondence By Agent_Notarized Assignment_24-11-2016.pdf | 2016-11-24 |
| 11 | Correspondence By Agent_Power Of Attorney_24-11-2016.pdf | 2016-11-24 |
| 12 | Abstract_As Filed_18-11-2016.pdf | 2016-11-18 |
| 12 | Correspondence By Agent_Notarized Assignment_24-11-2016.pdf | 2016-11-24 |
| 13 | abstract 201644039366.jpg | 2016-12-20 |
| 13 | Assignment_Proof Of Right_18-11-2016.pdf | 2016-11-18 |
| 14 | Claims_As Filed_18-11-2016.pdf | 2016-11-18 |
| 14 | Other Patent Document [17-02-2017(online)].pdf | 2017-02-17 |
| 15 | Description Complete_As Filed_18-11-2016.pdf | 2016-11-18 |
| 15 | Priority document_After Filed_21-02-2017.pdf | 2017-02-21 |
| 16 | Correspondence_Certified copy US Priority_21-02-2017.pdf | 2017-02-21 |
| 16 | Drawing_As Filed_18-11-2016.pdf | 2016-11-18 |
| 17 | 201644039366-RELEVANT DOCUMENTS [27-02-2019(online)].pdf | 2019-02-27 |
| 17 | Form18_Normal Request_18-11-2016.pdf | 2016-11-18 |
| 18 | 201644039366-FORM 13 [27-02-2019(online)].pdf | 2019-02-27 |
| 18 | Form2 Title Page_Complete_18-11-2016.pdf | 2016-11-18 |
| 19 | Form26_General Power Of Attorney_18-11-2016.pdf | 2016-11-18 |
| 19 | 201644039366-FORM-26 [06-03-2019(online)].pdf | 2019-03-06 |
| 20 | Form3_As Filed_18-11-2016.pdf | 2016-11-18 |
| 20 | Correspondence by Agent_General Power Of Attorney_11-03-2019.pdf | 2019-03-11 |
| 21 | Form5_As Filed_18-11-2016.pdf | 2016-11-18 |
| 21 | 201644039366-FER.pdf | 2021-10-17 |
| 1 | 201644039366E_12-11-2020.pdf |