An approach to automatic test generation for verification of microprocessor cores

Gagarina, Larisa G.; Garashchenko, Anton V.; Shiryaev, Alexey P.; Fedorov, A. R.; Dorogova, Ekaterina

doi:10.1109/eiconrus.2018.8317379

Cited by 5 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Numerous methodologies, such as those in Maurer et al [11], Leonhardt et al [12], and Larisa et al [13], leverage implicit relationships to facilitate test generation, execution, and evaluation, while others, like in Labiche et al [14], utilize implicit relationships for regression testing. Additional methods use explicit relationships to aid in test generation as in Bertolino et al [15], test execution and evaluation as in Nachmanson et al [16], or coverage analysis.…”

Section: Related Workmentioning

confidence: 99%

Transforming Software Requirements into Test Cases via Model Transformation

Kesserwan¹,

Al-Jaroodi²,

Mohamed³

et al. 2023

IJSEA

View full text Add to dashboard Cite

Executable test cases originate at the onset of testing as abstract requirements that represent system behavior. Their manual development is time-consuming, susceptible to errors, and expensive. Translating system requirements into behavioral models and then transforming them into a scripting language has the potential to automate their conversion into executable tests. Ideally, an effective testing process should start as early as possible, refine the use cases with ample details, and facilitate the creation of test cases.We propose a methodology that enables automation in converting functional requirements into executable test cases via model transformation. The proposed testing process starts with capturing system behavior in the form of visual use cases, using a domain-specific language, defining transformation rules, and ultimately transforming the use cases into executable tests.

show abstract

Section: Related Workmentioning

confidence: 99%

Transforming Software Requirements into Test Cases via Model Transformation

Kesserwan¹,

Al-Jaroodi²,

Mohamed³

et al. 2023

IJSEA

View full text Add to dashboard Cite

show abstract

“…Some approaches as in [22], [23] and [24] use implicit relationships to support test generation, execution and evaluation; while others like in [25] use implicit relationships to support regression testing. Further approaches use explicit relationships to support test generation [26], test execution and evaluation [27], or coverage analysis.…”

Section: Related Workmentioning

confidence: 99%

Model-driven Framework for Requirement Traceability

Kesserwan¹,

Al-Jaroodi²

2021

IJACSA

View full text Add to dashboard Cite

In software development, requirements traceability is often mandated. It is important to apply to support various software development activities like result evaluation, regression testing and coverage analysis. Model-Driven Testing is one approach to provide a way to verify and validate requirements. However, it has many challenges in test generation in addition to the creation and maintenance of traceability information across test-related artifacts. This paper presents a model-based methodology for requirements traceability that relies on leveraging model transformation traceability techniques to achieve compliance with DO-178C standard as defined in the software verification process. This paper also demonstrates and evaluates the proposed methodology using avionics case studies focusing on the functional aspects of the requirements specified with the UCM (Use Case Maps) modeling language.

show abstract

“…In this paper, we focus on debugging the multicore systems which is popular nowadays and propose an automatic debugging tool that leverages the synchronization points to help locating the error-triggered instructions. The current works about multicore systems concentrate on accelerating verification by improving the technique of random test generation [2], [4], [5], [7] and verifying cache coherency [2], [3], [4]. Also, some works are related to the verification of timings [6] and speed debugging the DUT [8].…”

Section: Introductionmentioning

confidence: 99%

An Automatic Debugging Tool of Instruction-Driven Multicore Systems with Synchronization Points

Luo¹,

Yu²

2019

Preprint

View full text Add to dashboard Cite

Tracing back the instruction execution sequence to debug a multicore system can be very timeconsuming because the relationships of the instructions can be very complex. For instructions that cannot be checked by the environment immediately after their executions, the errors they triggered can propagate through the instruction execution sequence. Our task is to find the error-triggered instructions automatically. This paper presents an automatic debugging tool that can leverage the synchronization points in the instruction execution sequences of the multicore system being verified to locate the instruction which results in simulation error automatically. To evaluate the performance of the debugging tool, we analyze the complexity of the algorithms and count the number of instructions executed to locate the aimed instruction.

show abstract

An approach to automatic test generation for verification of microprocessor cores

Cited by 5 publications

References 0 publications

Transforming Software Requirements into Test Cases via Model Transformation

Transforming Software Requirements into Test Cases via Model Transformation

Model-driven Framework for Requirement Traceability

An Automatic Debugging Tool of Instruction-Driven Multicore Systems with Synchronization Points

Contact Info

Product

Resources

About