Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
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 -