oalib
Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm
Lina Chen
Journal of Computers , 2011, DOI: 10.4304/jcp.6.4.769-775
Abstract: This paper studies automatic test cases generation for Statechart specifications. Applying Tretmans’ approach to generate test cases from labeled transition systems, we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specifications. In order to make the test cases generation process more simple and efficient, we propose observable semantics as a suitable semantics model for describing observable behavior subset of a Statechart specification, which is different from complete semantics used for Statechart specification verification and model checking. Then we describe how to use this semantics model for not only generation reactive systems but also critical reactive systems. We also propose a formal conformance relation based on presented semantics model and test hypothesis, and provide an algorithm which, for a Statechart specification, generates a test suite. For Statechart specifications with graph semantics the algorithm can generate complete test suite, and for Statechart specifications with tree semantics cost-efficient sound test suite can be generated.
TOWARDS TEST CASES GENERATION FROM SOFTWARE SPECIFICATIONS  [PDF]
R. Jeevarathinam,,Dr. Antony Selvadoss Thanamani
International Journal of Engineering Science and Technology , 2010,
Abstract: Verification and Validation of software systems often consumes up to 70% of the development resources. Testing is one of the most frequently used Verification and Validation techniques for verifyingsystems. Many agencies that certify software systems for use require that the software be tested to certain specified levels of coverage. Currently, developing test cases to meet these requirements takes a major portion of the resources. Automating this task would result in significant time and cost savings. This testing research is aimed at the generation of such test cases. In the proposed approach a formal model of the required software behavior (a formal specification) is used for test-case generation and as an oracle to determine if theimplementation produced the correct output during testing. This is referred to as Specification Based Testing. Specification based testing offers several advantages to traditional code based testing. The formal specification can be used as the source artifact to generate functional tests for the final product and since the test cases are produced at an earlier stage in the software development, they are available before the implementation is completed. Central to this approach is the use of model checkers as test case generation engines. Model checking is a technique for exploring the reachable state-space of a system model to verify properties of interest.There are several research challenges that must be addressed to realize this test generation approach.
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models  [PDF]
Radoslaw Klimek
Computer Science , 2014,
Abstract: The work relates to the automatic generation of logical specifications, considered as sets of temporal logic formulas, extracted directly from developed software models. The extraction process is based on the assumption that the whole developed model is structured using only predefined workflow patterns. A method of automatic transformation of workflow patterns to logical specifications is proposed. Applying the presented concepts enables bridging the gap between the benefits of deductive reasoning for the correctness verification process and the difficulties in obtaining complete logical specifications for this process.
A Survey on Software Testing Techniques using Genetic Algorithm  [PDF]
Chayanika Sharma,Proffesoor. Sangeeta Sabharwal,Asst. Professor Ritu Sibal
International Journal of Computer Science Issues , 2013,
Abstract: The overall aim of the software industry is to ensure delivery of high quality software to the end user. To ensure high quality software, it is required to test software. Testing ensures that software meets user specifications and requirements. However, the field of software testing has a number of underlying issues like effective generation of test cases, prioritisation of test cases etc which need to be tackled. These issues demand on effort, time and cost of the testing. Different techniques and methodologies have been proposed for taking care of these issues. Use of evolutionary algorithms for automatic test generation has been an area of interest for many researchers. Genetic Algorithm (GA) is one such form of evolutionary algorithms. In this research paper, we present a survey of GA approach for addressing the various issues encountered during software testing
A Survey on Software Testing Techniques using Genetic Algorithm  [PDF]
Chayanika Sharma,Sangeeta Sabharwal,Ritu Sibal
Computer Science , 2014,
Abstract: The overall aim of the software industry is to ensure delivery of high quality software to the end user. To ensure high quality software, it is required to test software. Testing ensures that software meets user specifications and requirements. However, the field of software testing has a number of underlying issues like effective generation of test cases, prioritisation of test cases etc which need to be tackled. These issues demand on effort, time and cost of the testing. Different techniques and methodologies have been proposed for taking care of these issues. Use of evolutionary algorithms for automatic test generation has been an area of interest for many researchers. Genetic Algorithm (GA) is one such form of evolutionary algorithms. In this research paper, we present a survey of GA approach for addressing the various issues encountered during software testing.
Axiomatic Assessment of Logic Coverage Software Testing Criteria
对逻辑覆盖软件测试准则的公理化评估

LIU Ling,MIAO Huai-Kou,
刘玲
,缪淮扣

软件学报 , 2004,
Abstract: Since formal specifications precisely describe the software requirements in a form that can be automatically manipulated, they can be used as the base for automatic test generation and software verification. Logic coverage criteria are the common criteria used in specification-based testing. The main problem of applying these criteria that test engineers face is how to appropriately select each criterion. Thus, the comparison and analysis of these criteria will give a guide to applying each criterion. Axiomatic assessment of test adequacy criteria is an approach to comparing test criteria. This approach defines the intuitive requirements of ideal test adequacy criteria as some axioms, then compares the test adequacy criteria by checking if they satisfy these axioms. This paper proposes some positive properties as the intuitive requirements of ideal logic coverage criteria, and gives a generating algorithm that is used to determine whether a logic coverage criterion is complete. These properties are formally defined as an axioms system. With these formal definitions, the relations among the logic coverage criteria are described as some theorems. Finally, the common logic coverage criteria are assessed against the axioms system. From the assessing result, testers can get some conclusions that help them apply these criteria in practice.
Generation and Optimization of Test cases for Object-Oriented Software Using State Chart Diagram  [PDF]
Ranjita Kumari Swain,Prafulla Kumar Behera,Durga Prasad Mohapatra
Computer Science , 2012,
Abstract: The process of testing any software system is an enormous task which is time consuming and costly. The time and required effort to do sufficient testing grow, as the size and complexity of the software grows, which may cause overrun of the project budget, delay in the development of software system or some test cases may not be covered. During SDLC (software development life cycle), generally the software testing phase takes around 40-70% of the time and cost. State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate the errors in a software system, but also help in reducing the high cost associated with software testing. It is often desired that test data in the form of test sequences within a test suite can be automatically generated to achieve required test coverage. This paper proposes an optimization approach to test data generation for the state-based software testing. In this paper, first state transition graph is derived from state chart diagram. Then, all the required information are extracted from the state chart diagram. Then, test cases are generated. Lastly, a set of test cases are minimized by calculating the node coverage for each test case. It is also determined that which test cases are covered by other test cases. The advantage of our test generation technique is that it optimizes test coverage by minimizing time and cost. The proposed test data generation scheme generates test cases which satisfy transition path coverage criteria, path coverage criteria and action coverage criteria. A case study on Automatic Ticket Machine (ATM) has been presented to illustrate our approach.
Practical Automatic Test Generation Software for Digital Circuits
数字电路自动测试生成实用化软件

BAI Yu-yuan,YANG Shi-yuan,WANG Hong,
白玉媛
,杨士元,王红

计算机应用研究 , 2006,
Abstract: An automatic test generation software for digital circuits that named OCTOPUS100 has been introduced. For the sake of application of ATE and development of TPS, an ATPG system that can automatically generate fault diagnostic data for digital circuit on the Windows NT has been developed. This system is cheaper and easier to spread than earlier ATPG software. This software has the characteristics of flexibility, practicality and generality and its high practical value for the fault diagnostic has been validated by the experiments and probation.
Automatic generation of logical specifications for context-aware systems  [PDF]
Radoslaw Klimek
Computer Science , 2014,
Abstract: Context-awareness is a one of the most important paradigm for nowadays/modern systems. It means sensing and reacting on environment which might be formed by things that belong to the IoT. The information that is derived from sensors constitutes, informally speaking, a kind of speech and language phrases, which could be expressed in terms of formal/temporal logic. Logic avoids ambiguity which is typical for natural languages. Such logical specifications, which could be the result of observing the behavior of users/inhabitants that belong to an environment, then might be used by context-aware applications. The knowledge expressed in terms of temporal logic formulas may constitute an input for formal reasoning processes to support decisions of applications that are context-aware and pro-active.
Automatic Synthesis of Test Cases to Identify Software Redundancy  [PDF]
Matteo Brunetto
Computer Science , 2014,
Abstract: Software system can include redundant implementation elements, such as, different methods that can produce indistinguishable results. This type of redundancy is called intrinsic if it is already available in the software, although not intentionally planned. Redundancy can be a key element to increase the reliability of a system. Some fault tolerance and self-healing techniques exploit the redundancy to avoid failures at runtime. Unfortunately, inferring which operations are equivalent manually can be expensive and error prone. A technique proposed in previous work allows to automatically synthesizes method sequences that are equivalent to a target method. However this technique needs an execution scenario to work. Currently, this execution scenario is generated manually that is expensive and makes the technique hard to use. This paper proposes a technique to generate execution scenarios for a target method for which we are searching equivalent sequences. The experimental results obtained on the Java class Stack show that the proposed approach correctly generates execution scenarios within reasonable execution time. Besides, the execution scenarios generated allow to maximize the effectiveness of the technique described above.
Page 1 /100
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.