Rough-hierarchical testing for safety critical software
1998
Software testing, as an important phase in the life cycle of software development, is getting more and more recognition in recent years. While some work has been done in white-box verification, much less work has been none in black-box validation. This paper provides a novel approach to test safety critical software as a black-box. The purpose is to find if the end product meets the requirement and has the expectant attributes. The method is elaborated at the beginning, then an illustration is introduced to demonstrate its feasibility.
Keywords:
- Software verification
- Software reliability testing
- System integration testing
- Software construction
- Software peer review
- Package development process
- Reliability engineering
- Software verification and validation
- Software quality analyst
- Systems engineering
- Computer science
- Software quality control
- Software sizing
- Software engineering
- Software quality management
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
5
References
3
Citations
NaN
KQI