排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
Jeliriski一Momnda模型是软件可靠性模型中的古典模型。本文给出此模型的计算机实现,并引用一个实例对此程序进行验证。 相似文献
2.
吕励 《哈尔滨电工学院学报》1995,18(4):458-463
Jelinski-Moranda模型是软件可靠性模型中的古典模型。本文给出此模型的计算机实现,并引用一个实例对此程序进行验证。 相似文献
3.
分析了软件开发的上游工程和下游工程对软件质量的影响,用一个实例说明说明了上游工程对软件质量的决定性影响;对于下游工程,提出了4种质量保证技术,并对提高软件质量的两种技术-容错技术、程序正确性证明给予了介绍。 相似文献
4.
5.
吕励 《哈尔滨理工大学学报》1995,(6)
针对软件工程领域中逆向工程的研究课题,提出了一种利用图式把C语言源程序转换成结构化流程图(PAD图)的方法和技术,这实质上是一个源程序的反演系统,可为其它语言流程图的转换提供参考. 相似文献
6.
7.
采用二维展开的表现程序和数据逻辑结构的PAD图图示技术,对Jackson结构图解增添了循环和选择条件,使基于数据结构的设计方法具有更清晰的逻辑结构图形表示,且易读、易维护、易转换成高级语言源程序。 相似文献
8.
软件可靠性建模分析 总被引:1,自引:0,他引:1
吕励 《哈尔滨理工大学学报》1997,2(1):45-48
从软件可靠性的概念出发,阐述了软件可靠性模型在软件开发及评测中的作用同时给出了软件可靠性模型的分类,故障数据的收集方法,及软件可靠性建模过程。并通过实例分析,指出了在建模过程中应注意的问题。 相似文献
9.
1