ESE
2006
13 years 12 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
ENTCS
2008
13 years 12 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
ENTCS
2010
13 years 12 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
CORR
2010
Springer
13 years 12 months ago
2010
Springer
In this paper a new solution is proposed for testing simple stwo stage electronic circuits. It minimizes the number of tests to be performed to determine the genuinity of the circ...
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
13 years 12 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
CACM
2010
13 years 12 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
ASWEC
2010
IEEE
14 years 2 days ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
WCE
2007
14 years 1 months ago
2007
This paper deals with the identification of best and optimized test cases in program components and software artifacts. Our purpose is to simulate the model on a sample software pr...
PDSE
1998
14 years 1 months ago
1998
With the advancement in network speed and computing power; distributed multimedia applications are becoming populal: However;generalprinciples of system testing cannot be directly...
AAAI
1997
14 years 1 months ago
1997
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...