用户名: 密码: 验证码:
软件缺陷混沌分形描述与软件质量进化度量的研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
随着复杂性科学研究的深入和软件复杂性的增加,软件质量作为软件工程中的难题之一,它的复杂性研究将成为一种必然。本文系统地综述了近年相关的研究成果以后,利用混沌分形理论对软件缺陷的分形生长规律进行了描述。然后,利用现代系统论对软件缺陷产生的内因进行了分析,并利用灰色理论和模糊数学设计出一种新的软件质量进化度量的过程方法。
     本文在理论研究方面取得了一些成果,具体内容包括:
     通过软件缺陷分形生长实验,抽象出软件缺陷分形生长数学模型。推导出受限和非受限环境中软件缺陷第n次迭代的软件缺陷分枝数公式,进而推导出软件不同开发阶段的软件缺陷总数公式和整个软件过程的软件缺陷总数公式。绘制出软件缺陷生长“达尔文树”,并就软件缺陷“继续生长”与“停止生长”的几种情况进行了讨论,还对各阶段停止生长的缺陷数进行了估计。另外,还描述了软件缺陷被拉伸分叉的混沌迭代过程,归纳出软件缺陷对初值敏感、稠密和分维的混沌特性。
     软件系统级研究说明:环境改变会导致软件某些缺陷显现,软件缺陷具有动态性、可变性和相对性。软件缺陷产生的原因是软件负熵值增加不够,软件不完善所致。软件的自组织和有序化程度越高,缺陷越少。软件过程缺陷对软件开发稳定性具有潜在的影响,其中,软件过程的序参量对软件开发成败具有决定性的作用。
     本文提出了一种新的软件工程方法“竞赛软件工程”,这是一个软件质量进化度量的过程框架。为度量这个进化过程,作者推导出灰序列凸凹性判断公式和收敛阶公式,并设计出计算判别法和图解判别法。该灰色方法是一个有限序列小样本的分析方法,它不仅可以用于凸凹单个序列的收敛速度判断,也可以用于一般情况(不规则曲线)的单个序列的收敛速度判断,而且,它还可以用于多个序列的收敛速度判断和相互比较,以及在其它领域的数值分析。另外,还推导出软件过程监理模糊评价公式组和软件过程模糊评价公式组。本文还设计出软件质量进化度量过程原型。对比实验显示,该方法对改进软件质量是有益的。
With the development of complexity research and the increase of software complexity, it will become an inexorable trend how to use complexity theory to study the complexity of software quality, which is one of the difficult problems in the field of software engineering. After the summaries of the related researches in the field, this dissertation gives the fractal growing description of software defects by the chaotic-fractal theory, and uses the modern systems theory to analyze the internal causes of software defect emergence at the level of software system, and designs the process method of evolutional metrics of software quality by the grey theory and fuzzy theory.This dissertation achieves the research results in theory as follows.It abstracts the mathematical description through a fractal growing experiment of software defects, and gives the formula of software defect number of the n-th time iteration, and draws the Darwin Tree of software defect growth during an entire software process, and describes the chaotic process of iteratively stretched and folded fork and sums up the chaotic characteristics of to-initial-value-sensibility, density and self-similar-dimension of software defects.At software system level, the research results of this dissertation show that environmental changes make some software defects appear, which are dynamic, changeable and relative, and the internal causes of software defect emergence is that negative entropy of software is inadequate and software is imperfect, and software defects are less if software self-organization and orderliness are more perfect, and there is implicit influence from software defects with the stabilization of software development during its process while the order parameters during software process play a key role.This dissertation initiates a new software engineering method "Emulative software engineering", which is a process framework of software quality evolutional metrics based on the software quality PDCA ring. In order to measure the evolutional process, the judgment formula of convex-concave and convergence power of evolutional grey sequence are deduced, and the computation and graph methods of
    evolutional grey iteration are designed. This grey method is an analysis one for small sample finite sequence, which can be used for judging the convergence rate of a convex-concave sequence, or an irregular curve sequence, or several irregular curve sequences, and for comparing one with another, and can be also employed in other field. In addition, the fuzzy evaluative formula for software process supervision and software process improvement are also deduced. The contrast experiments show that the above evolutional method is obviously helpful to software process improvement.
引文
[1] T. Capers Jones, Assessment and Control of Software Risks, Manufacturer: Prentice Hall PTR. February 1994
    [2] 周之英,编著,《现代软件工程》(上,中,下),科学出版社,2000
    [3] Fenton NE, Neil M, Software metrics: successes, failures and new directions, JOURNAL OF SYSTEMS AND SOFTWARE, 47 (2-3): 149-157 JUL 1 1999
    [4] 潘秋菱,基于过程和度量的软件管理方法研究,博士论文,合肥工业大学 2002.1
    [5] R.J. Ruber and R. D Hartwick. Quantitative Measurement of Program Quality, Proceedings of ACM National Conference, 1968
    [6] Wolverton, R. W. The Cost of Developing Large-Scale Software. IEEE Transactions on Computer, Volume C-23, No. 6, pp. 615-636, June 1974. Also in: Tutorial on Programming Productivity: Issues for the Eighties, IEEE Computer Society, Second Edition, 1986
    [7] B.W. Boehm, J. R. Brown, M. Lipown, G. J. Macleod, and M. J. Merritt. Characteristics of Software Quality. New York: Elsevier North-Holland, 1978
    [8] J.A. McCall and J. P. Cavano, .A Framework for the Measurement of Software Quality. ACM Software Quality Assurance Workshop. November 1978
    [9] Software Quality Characteristics. ISO/TC97/SC7/WG3/1985-1-30/N382, 1985
    [10] Software Product Evaluation-Quality Characteristics and Guideline for Their Use. ISO/IEC Standard ISO-9126, 1991
    [11] IEEE Standard for a Software Quality Metrics Methodology, IEEE Std 1061:1992, 1992
    [12] 甘仞初,《信息资源管理》[M],经济科学出版社,2000,1
    [13] 邢大红,曹佳冬,汪和才,刘宗田,软件度量学综述[S],计算机工程与应用,2001,1,P17-19
    [14] Hong, G.Y., Xie, M., Shanmugan, P. A statistical method for controlling software defect detection process. Computers & Industrial Engineering vol.37, no.1-2: 137-40, Oct. 1999
    [15] Haigh, Maria.;Software quality revisited: Diverging priorities between stakeholder groups? Ph.D. Drexel University. 2002. Dissertation Abstracts International, Volume: 63-03, Section: B, page: 1426.;Adviser: June Verner.
    [16] Chang WK, Jeng SL, Impartial evaluation in software reliability practice, JOURNAL OF SYSTEMS AND SOFTWARE 76 (2): 99-110 MAY 2005
    [17] Jalote P, Saxena A. Optimum control limits for employing statistical process control in software process, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 28 (12): 1126-1134 DEC 2002
    [18] Fenton, N., Krause, P., Neil, M. Probabilistic modelling for software quality control. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. 6th European Conference, ECSQARU 2001. Proceedings (Lecture Notes in Artificial Intelligence Vol.2143): 444-53, 2001
    [19] Devnani-Chulani, Sunita.;Bayesian analysis of software cost and quality models. Ph.D. University of Southern California. 1999. Dissertation Abstracts International, Volume: 60-06, Section: B, page: 2780.;Adviser: Barry Boehm.
    [20] Neufelder, A.M. How to predict software defect density during proposal phase. Proceedings of the IEEE 2000 National Aerospace and Electronics Conference. NAECON 2000. Engineering Tomorrow (Cat. No.00CH37093): 71-6, 2000
    [21] SeonoAh Lee, Byoungju Choi. Establishment of the software quality metrics for a software development process. Journal of KISS: Software and Applications voi.27, no.3: 217-26, March 2000
    [22] Chenggang Bai, Kai-Yuan Cai, Chen, T.Y.. An efficient defect estimation method for software defect curves. Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003: 534-9, 2003
    [23] Djokic, Snezana.;Quantitative software engineering methods for quality improvement. M.Sc. University of Alberta (Canada). 2002. Masters Abstracts International, Volume: 41-01, page: 0245.;Adviser: Witold Pedrycz.
    [24] Hartman P. Utility of popular software defect models. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2002 PROCEEDINGS PROCEEDINGS: ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM306-311 2002
    [25] Dick S, Meeks A, Last M, Bunke H, Kandel A, Data mining in software metrics databases, FUZZY SETS AND SYSTEMS 145 (1): 81-110 JUL 1 2004
    [26] Fey YJ, Lee TY, Lee HM. A new method for a fuzzy software quality assessment model to evaluate user satisfaction. SEVENTH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN: 137-141, 2002
    [27] Zhu Shi, Xin-gui He. Fuzzy software quality synthesis evaluation. Systems Engineering and Electronics vol.24, no. 12: 121-2, Dec. 2002 (in Chinese)
    [28] Pedrycz, W., Han, L., Peters, J.F., et al. Ramanna S, Zhai R. Calibration of software quality: fuzzy neural and rough neural computing approaches. Neurocomputing vol.36: 149-70 Feb. 2001
    [29] 冯建湘.唐嵘.王双维.李章兵.软件质量灰色定量评价模式研究,哈尔滨工业大学学报,2005年5期
    [30] 冯建湘.唐嵘.王双维.软件质量要素的灰色关联分析及其应用,计算机工程,2004年18期
    [31] 罗佑新.熊国华.曾经梁.车小毅.计算机软件质量综合评价的灰色聚类模型及其应用,计算机工程与应用,2003年8期
    [32] 李恩科.马玉祥.徐国华.信息系统综合评价的灰色层次分析法,情报学报,2001年4期
    [33] 莫燕.灰色系统理论和层次分析法在财务软件质量评审中的应用,浙江工程学院学报,1997年3期
    [34] 钟珞,赵志宏,席守卿,面向对象软件复杂性度量工具的研制,武汉理工大学学报,2002年9月,第24卷第9期
    [35] 童维农,钟珞,邹承明,一种软件复杂性度量系统的设计与实现,微机发展 2000年第4期
    [36] 夏红霞 童维农 邹承明 鄂勇辉 钟珞,软件复杂性度量系统的研制,计算机应用,2000年4月第20卷第4期
    [37] 刘德刚,周刚,张毅,周厚豹,基于状态图的缺陷追踪系统研究,计算机工程与设计,2005,2
    [38] 连进,朱晓燕,基于Trackrecord的软件缺陷分析统计系统的设计,武汉科技学院学报,2005 Vol.18 No.1 P.59-62
    [39] 何新贵,王纬,王方德,等,《软件能力成熟度模型》,清华大学出版社,2000,11
    [40] [印] Pankaj Jalote著,胡春哲,张洁等译,CMM实践应用----Infosys公司的软件项目执行过程,电子工业出版社[M],2002,8:206
    [41] Watts Humphrey, Introduction to the Personal Software Process, First Edition, Addison Wesley Logman, Inc., MA, 1997
    [42] 郑人杰,王纬,于方德,蔡愉祖 等编著,基于软件成熟度模型(CMM)的软件过程改进----方法与实施,清华大学出版社,2003,3
    [43] 中华人民共和国科学技术部火炬中心“推进我国软件企业ISO9000质量体系认证的研究”课题组,《软件企业ISO9000质量体系的建立与认证》,清华大学出版社[M],1999,9
    [44] ISO/IEC 12207:1995 (E), Information technology-Software life cycle processes, International Standard, 1995
    [45] ISO/IEC TR 15504-1: 1998 Information technology--Software process assessment--Part 1: Concepts and introductory guide
    [46] ISO/IEC TR 15504--2:1998 Information technology--Software process assessment--Part 2: A reference model for Processes and Process capability
    [47] ISO/IEC TR 15504--3: 1998 Information technology--Software process assessment--Part 3: Performing an assessment
    [48] ISO/IEC TR 15504--4: 1998 Information technology--Software process assessment--Part 4: Guide to performing assessments
    [49] ISO/IEC TR 15504--5: 1999 Information technology--Software Process Assessment--Part 5: An assessment model and indicator guidance
    [50] ISO/IEC TR 15504--6: 1998 Information technology--Software process assessment--Part 6: Guide to competency Of assessors
    [51] ISO/IEC TR 15504--7: 1998 Information technology--Software process assessment--Part 7: Guide for use in process improvement
    [52] ISO/IEC TR 15504--8: 1998 Information technology--Software process assessment--Part 8: Guide for use in determining supplier process capability
    [53] ISO/IEC TR 15504--9: 1998 Information technology--Software process assessment--Part 9: Vocabulary
    [54] TicklT: A Guide to Software Quality Management System Construction and Certification Using EN29001 (Issue 2.0), UK Dept. of Trade and Industry and the British Computer Society, London, 1992
    [55] 沈备军,陈诚,居德华,敏捷软件过程的研究,计算机研究与发展,2002,11:1456-1463
    [56] Martin Fowler, the New methodology, www.MartinFowler.corn/articles/Newmethodology.html
    [57] Stelzer D, Mellis W, Herzwurm G, A Critical Look at ISO 9000 for Software Quality Management, SOFTWARE QUALITY JOURNAL 6 (2): 65-79 JUN 1997
    [58] JOSE A. CALVO-MANZANO VILLALóN, GONZALO CUEVAS AGUSTIN, TOMáS SAN FELIU GILABERT, ANTONIO DE AMESCUA SECO, LUIS GARCíA SaáNCHEZ, MANUEL PéREZ COTA, Experiences in the Application of Software Process Improvement in SMES, Software Quality Journal, 10, 261-273, 2002
    [59] JOS TRIENEKENS, ROB KUSTERS AND RINI VAN SOLINGEN, Product Focused Software Process Improvement: Concepts and Experiences from Industry, Software Quality Joumal, 9, 269-281, 2001
    [60] Wong, B. A study of the metrics applied to the Software Evaluation Framework 'SEF'. THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS: 52-58 2003
    [61] Boghossian, Zarik Jahan. An investigation into the critical success factors of software development process, time, and quality. Ed.D. Pepperdine University. 2002. Dissertation Abstracts International, Volume: 63-08, Section: B, page: 3784.;Chair: Farzin Madjidi.
    [62] Schneidewind, NE Body of knowledge for software quality measurement. COMPUTER 35 (2): 77-+ FEB 2002
    [63] ITA RICHARDSON, SPI Models: What Characteristics are Required for Small Software Development Companies? Software Quality Journal, 10, 101-114, 2002
    [64] MERCEDES RUIZ, ISABEL RAMOS AND MIGUEL TORO, A Dynamic Integrated Framework for Software Process Improvement, Software Quality Journal, 10, 181-194, 2002
    [65] JOSE A. CALVO-MANZANO VILLAL6N, GONZALO CUEVAS AGUSTíN, TOMáS SAN FELIU GILABERT, ANTONIO DE AMESCUA SECO, LUIS GARCíA SáNCHEZ, MANUEL PéREZ COTA, Experiences in the Application of Software Process Improvement in SMES, Software Quality Journal, 10, 261-273, 2002
    [66] MARIE-JOSé BLIN AND ALEXIS TSOUKàS, Multi-Criteria Methodology Contribution to the Software Quality Evaluation, Software Quality Journal, 9, 113-132, 2001
    [67] JENNIFER GASSTON AND PAT HALLORAN, Continuous Software Process Improvement Requires Organisational Learning: An Australian Case Study, Software Quality Journal, 8, 37-51, 1999
    [68] Work B. Patterns of software quality management in TicklT certified firms. EUROPEAN JOURNAL OF INFORMATION SYSTEMS 11 (1): 61-73 MAR 2002
    [69] Krause, P., Freimut, B., Suryn, W. New directions in measurement for software quality control, Proceedings 10th International Workshop on Software Technology and Engineering Practice: 129-43, 2003
    (70] 李虎,软件质量评测的定量分析技术研究,博士论文,北京航空航天大学,2001
    [71] 石柱,基于模糊技术的软件质量评价及可靠性评估,博士论文,北京航空航天大学,2000
    [72] 李健,软件过程质量控制与度量技术研究,博士论文,北京航空航天大学,2000
    [73] 潘秋菱,基于过程和度量的软件管理方法研究,博士论文,合肥工业大学,2002
    [74] 李心科,软件故障分析和软件质量评价方法研究,博士论文,合肥工业大学,2001
    [75] 宿为民,支持过程度量的软件过程建模及软件过程评价平台的研究,博士论文,复旦大学,1998,11
    [76] 邢大红,基于度量的软件过程改进方法的研究,博士论文,合肥工业大学,2004
    [77] McCabe, T. A Complexity Measure. IEEE Transactions of Software Engineering, Volume SE-2, No. 4, December 1976, pp. 308-320
    [78] Halstead, M. H. Elements of Software Science. New York, Elsevier North-Holland, 1977
    [79] Gilb, T. Software Metrics. Winthrop Publishers, Cambridge, Massachusetts, 1977
    [80] T.C. Jones, Measuring Programming Quality and Productivity, IBM Systems Journal, Vol. 17, No. 1, 1978, pp. 39-63
    [81] Albrecht, A. J. Measuring Applications Development Productivity. Proceedings of IBM Applic. Dev. Joint SHARE/GUIDE Symposium, Monterey, CA, 1979, pp. 83-92
    [82] Oviedo, Enrique I, Control Flow, Data Flow and Programmers Complexity. Proceedings of COMPSAC 80, Chicago IL, pp. 146-152, 1980
    [83] Troy, Douglas;Zweben, Stuart: Measuring the Quality of Structured Design The Journal of System and Software. Volume 2, 113-120, pp.113-120, 1981
    [84] Software Measurement Laboratory, Germany, http://ivs.cs.uni-magdeburg.de/sw-eng/us/1999, http://www.ssc.stn.sh.cn/sstlroot/chpl.htm
    [85] SEI Software Engineering Measurement and Analysis, http://www.sei.cmu.edu/sema/welcome.html, 2001
    [86] 宫云战,论软件缺陷,装甲兵工程学院学报,2003,3
    [87] Chillarege Ram, et. al., "Orthogonal Defect Classification—A Concept for In-Process Measurement, " IEEE Transactions on Software Engineering, Vol. 18, No. 11, November 1992.
    [88] 戴蒙,高建华,软件错误的分类、原因及特征,福建电脑 2003年第5期
    [89] 聂林波,刘孟仁,软件缺陷分类的研究,计算机应用研究 2004,6
    [90] 蒋乐天,徐国治,软件缺陷及软件可靠性技术,计算机仿真,2004年2月
    [91] 胡冠林,汪厚祥,软件缺陷分类及其度量技术研究,舰船电子工程 2005,3
    [92] 张瑞,郝克刚,软件缺陷度量,计算机应用研究,2005,4
    [93] Voas, Jeffrey, Can chaotic methods improve software quality predictions? IEEE Software v 17 n 5 Sep 2000:20-22
    [94] 邹丰忠,软件可靠性理论分析与计算,博士论文,武汉水利电力大学,2000,6
    [95] Briand LC, El Emam K, Freimut BG, Laitenberger O. A comprehensive evaluation of capture-recapture models for estimating software defect content. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 26 (6): 518-540 JUN 2000
    [96] 王利,复杂性系统研究方法:从人工生命到人工社会,计算机教育,2005年4期
    [97] Annunziato M, Bertini I, Lucchetti M, Pannicelli A, Pizzuti S. The evolutionary control methodology: An overview. ARTIFICIAL EVOLUTION LECTURE NOTES IN COMPUTER SCIENCE 2936:331-342 2004
    [98] 张华“复杂适应系统理论及应用研究”,硕士论文(2003),广东工业大学
    [99] 李建会,走向计算主义,中国书籍出版社,2004
    [100] 贺前华.韦岗.陆以勤.基因算法研究进展,电子学报,1998年10期
    [101] 靳晓华,人工智能的一种新算法——“基因算法”,仪器仪表与分析监测 1995.1期
    [102] 周晴.李衍达.考虑基因表达过程的进化算法,电子学报,2002.1
    [103] 赵凯.王珏.问题的基因—蛋白质表示模型,计算机学报,1998.1
    [104] 孙志安,软件复杂性的度量与控制,舰船科学技术,1997年4期
    [105] 张洪志,颜慧军,马骥和王保军,软件可靠性估计方法的研究,哈尔滨建筑大学学报,2001年2期
    [106] Visaggio, G. Structural information as a quality metric in software systems organization. Proceedings Intemational Conference on Software Maintenance (Cat. No.97CB36119):92-9, 1997
    [107] 北京旋极信息技术有限公司软件测试培训中心,软件复杂度概述,今日电子,2001 年12期
    [108] Feistauerova, J., Vajda, I. Testing system entropy and prediction error probability. IEEE Transactions on Systems, Man and Cybernetics vol.23, no.5: 1352-8, Sept.-Oct. 1993
    [109] Chapin, N. An entropy metric for software maintainability. Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Vol.Ⅱ: Software Track (IEEE Cat. No.89TH0243-6): 522-3 vol.2, 1989
    [110] Mohanty, S.N. Models and measurements for quality assessment of software. Computing Surveys vol. 11, no.3: 257-75, Sept. 1979
    [111] 刘洪,科学发展的自然增长分形论,科学学研究,1998,12:19-24
    [112] 刘洪,李必强.自然增长过程的分形规律研究与应用,科技导报,1996,10:21-24
    [113] 郑人杰,殷人昆,陶永雷.《实用软件工程(二版)》,北京,清华大学出版社,1997.8
    [114] 李水根,吴纪桃.分形与小波,北京,科学出版社,2002,10:148
    [115] Kokai, Gabriella;Toth, Zoltan;Vanyi, Robert, Evolving artificial trees described by parametric L-systems, 1999 IEEE Canadian Conference on Electrical and Computer Engineering 'Engineering Solutions for the Next Millennium', 1722-1727
    [116] 王树禾,数学聊斋,科学出版社,2002
    [117] 混沌及其应用,武汉大学出版社,2000,1
    [118] 石博强,申焱华,机械故障诊断的分形方法:理论与实践,冶金工业出版社,2002
    [119] 苗东升,突变论的辩证思想,自然辩证法通讯,1995年3期
    [120] 易泉生,突变论在现代管理中的应用初探,管理现代化,1994.4
    [121] 吴彤,突变论方法及其意义——系统演化路径研究,内蒙古社会科学(汉文版) 1999年1期
    [122] 肖捷,浅论突变论在企业管理中的应用,世界标准化与质量管理,2004年5期
    [123] 郭华庆,生命科学基本概念的演变,山西教育出版社,太原,1998
    [124] Donald R. McAndrews, Establishing a Software Measurement Process, Technical Report, CMU/SEI-93-TR-16, ESC-TR-93-193, July 1993, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213
    [125] 吴钢,完形符号论,学林出版社,2003.1
    [126] 邓聚龙,灰理论基础,华中科技大学出版社,2002,2
    [127] 全国监理工程师培训教材编写委员会,《工程建设监理概论》,中国建筑工业出版社,2001,2
    [128] 胡永宏,贺思辉,《综合评价方法》,科学出版社,2000,10,P196-200
    [129] [美] Joseph Raynus著,邱仲潘译,CMM软件过程改进指南,电子工业出版社,2002.3

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700