FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3203330106> ?p ?o ?g. }

• W3203330106 abstract "Requirements-based testing is one of the most commonly used ways to ensure the correctness of software, especially for embedded control software in safety-critical domains such as spacecraft and railway systems. Many industrial standards such as the DO-333 and EN50128 also request rigorous requirements-based software testing. To test embedded control software effectively and efficiently, generating high-quality test cases automatically is extremely important. However, existing methods for generating test cases from requirements require intensive manual efforts and expertise. To address this problem, we proposed an automatic requirements-based software testing method for embedded control software. To obtain automatic test case generation and precise test oracles derivation, requirements specification should be precise and readable for the industrial practitioners. Therefore, we use the light-weight domain-specific formal description language, CASDL (Casco Accurate Specification Description Language) for the industrial practitioners to define software requirements into formal specifications at the first step. Based on the formal specification, we propose an algorithm to automatically generate test inputs that satisfy the MC/DC criteria suggested by typical industrial standards and precise test oracles can be derived by “running” the specification with such test inputs. To this end, we proposed an algorithm for simulating the formal specification to generate the test oracles, i.e., the expected outputs corresponding to the test inputs. To facilitate the application of this method in the industry, we have built a tool that can automatically perform the overall testing process. To validate and evaluate its effectiveness in real industrial projects, we have applied it in testing a real Automatic Train Protection (ATP) system provided by our industrial partner, the Casco Signal Co., Ltd (one of the largest railway control system companies in China). In the case study on ATP requirements, our approach generated test cases for 129 requirement items following MC/DC criteria and caught 40 inconsistencies between Casco’s requirements and implementation." @default.
• W3203330106 created "2021-10-11" @default.
• W3203330106 creator A5006218773 @default.
• W3203330106 creator A5049706439 @default.
• W3203330106 creator A5054490662 @default.
• W3203330106 creator A5054633466 @default.
• W3203330106 date "2021-08-01" @default.
• W3203330106 modified "2023-09-23" @default.
• W3203330106 title "Generating Test Cases from Requirements: A Case Study in Railway Control System Domain" @default.
• W3203330106 cites W1480909796 @default.
• W3203330106 cites W1486172410 @default.
• W3203330106 cites W1538643901 @default.
• W3203330106 cites W1965194038 @default.
• W3203330106 cites W2014925847 @default.
• W3203330106 cites W2028025798 @default.
• W3203330106 cites W2029254184 @default.
• W3203330106 cites W2085632445 @default.
• W3203330106 cites W2099529102 @default.
• W3203330106 cites W2101512909 @default.
• W3203330106 cites W2114298495 @default.
• W3203330106 cites W2120006848 @default.
• W3203330106 cites W2121650870 @default.
• W3203330106 cites W2141858782 @default.
• W3203330106 cites W2144619143 @default.
• W3203330106 cites W2170732969 @default.
• W3203330106 cites W2174442795 @default.
• W3203330106 cites W2237372923 @default.
• W3203330106 cites W2291134631 @default.
• W3203330106 cites W2530043382 @default.
• W3203330106 cites W2682664750 @default.
• W3203330106 cites W2759793993 @default.
• W3203330106 cites W2794845999 @default.
• W3203330106 cites W2886025624 @default.
• W3203330106 cites W2888272748 @default.
• W3203330106 cites W2890260889 @default.
• W3203330106 cites W2916905798 @default.
• W3203330106 cites W2963794306 @default.
• W3203330106 cites W2971034829 @default.
• W3203330106 cites W2999919278 @default.
• W3203330106 cites W3008797115 @default.
• W3203330106 cites W3010856131 @default.
• W3203330106 cites W3022195708 @default.
• W3203330106 cites W3099031840 @default.
• W3203330106 cites W3986271 @default.
• W3203330106 doi "https://doi.org/10.1109/tase52547.2021.00029" @default.
• W3203330106 hasPublicationYear "2021" @default.
• W3203330106 type Work @default.
• W3203330106 sameAs 3203330106 @default.
• W3203330106 citedByCount "0" @default.
• W3203330106 crossrefType "proceedings-article" @default.
• W3203330106 hasAuthorship W3203330106A5006218773 @default.
• W3203330106 hasAuthorship W3203330106A5049706439 @default.
• W3203330106 hasAuthorship W3203330106A5054490662 @default.
• W3203330106 hasAuthorship W3203330106A5054633466 @default.
• W3203330106 hasConcept C102780508 @default.
• W3203330106 hasConcept C108913964 @default.
• W3203330106 hasConcept C115903868 @default.
• W3203330106 hasConcept C116253237 @default.
• W3203330106 hasConcept C119857082 @default.
• W3203330106 hasConcept C127413603 @default.
• W3203330106 hasConcept C128942645 @default.
• W3203330106 hasConcept C149091818 @default.
• W3203330106 hasConcept C152877465 @default.
• W3203330106 hasConcept C162443782 @default.
• W3203330106 hasConcept C182122060 @default.
• W3203330106 hasConcept C186846655 @default.
• W3203330106 hasConcept C199360897 @default.
• W3203330106 hasConcept C200601418 @default.
• W3203330106 hasConcept C2777904410 @default.
• W3203330106 hasConcept C41008148 @default.
• W3203330106 hasConcept C53942775 @default.
• W3203330106 hasConcept C55439883 @default.
• W3203330106 hasConcept C7435765 @default.
• W3203330106 hasConcept C75606506 @default.
• W3203330106 hasConceptScore W3203330106C102780508 @default.
• W3203330106 hasConceptScore W3203330106C108913964 @default.
• W3203330106 hasConceptScore W3203330106C115903868 @default.
• W3203330106 hasConceptScore W3203330106C116253237 @default.
• W3203330106 hasConceptScore W3203330106C119857082 @default.
• W3203330106 hasConceptScore W3203330106C127413603 @default.
• W3203330106 hasConceptScore W3203330106C128942645 @default.
• W3203330106 hasConceptScore W3203330106C149091818 @default.
• W3203330106 hasConceptScore W3203330106C152877465 @default.
• W3203330106 hasConceptScore W3203330106C162443782 @default.
• W3203330106 hasConceptScore W3203330106C182122060 @default.
• W3203330106 hasConceptScore W3203330106C186846655 @default.
• W3203330106 hasConceptScore W3203330106C199360897 @default.
• W3203330106 hasConceptScore W3203330106C200601418 @default.
• W3203330106 hasConceptScore W3203330106C2777904410 @default.
• W3203330106 hasConceptScore W3203330106C41008148 @default.
• W3203330106 hasConceptScore W3203330106C53942775 @default.
• W3203330106 hasConceptScore W3203330106C55439883 @default.
• W3203330106 hasConceptScore W3203330106C7435765 @default.
• W3203330106 hasConceptScore W3203330106C75606506 @default.
• W3203330106 hasLocation W32033301061 @default.
• W3203330106 hasOpenAccess W3203330106 @default.
• W3203330106 hasPrimaryLocation W32033301061 @default.
• W3203330106 hasRelatedWork W1969158622 @default.
• W3203330106 hasRelatedWork W2071612166 @default.
• W3203330106 hasRelatedWork W2109313763 @default.

• next