A software quality estimation model is often built using known software metrics and fault data obtained from program modules of previously developed releases or similar projects. Such a supervised learning approach to...
详细信息
this paper presents the results of three experiments designed to assess the extent to which a Natural-Language Processing (NLP) tool improves the quality of conceptual models, specifically object-oriented ones. Our ma...
详细信息
ISBN:
(纸本)3540225641
this paper presents the results of three experiments designed to assess the extent to which a Natural-Language Processing (NLP) tool improves the quality of conceptual models, specifically object-oriented ones. Our main experimental hypothesis is that the quality of a domain class model is higher if its development is supported by a NLP system. the tool used for the experiment-named NL-OOPS - extracts classes and associations from a knowledge base realized by a deep semantic analysis of a sample text. In our experiments, we had groups working with and without the tool, and then compared and evaluated the final class modelsthey produced. the results of the experiments give insights on the state of the art of NL-based Computer Aided softwareengineering (CASE) tools and allow identifying important guidelines to improve their performance, highlighting which of the linguistic tasks are more critical to effectively support conceptual modelling.
We present an overview of our current work in modeling and control of the software test process under an incremental life cycle. We first discuss the modeling primitives and their interaction to form a predictive mode...
详细信息
We present an overview of our current work in modeling and control of the software test process under an incremental life cycle. We first discuss the modeling primitives and their interaction to form a predictive model, and then discuss the direction by which we address the problem of controlling the process.
software reliability models are used for the estimation and prediction of software reliability. Selection of a software reliability model for use in a particular case has been an area of interest for researchers in th...
详细信息
software reliability models are used for the estimation and prediction of software reliability. Selection of a software reliability model for use in a particular case has been an area of interest for researchers in the field of software reliability. Tools and techniques for software reliability model selection found in the literature cannot be used with a high level of confidence as they use a limited number of model selection criteria. In this paper, we have classified software reliability models according to software development life cycle (SDLC) phases. We have identified and defined a number of criteria (with importance level) for software reliability model selection. We have proposed an algorithm based on these criteria for the selection of software reliability models along with an example. this algorithm can be used in different phases of SDLC and applies to various classes of software reliability models.
We first articulate the theoretic difficulties withthe existing metrics designed for predicting software maintainability. To overcome the difficulties, we propose to measure a purely internal and objective attribute ...
详细信息
We first articulate the theoretic difficulties withthe existing metrics designed for predicting software maintainability. To overcome the difficulties, we propose to measure a purely internal and objective attribute of code, namely change impact dependency, and show how it can be modeled to predict real change impact. the proposed base measure can be further elaborated for evaluating software maintainability.
Missing data often appear in software metrics data samples used to construct software effort prediction models. So far, the least biased and thus the most strongly recommended family of such models capable of handling...
详细信息
Missing data often appear in software metrics data samples used to construct software effort prediction models. So far, the least biased and thus the most strongly recommended family of such models capable of handling missing data are those using maximum likelihood methods. However, the theory of such maximum likelihood methods assumes that the data samples underlying the model construction are multivariate normal. Previous research on such models simply ignored the violation of such an assumption by the empirical data samples. this paper proposes and empirically illustrates a not-so-complicated but effective technique to transform the data sample for the purpose of meeting such an assumption. this technique is empirically proven to work for typical software metrics data samples and the author recommends applying such a technique in any further research on and practical industrial application of software effort prediction models using maximum likelihood methods
While providing better performance, transparency and expressiveness, the main features of the web technologies such as web caching, session and cookies, dynamically generated web pages etc. may also affect the correct...
详细信息
ISBN:
(纸本)3540238417
While providing better performance, transparency and expressiveness, the main features of the web technologies such as web caching, session and cookies, dynamically generated web pages etc. may also affect the correct understanding of the web applications running on top of them. From the viewpoint of formal verification and specification-based testing, this suggests that the formal models of the web applications we use for static analysis or test case generation should subsume the abstract behavior of their supporting environment. Here we provide the definition of such a model in terms of labelled transition systems from a given abstract description of the navigations of a web application by incorporating the abstract behavioral model of the web browsers in the presence of session control and browser cache. the significance of the work is twofold: on one hand, it provides a formal basis for better understanding of the web systems;on the other hand, it lays the ground work for both model checking and specification-based testing on the web applications where we take into account the affect of the internal mechanism to the correct web navigations, which can be quite sensitive to the security of the information they carry.
the design of complex system-on-chip (SOC) requires new methods and tools for the optimization of embedded software which is executed on ever more complex hardware architectures. the tuning of the memory subsystem is ...
详细信息
the design of complex system-on-chip (SOC) requires new methods and tools for the optimization of embedded software which is executed on ever more complex hardware architectures. the tuning of the memory subsystem is particularly difficult due to the many design parameters which are involved and the long time which is required to simulate different design configurations. We propose a very effective mechanism for the simulation of generic memory maps on architectures with instruction and/or data cache memory. An important characteristic of our implementation is its large flexibility: any memory map and any cache configuration can be simulated without the need to modify or to recompile the application code. We implemented such mechanism in our ISA retargetable environment and we showed that it loosely impacts the simulation performance.
In this paper, an accurate wideband SOA steady-state numerical model, amplified spontaneous emission (ASE) spectrum and signal gain versus bias characteristic measurements and a numerical implementation of the Levenbe...
详细信息
In this paper, an accurate wideband SOA steady-state numerical model, amplified spontaneous emission (ASE) spectrum and signal gain versus bias characteristic measurements and a numerical implementation of the Levenberg-Marquardt method are used to determine the material parameters of a homogeneous buried ridge stripe SOA with a bulk active region (0.4 /spl mu/m /spl times/ 0.4 /spl mu/m cross-section). the numerical techniques have been incorporated into comprehensive SOA simulation software AmpSoft developed at the University of Limerick that enables accurate wideband prediction of SOA static characteristics. the extracted SOA parameters are B/sub 0/ = 2.8 /spl times/ 10/sup -16/ m/sup 3/s/sup -1/ B/sub 1/= 0.1 /spl times/ 10/sup -41/ m/sup 6/s/sup -1/, A/sub nrad/ = 4.8 /spl times/ 10/sup 8/s/sup -1/ C/sub aug/ = 2.8 /spl times/ 10/sup -41/ m/sup 6/s/sup -1/, K/sub g/ = 0.48 /spl times/ 10/sup -10/ eVm, K/sub 0/= 2800 m/sup -1/ and K/sub 1/= 4400 m/sup 2/.
the QFN (quad flat non-leaded) package is a new type of chip scale package. In this study, boththe FEM solid model and CFD model of QFN package were generated to predict the junction-to-ambient thermal resistance of ...
详细信息
the QFN (quad flat non-leaded) package is a new type of chip scale package. In this study, boththe FEM solid model and CFD model of QFN package were generated to predict the junction-to-ambient thermal resistance of the package under natural and forced convection. the solid model uses flat plate surface convection correlations to simulate the package and board cooling. the CFD model uses computational fluid dynamics software to simulate surface convective loads. In comparison with experimental measurements, the results show that the CFD model is more accurate than the solid model to predict the thermal resistance of the package. the convection heat transfer coefficients obtained from CFD model were also applied to the surface correlations of FEM solid model. It shows that the accuracy of simulation results by FEM solid model can be improved withthe surface convection correlations of CFD results. Furthermore, the distribution of heat transfer over external faces of the package is calculated. the results show that most of the heat is dissipated to the board through the bottom surface of the lead frame.
暂无评论