Learn More
Software development organizations spend considerable portion of their budget and time in testing related activities. The effectiveness of the verification and validation process depends upon the number of errors found and rectified before releasing the software to the customer side. This in turn depends upon the quality of test cases generated. The(More)
Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for these types of systems. Our system is modeled through UML state charts. Conventional test generation techniques do not worry about optimization and dynamic nature of such systems.(More)
Complex, soft-real-time system development is one of the challenges in the software industry, as it is difficult to understand, test and maintain such systems. However, the software development goal is to operate reliably despite this complexity. This can be achieved by applying formal methods, which use a language that has a strong mathematical foundation(More)
OCL formal specification has been widely used for precise software modeling. In general, it is used to express constraints on design documents. As a novel approach, its usage can be extended to support effective testing, such as testing fault-prone components to improve software quality. In this paper, CK (Chidamber and Kemerer) metrics that can be(More)