67 search results - page 3 / 14 » Generating Tests for Control Portion of SDL Specifications |
COMPSAC
2006
IEEE
14 years 10 days 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...
ATS
2009
IEEE
13 years 11 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
RSP
1998
IEEE
13 years 10 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
ISSRE
2000
IEEE
13 years 10 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
CORR
2004
Springer
13 years 6 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...