In the software development process, testing is one of the most human intensive steps. Many researchers try to automate test case generation to reduce the manual labor of this step. Negative selection is a famous algorithm in the field of Artificial Immune System (AIS) and many different applications has been developed using its idea. In this paper we have designed a new algorithm based on nega...

Although testing is an essential part of software development, until recently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves modifying the program in small ways. Mutation analysis has been largely used in white-box testing, but only a few tentative attempts to use this idea in black-box testing have be...

In this paper, approaches to assess the reliability of the COTS software for a given or specified operation profile have been analyzed using the proposed methods for White box and Black box approaches. In the black box approach the fragile point analysis is used to assess the reliability of the software, for a given operational profile, using the functional or design specification of the software.

Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited exchange of information between the developer and user of a component, i.e. the developer of a componentbased system. A limited exchange of information cannot only require the testing by the user but it can also complic...

Historically, software testing received relatively less attention compared with other activities (e.g. systems analysis and design) of the software life cycle in an undergraduate computer science/information systems curriculum. Nevertheless, it is a common and important technique used to detect errors in software. This paper reports our recent experience of using a new approach to teaching soft...

Efficient and thorough testing is essential to create quality software. In some cases, software code may not be available in testing phase. In such scenarios black box testing is used. The work presents various black box testing techniques. A systematic literature review has been carried out according to the guidelines proposed by kitchenham. The work discusses the applicability of artificial i...

SPL testing has been considered a challenging task, mainly due to the diversity of products that might be generated from an SPL. To deal with this problem, techniques for specifying and deriving product specific functional test cases have been proposed. However, there is little empirical evidence of the benefits and drawbacks of these techniques. To provide this kind of evidence, in a previous ...

The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but could be huge) set Bad. We introduce a novel approach to solve the problem that does not require integration testing. Instead, in our approach, the global testing problem is reduced to testing individual black-boxes in the ...

During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testing specifications and environments. Thus, when integrating components in the overall system, the actual implementation platform may differ from the development platform, leading to a deviation in the component behavior...

The application of specification-based program verification techniques (e.g., black-box testing, formal proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. This paper describes a viewbased program review approach to addressing these challenges. The essential idea of the approach is first to derive comparable views fr...