Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs

Papailiopoulou, Virginia; Rajan, Ajitha; Parissis, Ioannis

doi:10.1007/978-3-642-24431-5_8

Cited by 4 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hence the coverage is a semantic consequence of the property, that relies on the SUT model faithfulness. More recently, members of the Lutess team have defined some concepts of structural coverage for dataflow Lustre/Scade programs [20], [21]. But note that, in the present article, we do not specifically target systems designed in Lustre/Scade and suppose that the SUT is a black-box.…”

Section: Related Workmentioning

confidence: 93%

Engineering functional requirements of reactive systems using synchronous languages

Jahier

Halbwachs

Raymond

2013

2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)

View full text Add to dashboard Cite

Abstract-Automating the functional testing of reactive systems requires to provide a formal specification of the system environment which defines the admissible test inputs. It also requires a specification of the expected properties of the system in order to decide whether a test succeeds or fails. Engineering these formal specifications is a difficult task, as it is not part of the usual manual testing process. In this paper, we report some experiments that have been conducted within a project in collaboration with industrial developers of nuclear power plant control systems. In this project, automatic testing tools have been used for checking the correctness of reactive systems developed incrementally, using heterogeneous industrial engineering workbenches. But these tools appeared to be useful also for elaborating and refining formal, consistent, and accurate functional requirements.

show abstract

Section: Related Workmentioning

confidence: 93%

Engineering functional requirements of reactive systems using synchronous languages

Jahier

Halbwachs

Raymond

2013

2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)

View full text Add to dashboard Cite

show abstract

Comprehensive analysis of FBD test coverage criteria using mutants

2014

View full text Add to dashboard Cite

An integration test coverage metric for Java programs

Mukherjee

Mall

2019

Int J Syst Assur Eng Manag

View full text Add to dashboard Cite

A large number of test coverage metrics have been proposed in the context of unit and system testing of object-oriented programs. However, structural coverage metrics for integration testing have scarcely been reported. On the other hand, interface bugs are known to be one of the most insidious. In this context, we propose a suite of integration test coverage metrics based on the coverage of data and control dependency edges of the JSysDG (Java System Dependency Graph). We also define a metric that additionally uses the state machine models of the given classes to be integrated. We present our experimental results and a comparison of our metrics with related metrics.

show abstract

Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs

Cited by 4 publications

References 10 publications

Engineering functional requirements of reactive systems using synchronous languages

Engineering functional requirements of reactive systems using synchronous languages

Comprehensive analysis of FBD test coverage criteria using mutants

An integration test coverage metric for Java programs

Contact Info

Product

Resources

About