The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Component Based Software Development is gaining popularity in recent years. In this way of software development, software components, which are typically black-box components, are intensively reused to construct new systems. The existed component models describe the characteristics of component from different aspects. However, there is not certain information about component testing. In this paper,...
The large scale software system requires computational management techniques in engineering designs, implementations and maintains urgently. This paper discusses an approach of program understanding with mathematical foundations for computation of software behavior. Computational analyses automatically figure out possible behavior and security attributes of software components both for source files...
Aspect-oriented programming (AOP) and model-driven architecture (MDA) are very important as technologies to resolving lifecycle challenges of DRE systems, including requirements analysis, design, validation, development and testing. This paper provides two contributions to the study of DRE systems development. First, analyzes non-functional requirements of DRE systems. Second, proposes a new aspect-oriented...
On the basis of SOA-based isomerous software integration and automation testing technique, took testing specification as centre, analyzed with the mainstream testing model and dependency relation and applied with extraction technology, a new automation testing process model of SOA-based isomerous software was proposed. It covered the whole testing process including test plan, test design, test case...
Software testing is important in quality assurance of Web applications, in which test case is crucial. In this paper, a test framework is produced through program slicing and Z specification refinement. Under this framework, test case can be generated and reduced by analyzing Z specification of Web applications.
Today an application is secured using invitro perimeter security. This is the reason for security being considered as nonfunctional requirement in software development life cycle (SDLC). In next generation Internet (NGI), where all applications will be networked, security needs to be in-vivo; security must be functions within the application. Applications running on any device, be it on a mobile or...
In this article the advances in software engineering are i) evolvement of software processes from rigid, sequential and slow processes to iterative and agile processes and standardization of process models, such as CMMI (Capability Maturity Model Integration) and ISO 12207, ii) programming paradigms and software design techniques, such as object-oriented programming and model-driven architecture,...
Model-based testing of state based systems is known to be able to spot non-conformance issues. However, up to half of these issues appear to be errors in the model rather than in the system under test. Errors in the specification at least hamper the prompt delivery of the software, so it is worth while to invest in the quality of the specification. Worse, errors in the specification that are also...
Software specification is an important element of the software development process. However, in most cases the specifications are out-of-date or even missing. One solution for this kind of problem is to use some process that infers the specification automatically. Work by Ernst et al (2000 ; 2002) has shown how specifications can be generated using program execution traces. These approaches are dependent...
Testing is important and gives the confident to the developer and user; but it is expensive and may consume at least 50% of the total costs involved in developing software. This cost is just for a normal application but if it involves extreme and critical software, the number might increases. As we know, designing test suite for testing is a tedious and meticulous work. We need to have a deep understanding...
Requirements analysis is part of the global requirements engineering process. It is used in detecting and collecting the stakeholders' requirements that are important for developing the information system or software system. The viewpoint-oriented requirement definition (VORD) method is applied in the requirements analysis process. The method supports a service-oriented approach which is suitable...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.