DocumentCode :
2371575
Title :
Quality assessment of knowledge-based software: some certification considerations
Author :
Vermesau, A.I.
Author_Institution :
Det Norske Veritas Res., Hovik
fYear :
1997
fDate :
1-6 Jun 1997
Firstpage :
144
Lastpage :
154
Abstract :
Knowledge-based technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-base systems (KBSs). As with any software, attention to quality and safety must be paid throughout the development of a KBS, and rigorous verification and validation (V&V) techniques must be employed. Research in KBS V&V has emerged as a distinct field only in the last decade and is intended to address issues associated with KBS quality aspects and to credit such applications with the same degree of dependability as conventional applications. However, a major drawback of the current state of acceptance of KBS software is the lack of standardization. Although standards do exist for software, extensions are needed to cope with specific KBS software characteristics. This paper advocates the idea that, although quality assessment of KBS software is still a challenging issue, KBS software is not an impossible one. Some V&V techniques based on specific KBS software properties are described in this paper which aims at indicating KBS acceptability requirements may be specified and evaluated, being at the same time a good basis for certification
Keywords :
certification; knowledge based systems; program verification; software quality; software reliability; software standards; standardisation; acceptability requirements; certification; dependability; knowledge-based software; problem-solving tasks; quality assessment; standardization; validation techniques; verification techniques; Application software; Certification; Embedded software; Injuries; Knowledge based systems; Quality assessment; Software quality; Software safety; Software systems; Standardization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Standards Symposium and Forum, 1997. Emerging International Standards. ISESS 97., Third IEEE International
Conference_Location :
Walnut Creek, CA
ISSN :
1082-3670
Print_ISBN :
0-8186-7837-2
Type :
conf
DOI :
10.1109/SESS.1997.595957
Filename :
595957
Link To Document :
بازگشت