Integration of Requirements Engineering and Test-Case Generation via OSLC

2014 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Klaus Hormaier ◽  
Florian Lorber ◽  
Dejan Nickovic ◽  
Rupert Schlick ◽  
...  
Keyword(s):  
Requirements Engineering ◽  
Test Case Generation ◽  
Test Case

scholarly journals Industrial Examples of Formal Specifications for Test Case Generation

10.29007/z9ph ◽  
2018 ◽  
Author(s):  
Hendrik Roehm ◽  
Rainer Gmehlich ◽  
Thomas Heinz ◽  
Jens Oehlerking ◽  
Matthias Woehrle
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Automotive Industry ◽  
Test Case Generation ◽  
Test Case ◽  
Formal Specifications ◽  
Discrete Events ◽  
The Past ◽  
Formal Representations

While requirements engineering has received considerable attention inacademia over the past years, formalization of requirements for physicallyinfluenced systems is still a difficult task in practice. In this paper, we giveformal representations of some typical requirement classes arising in theautomotive industry. We divide these patterns into three main classes:those mostly referring to properties of continuous signals, those mostlyreferring to discrete events and those referring to similarity to a referencesignal. We discuss these patterns on concrete examples from automotiveembedded systems, where specifications are used for test case generation.

An Ontology-Based Approach to Automated Test Case Generation

2021 ◽  
Vol 2 (1) ◽  
Author(s):  
Shreya Banerjee ◽  
Narayan C. Debnath ◽  
Anirban Sarkar
Keyword(s):  
Test Case Generation ◽  
Test Case ◽  
Automated Test Case Generation ◽  
Automated Test
Sign in / Sign up

Export Citation Format

Share Document