6800 search results - page 174 / 1360 » Testing with Functions as Specifications |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper, we present an innovative methodology to estimate and improve the quality of analog and mixed-signal circuit testing. We first detect and reduce the redundancy in th...
AGILEDC
2009
IEEE
14 years 28 days ago
2009
IEEE
A Continuous Integration system is often considered one of the key elements involved in supporting an agile software development and testing environment. As a traditional software...