You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 337 of 401 in the submission

Output title

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

Type

E - Conference contribution

DOI

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

Name of conference/published proceedings

Formal Methods for Industrial Critical Systems

Volume number

6959

Issue number

First page of article

ISSN of proceedings

0302-9743

Year of publication

2011

URL

http://dx.doi.org/10.1007/978-3-642-24431-5_8

Number of additional authors

Additional information

<09> Originality: The paper defines test coverage for integration testing of entire LUSTRE/SCADE programs. This is an enhancement over previously defined structural coverage criteria capable of only measuring test adequacy over single modules rather than the whole system.

Significance: LUSTRE/SCADE is widely used for modelling safety critical systems. The defined coverage criteria allows test adequacy measurement for industrial-sized LUSTRE/SCADE systems without scalability issues which was previously not possible.

Rigour: Formally defined the extended coverage criteria and evaluated over a case study.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract