This paper uses three size metrics,which are collectable during the design phase,to analyze the potentially confounding effect of class size on the associations between object-oriented（OO）metrics and maintainability...This paper uses three size metrics,which are collectable during the design phase,to analyze the potentially confounding effect of class size on the associations between object-oriented（OO）metrics and maintainability.To draw as many general conclusions as possible,the confounding effect of class size is analyzed on 127 C＋＋ systems and 113 Java systems.For each OO metric,the indirect effect that represents the distortion of the association caused by class size and its variance for individual systems is first computed.Then,a statistical meta-analysis technique is used to compute the average indirect effect over all the systems and to determine if it is significantly different from zero.The experimental results show that the confounding effects of class size on the associations between OO metrics and maintainability generally exist,regardless of whatever size metric is used.Therefore,empirical studies validating OO metrics on maintainability should consider class size as a confounding variable.展开更多
Detecting well-known design patterns in object-oriented program source code can help maintainers understand the design of a program. Through the detection, the understandability, maintainability, and reusability of ob...Detecting well-known design patterns in object-oriented program source code can help maintainers understand the design of a program. Through the detection, the understandability, maintainability, and reusability of object-oriented programs can be improved. There are automated detection techniques;however, many existing techniques are based on static analysis and use strict conditions composed on class structure data. Hence, it is difficult for them to detect and distinguish design patterns in which the class structures are similar. Moreover, it is difficult for them to deal with diversity in design pattern applications. To solve these problems in existing techniques, we propose a design pattern detection technique using source code metrics and machine learning. Our technique judges candidates for the roles that compose design patterns by using machine learning and measurements of several metrics, and it detects design patterns by analyzing the relations between candidates. It suppresses false negatives and distinguishes patterns in which the class structures are similar. As a result of experimental evaluations with a set of programs, we confirmed that our technique is more accurate than two conventional techniques.展开更多
In this paper, we investigate empirically the relationship between object-oriented design metrics and testability of classes. We address testability from the point of view of unit testing effort. We collected data fro...In this paper, we investigate empirically the relationship between object-oriented design metrics and testability of classes. We address testability from the point of view of unit testing effort. We collected data from three open source Java software systems for which JUnit test cases exist. To capture the testing effort of classes, we used metrics to quantify the corresponding JUnit test cases. Classes were classified, according to the required unit testing effort, in two categories: high and low. In order to evaluate the relationship between object-oriented design metrics and unit testing effort of classes, we used logistic regression methods. We used the univariate logistic regression analysis to evaluate the individual effect of each metric on the unit testing effort of classes. The multivariate logistic regression analysis was used to explore the combined effect of the metrics. The performance of the prediction models was evaluated using Receiver Operating Characteristic analysis. The results indicate that: 1) complexity, size, cohesion and (to some extent) coupling were found significant predictors of the unit testing effort of classes and 2) multivariate regression models based on object-oriented design metrics are able to accurately predict the unit testing effort of classes.展开更多
In this paper,we introduce and prove three analytic results related to uniform convergence,properties of Newtonian potential,and convergence of sequences in Sobolev space constrained by their Laplacian.Then,utilizing ...In this paper,we introduce and prove three analytic results related to uniform convergence,properties of Newtonian potential,and convergence of sequences in Sobolev space constrained by their Laplacian.Then,utilizing our analytic results,we develop a complete proof of a crucial estimate appearing in the results of Guofang Wang and Xiaohua Zhu,which states the classification of extremal Hermitian metrics with finite energy and area on compact Riemann surfaces and finite singularities satisfying small singular angles.展开更多
In a recent article, we have corrected the traditional derivation of the Schwarzschild metric, thus obtaining the formulation of the correct Schwarzschild metric, which is different from the traditional Schwarzschild ...In a recent article, we have corrected the traditional derivation of the Schwarzschild metric, thus obtaining the formulation of the correct Schwarzschild metric, which is different from the traditional Schwarzschild metric. Then, in another article by starting from this correct Schwarzschild metric, we have corrected also the Reissner-Nordstrøm, Kerr and Kerr-Newman metrics. On the other hand, in a third article, always by starting from this correct Schwarzschild metric, we have obtained the formulas of the correct gravitational potential and of the correct gravitational force in the case described by this metric. Now, in this article, by starting from these correct Reissner-Nordstrøm, Kerr and Kerr-Newman metrics and proceeding in a manner analogous to this third article, we obtain the formulas of the correct gravitational potential and of the correct gravitational force in the cases described by these metrics. Moreover, we analyze these correct results and their consequences. Finally, we propose some possible crucial experiments between the commonly accepted theory and the same theory corrected according to this article.展开更多
In this paper,we prove that for certain fiber bundles there is a k-Futaki-Ono conformally Kahler metric related to a metric in any given Kahler class for any k≥2.
Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a ...Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a significant web-based system where the explainability feature is essential for achieving user satisfaction.Conventional design methodologies such as object-oriented design methodology(OODM)have been proposed for web-based application development,which facilitates code reuse,quantification,and security at the design level.However,OODM did not provide the feature of explainability in web-based decision-making systems.X-OODM modifies the OODM with added explainable models to introduce the explainability feature for such systems.This research introduces an explainable model leveraging X-OODM for designing transparent applications for multidomain sentiment analysis.The proposed design is evaluated using the design quality metrics defined for the evaluation of the X-OODM explainable model under user context.The design quality metrics,transferability,simulatability,informativeness,and decomposability were introduced one after another over time to the evaluation of the X-OODM user context.Auxiliary metrics of accessibility and algorithmic transparency were added to increase the degree of explainability for the design.The study results reveal that introducing such explainability parameters with X-OODM appropriately increases system transparency,trustworthiness,and user understanding.The experimental results validate the enhancement of decision-making for multi-domain sentiment analysis with integration at the design level of explainability.Future work can be built in this direction by extending this work to apply the proposed X-OODM framework over different datasets and sentiment analysis applications to further scrutinize its effectiveness in real-world scenarios.展开更多
In this paper,we study scalar curvature rigidity of non-smooth metrics on smooth manifolds with non-positive Yamabe invariant.We prove that if the scalar curvature is not less than the Yamabe invariant in the distribu...In this paper,we study scalar curvature rigidity of non-smooth metrics on smooth manifolds with non-positive Yamabe invariant.We prove that if the scalar curvature is not less than the Yamabe invariant in the distributional sense,then the manifold must be isometric to an Einstein manifold.This result extends Theorem 1.4 in Jiang,Sheng and Zhang[27],from a special case where the manifolds have zero Yamabe invariant to general cases where the manifolds have non-positive Yamabe invariant.展开更多
This paper suggests that a single class rather than methods should be used as the slice scope to compute class cohesion. First, for a given attribute, the statements in all methods that last define the attribute are c...This paper suggests that a single class rather than methods should be used as the slice scope to compute class cohesion. First, for a given attribute, the statements in all methods that last define the attribute are computed. Then, the forward and backward data slices for this attribute are generated by using the class as the slice scope and are combined to compute the corresponding class data slice. Finally, the class cohesion is computed based on all class data slices for the attributes. Compared to traditional cohesion metrics that use methods as the slice scope, the proposed metrics that use a single class as slice scope take into account the possible interactions between the methods. The experimental results show that class cohesion can be more accurately measured when using the class as the slice scope.展开更多
基金The National Natural Science Foundation of China(No.60425206,60633010)
文摘This paper uses three size metrics,which are collectable during the design phase,to analyze the potentially confounding effect of class size on the associations between object-oriented（OO）metrics and maintainability.To draw as many general conclusions as possible,the confounding effect of class size is analyzed on 127 C＋＋ systems and 113 Java systems.For each OO metric,the indirect effect that represents the distortion of the association caused by class size and its variance for individual systems is first computed.Then,a statistical meta-analysis technique is used to compute the average indirect effect over all the systems and to determine if it is significantly different from zero.The experimental results show that the confounding effects of class size on the associations between OO metrics and maintainability generally exist,regardless of whatever size metric is used.Therefore,empirical studies validating OO metrics on maintainability should consider class size as a confounding variable.
文摘Detecting well-known design patterns in object-oriented program source code can help maintainers understand the design of a program. Through the detection, the understandability, maintainability, and reusability of object-oriented programs can be improved. There are automated detection techniques;however, many existing techniques are based on static analysis and use strict conditions composed on class structure data. Hence, it is difficult for them to detect and distinguish design patterns in which the class structures are similar. Moreover, it is difficult for them to deal with diversity in design pattern applications. To solve these problems in existing techniques, we propose a design pattern detection technique using source code metrics and machine learning. Our technique judges candidates for the roles that compose design patterns by using machine learning and measurements of several metrics, and it detects design patterns by analyzing the relations between candidates. It suppresses false negatives and distinguishes patterns in which the class structures are similar. As a result of experimental evaluations with a set of programs, we confirmed that our technique is more accurate than two conventional techniques.
文摘In this paper, we investigate empirically the relationship between object-oriented design metrics and testability of classes. We address testability from the point of view of unit testing effort. We collected data from three open source Java software systems for which JUnit test cases exist. To capture the testing effort of classes, we used metrics to quantify the corresponding JUnit test cases. Classes were classified, according to the required unit testing effort, in two categories: high and low. In order to evaluate the relationship between object-oriented design metrics and unit testing effort of classes, we used logistic regression methods. We used the univariate logistic regression analysis to evaluate the individual effect of each metric on the unit testing effort of classes. The multivariate logistic regression analysis was used to explore the combined effect of the metrics. The performance of the prediction models was evaluated using Receiver Operating Characteristic analysis. The results indicate that: 1) complexity, size, cohesion and (to some extent) coupling were found significant predictors of the unit testing effort of classes and 2) multivariate regression models based on object-oriented design metrics are able to accurately predict the unit testing effort of classes.
基金Supported by the National Natural Science Foundation of China(11971450)partially supported by the Project of Stable Support for Youth Team in Basic Research Field,CAS(YSBR-001)。
文摘In this paper,we introduce and prove three analytic results related to uniform convergence,properties of Newtonian potential,and convergence of sequences in Sobolev space constrained by their Laplacian.Then,utilizing our analytic results,we develop a complete proof of a crucial estimate appearing in the results of Guofang Wang and Xiaohua Zhu,which states the classification of extremal Hermitian metrics with finite energy and area on compact Riemann surfaces and finite singularities satisfying small singular angles.
文摘In a recent article, we have corrected the traditional derivation of the Schwarzschild metric, thus obtaining the formulation of the correct Schwarzschild metric, which is different from the traditional Schwarzschild metric. Then, in another article by starting from this correct Schwarzschild metric, we have corrected also the Reissner-Nordstrøm, Kerr and Kerr-Newman metrics. On the other hand, in a third article, always by starting from this correct Schwarzschild metric, we have obtained the formulas of the correct gravitational potential and of the correct gravitational force in the case described by this metric. Now, in this article, by starting from these correct Reissner-Nordstrøm, Kerr and Kerr-Newman metrics and proceeding in a manner analogous to this third article, we obtain the formulas of the correct gravitational potential and of the correct gravitational force in the cases described by these metrics. Moreover, we analyze these correct results and their consequences. Finally, we propose some possible crucial experiments between the commonly accepted theory and the same theory corrected according to this article.
基金supported by the Nature Science Foundation of China(12171140).
文摘In this paper,we prove that for certain fiber bundles there is a k-Futaki-Ono conformally Kahler metric related to a metric in any given Kahler class for any k≥2.
基金support of the Deanship of Research and Graduate Studies at Ajman University under Projects 2024-IRG-ENiT-36 and 2024-IRG-ENIT-29.
文摘Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a significant web-based system where the explainability feature is essential for achieving user satisfaction.Conventional design methodologies such as object-oriented design methodology(OODM)have been proposed for web-based application development,which facilitates code reuse,quantification,and security at the design level.However,OODM did not provide the feature of explainability in web-based decision-making systems.X-OODM modifies the OODM with added explainable models to introduce the explainability feature for such systems.This research introduces an explainable model leveraging X-OODM for designing transparent applications for multidomain sentiment analysis.The proposed design is evaluated using the design quality metrics defined for the evaluation of the X-OODM explainable model under user context.The design quality metrics,transferability,simulatability,informativeness,and decomposability were introduced one after another over time to the evaluation of the X-OODM user context.Auxiliary metrics of accessibility and algorithmic transparency were added to increase the degree of explainability for the design.The study results reveal that introducing such explainability parameters with X-OODM appropriately increases system transparency,trustworthiness,and user understanding.The experimental results validate the enhancement of decision-making for multi-domain sentiment analysis with integration at the design level of explainability.Future work can be built in this direction by extending this work to apply the proposed X-OODM framework over different datasets and sentiment analysis applications to further scrutinize its effectiveness in real-world scenarios.
基金Supported by the National Key Research and Development Program of China(2022YFA1005501)the Natural Science Foundation of Jiangsu Province(BK20241433).
文摘In this paper,we study scalar curvature rigidity of non-smooth metrics on smooth manifolds with non-positive Yamabe invariant.We prove that if the scalar curvature is not less than the Yamabe invariant in the distributional sense,then the manifold must be isometric to an Einstein manifold.This result extends Theorem 1.4 in Jiang,Sheng and Zhang[27],from a special case where the manifolds have zero Yamabe invariant to general cases where the manifolds have non-positive Yamabe invariant.
基金The National Natural Science Foundation of China(No.60425206,60633010)the High Technology Research and Development Program of Jiangsu Province(No.BG2005032)
文摘This paper suggests that a single class rather than methods should be used as the slice scope to compute class cohesion. First, for a given attribute, the statements in all methods that last define the attribute are computed. Then, the forward and backward data slices for this attribute are generated by using the class as the slice scope and are combined to compute the corresponding class data slice. Finally, the class cohesion is computed based on all class data slices for the attributes. Compared to traditional cohesion metrics that use methods as the slice scope, the proposed metrics that use a single class as slice scope take into account the possible interactions between the methods. The experimental results show that class cohesion can be more accurately measured when using the class as the slice scope.
