摘要
本文提出了正则与非正则程序的概念,并证明:程序按此正则性分类是完备的。从而为软件在测试阶段的可靠性衡量提供了一个精确的尺度。
In this paper,the program regularity is defined.It proves that allprograms can be classified into two uncompatible sets according to their regularity.Thus a metrics for the software reliability with the regularity is provided.
出处
《计算机应用与软件》
CSCD
1989年第1期1-4,20,共5页
Computer Applications and Software
