From diagnosis to diagnosability: axiomatization, measurement and application

详细信息    查看全文

• 作者：Le Traon ; Yves ; Ouabdesselam ; Farid ; Robach ; Chantal ; Baudry ; Benoit
• 刊名：Journal of Systems and Software
• 出版年：2003
• 出版时间：January 15, 2003
• 年：2003
• 卷：65
• 期：1
• 页码：31-50
• 全文大小：448 K

文摘

Classical views on testing and their associated testing models are not dealing with the question of fault repairing but only focus on fault detection. Diagnosis consists of determining the nature of a detected fault, of locating it and hopefully repairing it. Correlatively, the only standardized quality factors implied in the detection/repair aspects of software engineering are testability and maintainability: those quality factors are misleading since they do not pinpoint this question of the location/repairing effort, that can be identified under the concept of diagnosability. This paper is thus concerned with diagnosability, its definition and the axiomatization of its expected behavior. The paper aims at:

• introducing and analysing diagnosability as a significant and complementary dimension of software testability,