In this paper, we have suggested a methodology for formalizing some of the commonly used UML diagrams that are used in different phases of software development in Z notation, establish their relationship and then represent the "formalized" diagrams ...

Unlike traditional programs, a database-centric application interacts with a database that has a complex state and structure. Even though the database is an important component of modern software, there are few tools to support the testing of database-...

In this paper, we advocate a use case based methodology for development of object oriented systems which give primacy to roles instead of class. We present an algorithm to synthesize partial collaborations between roles to obtain classes and interaction ...

In this paper, we describe the design and implementation of UPM- an Eclipse Plug-in that enables specifying the performance requirements directly within the UML design model. We have successfully implemented the most often used diagrams of UML in our ...

In this paper, we present findings of the survey on software test maturity, which has a total of 38 respondents answered to the questionnaire. The objectives of the survey were to identify approximate test maturity, testing practices, and ...

In this paper, we propose an integrated approach to generate system level test cases and assess reliability of a system. Input to our approach is a use case model of the system under test. We generate test cases after converting a use case model into a ...

Often organizations need to combine multiple tools for effective software development. For instance, some organizations prefer STATEMATE [3] for specification due to its friendly visual notation and asynchronous semantics, whereas they prefer SCADE [6] ...

Designing architectures that contain static structure, dataflow, and relations between subsystems is important as it provides in an early stage of development. A blueprint that enables building a successful system. To design complex systems, alternative ...

Fuzzy Logic is a convenient way to map an input space to an output space. Class points have been accepted to estimate the size of Object Oriented (OO) products and to directly predict the effort, cost and duration of the software projects. Most ...

This paper describes the experience in adopting traditional process models for package implementation projects. Specifically it addresses the challenges in adopting CMMi and ISO 9000 models package implementation such as SAP. This is an abstract version ...

In this extended abstract, we present our approach to computing a safe subset-regression test-suite, given the current, and the updated versions of the compiled binaries of managed C# code-base; the architecture of our implementation ChiARTS, the ...

In the regression testing of reactive systems, a sequence of events, called the test sequence, is sent to it, and the system's behaviour is observed. The basic test sequence computation problem is equivalent to the rural postman problem, an NP-complete ...

One of the difficulties in maintaining a large software system is the absence of documented business domain topics and correlation between these domain topics and source code. Without such a correlation, people without any prior application knowledge ...

Software maintenance forms an essential component of software development. Its planning includes estimation of maintenance effort, duration, personnel and costs. Adequate information regarding size, complexity and maintainability is however often ...

"Product quality" is the biggest influencer that determines the bottom-line in a commodity business like Consumer Electronics (CE). Typically CE products are made and sold in mass quantity, wherein the margin per device is already low. A Cost of Non ...

Regression testing, which is performed after changes are made to a software system, can be used before release of new versions of the system. However, practitioners often have little time to perform this regression testing because of the quick-release ...

The correctness of object-oriented programs relies on object invariants. A system for verifying such programs requires a systematic method for coping with object invariants that can be violated temporarily. This paper describes a sound methodology for ...

The distributed nature of BPEL processes, the absence of a single stakeholder, the fact that partner services can dynamically change their functionality and/or QoS, and the fact we can define abstract processes and look for actual services at run-time, ...

This paper presents a methodology for transforming business designs written in OMG's standard Semantics of Business Vocabulary and Rules (SBVR) framework, into a set of UML models. It involves the transformation of business vocabulary and rules written ...

We discuss our experience in using model-driven techniques to build large business applications on a variety of architectures and technology platforms. Our foray into model-driven techniques began 12 years ago when our organization decided to develop a ...