Home > Research > Publications & Outputs > An approach to specify and test component-based...

Links

Text available via DOI:

View graph of relations

An approach to specify and test component-based dependable software

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published

Standard

An approach to specify and test component-based dependable software. / Jhumka, A.; Hiller, M.; Suri, Neeraj.

7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.. IEEE, 2002. p. 211-220.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Harvard

Jhumka, A, Hiller, M & Suri, N 2002, An approach to specify and test component-based dependable software. in 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.. IEEE, pp. 211-220. https://doi.org/10.1109/HASE.2002.1173125

APA

Jhumka, A., Hiller, M., & Suri, N. (2002). An approach to specify and test component-based dependable software. In 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. (pp. 211-220). IEEE. https://doi.org/10.1109/HASE.2002.1173125

Vancouver

Jhumka A, Hiller M, Suri N. An approach to specify and test component-based dependable software. In 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.. IEEE. 2002. p. 211-220 https://doi.org/10.1109/HASE.2002.1173125

Author

Jhumka, A. ; Hiller, M. ; Suri, Neeraj. / An approach to specify and test component-based dependable software. 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.. IEEE, 2002. pp. 211-220

Bibtex

@inproceedings{da6ad4cd2d64473595925592d033c35b,
title = "An approach to specify and test component-based dependable software",
abstract = "Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with dependability as a driver, the components need to be adapted to deal with errors coming from their environment. To achieve this, error containment wrappers are often added to increase the robustness of such components. Adopting a gray-box perspective of software, we first present a modular approach for specifying and verifying embedded software made from components, based on concepts from category theory. This modular approach allows the system designer to check for semantic compatibility. To generate the error containment wrappers needed for adaptation, we subsequently present an algorithm that systematically generates the required wrappers. Using the information obtained through wrapper design, we develop an approach to identify relevant test cases to test individual components. We further exploit the modularity of the specification to identify the relevant test cases to perform testing at different levels of SW abstraction. {\textcopyright} 2002 IEEE.",
keywords = "Computer errors, Costs, Embedded software, Error correction, Performance evaluation, Programming, Protection, Robustness, Software testing, System testing, Computer programming, Computer systems programming, Errors, Mathematical programming, Robustness (control systems), Semantics, Software design, Systems engineering, Dependable softwares, Individual components, Semantic compatibility, System designers",
author = "A. Jhumka and M. Hiller and Neeraj Suri",
year = "2002",
month = oct,
day = "23",
doi = "10.1109/HASE.2002.1173125",
language = "English",
isbn = "0769517692",
pages = "211--220",
booktitle = "7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - An approach to specify and test component-based dependable software

AU - Jhumka, A.

AU - Hiller, M.

AU - Suri, Neeraj

PY - 2002/10/23

Y1 - 2002/10/23

N2 - Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with dependability as a driver, the components need to be adapted to deal with errors coming from their environment. To achieve this, error containment wrappers are often added to increase the robustness of such components. Adopting a gray-box perspective of software, we first present a modular approach for specifying and verifying embedded software made from components, based on concepts from category theory. This modular approach allows the system designer to check for semantic compatibility. To generate the error containment wrappers needed for adaptation, we subsequently present an algorithm that systematically generates the required wrappers. Using the information obtained through wrapper design, we develop an approach to identify relevant test cases to test individual components. We further exploit the modularity of the specification to identify the relevant test cases to perform testing at different levels of SW abstraction. © 2002 IEEE.

AB - Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with dependability as a driver, the components need to be adapted to deal with errors coming from their environment. To achieve this, error containment wrappers are often added to increase the robustness of such components. Adopting a gray-box perspective of software, we first present a modular approach for specifying and verifying embedded software made from components, based on concepts from category theory. This modular approach allows the system designer to check for semantic compatibility. To generate the error containment wrappers needed for adaptation, we subsequently present an algorithm that systematically generates the required wrappers. Using the information obtained through wrapper design, we develop an approach to identify relevant test cases to test individual components. We further exploit the modularity of the specification to identify the relevant test cases to perform testing at different levels of SW abstraction. © 2002 IEEE.

KW - Computer errors

KW - Costs

KW - Embedded software

KW - Error correction

KW - Performance evaluation

KW - Programming

KW - Protection

KW - Robustness

KW - Software testing

KW - System testing

KW - Computer programming

KW - Computer systems programming

KW - Errors

KW - Mathematical programming

KW - Robustness (control systems)

KW - Semantics

KW - Software design

KW - Systems engineering

KW - Dependable softwares

KW - Individual components

KW - Semantic compatibility

KW - System designers

U2 - 10.1109/HASE.2002.1173125

DO - 10.1109/HASE.2002.1173125

M3 - Conference contribution/Paper

SN - 0769517692

SP - 211

EP - 220

BT - 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.

PB - IEEE

ER -