In this paper, we examine how good validation test benches can be automatically generated starting from the RTL description of a circuit. We develop our methodology based on extensive experiments performed with severa...
详细信息
ISBN:
(纸本)9781581136777
In this paper, we examine how good validation test benches can be automatically generated starting from the RTL description of a circuit. We develop our methodology based on extensive experiments performed with several popular benchmarks as well as industrial circuits.
Test data generation using traditional software testing methods generally requires considerable manual effort and generates only a limited number of test cases before the amount of time expanded becomes unacceptably l...
详细信息
Test data generation using traditional software testing methods generally requires considerable manual effort and generates only a limited number of test cases before the amount of time expanded becomes unacceptably large. A rule-based framework that will automatically generate test data to achieve maximal branch coverage is presented. The design and discovery of rules used to generate meaningful test cases are also described. The rule-based approach allows this framework to be extended to include additional testing requirements and test case generation knowledge.
A new software testing strategy is outlined. The strategy is "adaptive" in that previous test paths are employed as a guide in the selection of subsequent paths. Preliminary implementations have used the m...
详细信息
A new software testing strategy is outlined. The strategy is "adaptive" in that previous test paths are employed as a guide in the selection of subsequent paths. Preliminary implementations have used the method's inherent user-interactive capability successfully. The method ensures branch coverage and necessitates only "order n" tests, in which "n" is the number of decision nodes in the program flowgraph. The method offers many advantages over existing strategies in its computational requirements. This method, called the path-prefix strategy, has few computational requirements because there are fewer decision nodes to consider in the interpretation of the path constraints on the input than would be the case with complete paths in traditional methods.
Práce se zabývá vytvářením sady testů pro XML-RPC rozhraní systému Spacewalk a to převážně knihovny, která má vytváření usnadnit. Řešení vycház...
详细信息
Práce se zabývá vytvářením sady testů pro XML-RPC rozhraní systému Spacewalk a to převážně knihovny, která má vytváření usnadnit. Řešení vychází z analýzy systému Spacewalk z pohledu komunikace pomocí XML-RPC. Práce také prezentuje několik metod, jak lze vyhodnocovat kvalitu testů. Popsána je implementace metody pokrytí větví zdrojového kódu.
暂无评论