期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
Measuring Structural Quality of Object-Oriented Softwares via Bug Propagation Analysis on Weighted Software Networks 被引量:7
1
作者 潘伟丰 李兵 +2 位作者 马于涛 覃叶宜 周晓燕 《Journal of Computer Science & Technology》 SCIE EI CSCD 2010年第6期1202-1213,共12页
The quality of a software system is partially determined by its structure(topological structure),so the need to quantitatively analyze the quality of the structure has become eminent.In this paper a novel metric cal... The quality of a software system is partially determined by its structure(topological structure),so the need to quantitatively analyze the quality of the structure has become eminent.In this paper a novel metric called software quality of structure(SQoS) is presented for quantitatively measuring the structural quality of object-oriented(OO) softwares via bug propagation analysis on weighted software networks(WSNs).First,the software systems are modeled as a WSN,weighted class dependency network(WCDN),in which classes are nodes and the interaction between every pair of classes if any is a directed edge with a weight indicating the probability that a bug in one class will propagate to the other.Then we analyze the bug propagation process in the WCDN together with the bug proneness of each class,and based on this,a metric(SQoS) to measure the structural quality of OO softwares as a whole is developed.The approach is evaluated in two case studies on open source Java programs using different software structures(one employs design patterns and the other does not) for the same OO software.The results of the case studies validate the effectiveness of the proposed metric.The approach is fully automated by a tool written in Java. 展开更多
关键词 bug propagation design pattern object-oriented(oo) software software network structural quality
原文传递
Multi-instance learning for software quality estimation in object-oriented systems:a case study 被引量:1
2
作者 Peng HUANG Jie ZHU 《Journal of Zhejiang University-Science C(Computers and Electronics)》 SCIE EI 2010年第2期130-138,共9页
We investigate a problem of object-oriented (OO) software quality estimation from a multi-instance (MI) perspective. In detail,each set of classes that have an inheritance relation,named 'class hierarchy',is r... We investigate a problem of object-oriented (OO) software quality estimation from a multi-instance (MI) perspective. In detail,each set of classes that have an inheritance relation,named 'class hierarchy',is regarded as a bag,while each class in the set is regarded as an instance. The learning task in this study is to estimate the label of unseen bags,i.e.,the fault-proneness of untested class hierarchies. A fault-prone class hierarchy contains at least one fault-prone (negative) class,while a non-fault-prone (positive) one has no negative class. Based on the modification records (MRs) of the previous project releases and OO software metrics,the fault-proneness of an untested class hierarchy can be predicted. Several selected MI learning algorithms were evalu-ated on five datasets collected from an industrial software project. Among the MI learning algorithms investigated in the ex-periments,the kernel method using a dedicated MI-kernel was better than the others in accurately and correctly predicting the fault-proneness of the class hierarchies. In addition,when compared to a supervised support vector machine (SVM) algorithm,the MI-kernel method still had a competitive performance with much less cost. 展开更多
关键词 object-oriented (oo software Multi-instance (MI) learning software quality estimation Kernel methods
原文传递
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
3
作者 Shaoying LIU 《Frontiers of Materials Science》 SCIE CSCD 2011年第3期341-352,共12页
There is a growing tendency for people in the community of object-oriented methods to use preand post-conditions to write formal specifications for opera- tions (methods) of classes. The motivation for trying to tak... There is a growing tendency for people in the community of object-oriented methods to use preand post-conditions to write formal specifications for opera- tions (methods) of classes. The motivation for trying to take advantage of well established formalism in precisely defining the functionality of operations is laudable, but unfortunately this exercise may be flawed because the use of pre- and post-conditions containing method calls (or similar) with side effects are likely to cause confusion in the interpretation of specifications. This paper analyzes, with comprehensible examples, why using pre-post notation is not effective to specify operations in objectoriented systems in general, discusses existing approaches to using pre-post notation for object-oriented systems, and offers some solutions to the problem. 展开更多
关键词 formal specification object-oriented systems software development
原文传递
基于有穷自动机的面向对象软件规约的测试 被引量:1
4
作者 程烨 高建华 《计算机工程》 CAS CSCD 北大核心 2007年第5期59-61,64,共4页
尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不是对面向对象规约... 尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不是对面向对象规约的高级测试。该文提供了一个基于有穷自动机的测试框架来测试面向对象规约。该方法在一个可执行的有穷自动机上直接进行了测试,不用手动进行证明,并且可产生大量的状态空间。测试结果证明了该方法的有效性。 展开更多
关键词 测试 有穷自动机 形式化方法 软件规约 面向对象
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部