Test case generation, selection and coverage from natural language

Nogueira, Sidney C.; Araujo, Hugo; Araújo, Renata Bernardo; Iyoda, Juliano; Sampaio, Augusto

doi:10.1016/j.scico.2019.01.003

Cited by 14 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Requirements must be written following a tightly constrained English grammar closely related to LTL with the underlying Duration Calculus semantics. Authors of [14] present a formalisation of requirements into a process algebra supported by the tool FDR, used to generate test cases. This work uses a strongly controlled language as input, and requirements may contain data but not time.…”

Section: Related Workmentioning

confidence: 99%

“…Comparatively to other PA available tools 2 , we support real-time behavior modeling. Likewise, we go a step further by considering real-time aspects compared to related works on formalizing requirement using PA until recently [6,1,14]. The implementation of PA benefits from existing sat-based techniques integrated in DIVER-SITY to support models of timed symbolic automata [3].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS

Arnaud¹

2021

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) contain complex computational components that control physical entities. The design of these components must take into account the realtime and concurrent nature of these systems. Formulating requirements that describe CPS behaviors precisely, ruling out misunderstandings, is a crucial yet difficult endeavor. To increase trust in the requirements, formal methods can be used to check relevant properties of the requirements. We investigate a process algebra to capture real-time behaviors and concurrency in CPS requirements in order to automate their analysis. We use a structured natural language to first express CPS requirements: this takes into account current practice, indeed requirements should be easily writable as well as graspable by stakeholders with various points of view and ease communication among them. At the same time, requirements analysis using simulation or formal validation is possible by taking advantage of the requirements structure. We discuss translation from the structured requirements into the process algebra to automate the overall process. Our approach is implemented and is illustrated by an example issued from CPS4EU project 1 .

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS

Arnaud¹

2021

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

show abstract

“…Addi tionally, the integration of the tool with other systems that supports the testing process is not presented. Nogueira et al (2019) propose an approach for the auto matic generation of tests from use cases. For this purpose, the authors propose the use of a controlled natural language.…”

Section: Related Workmentioning

confidence: 99%

Extraction of test cases procedures from textual use cases: is it worth it?

Santos

Costa

Amorim

et al. 2020

JSERD

View full text Add to dashboard Cite

Software testing plays a major role in the quality of software since it assures that the software complies with its expected behavior. However, this is an expensive activity and, thus, companies usually do not perform testing activities on software projects due to the time required. These costs may be even higher in testing processes that rely only on manual test execution, which is both time-consuming and error-prone. One strategy commonly used to mitigate these costs is to use tools to automate testing activities such as test execution, test documentation, and test case generation. This paper presents an experience report in the context of a Test Factory about the use of a tool that partially automates the specification of test procedures from textual use cases. This tool automatically retrieves use cases from the requirement management system, generates the test case procedures, requires inputs from the tester, and then sends the test cases to the test management system. This paper details how this tool was used in real releases of an industrial software project. We also evaluated our tool with four test analysts from a different project to gather more data regarding its efficiency to support the test case documentation.

show abstract