Add to ORKGAutomatic Specification-Based test result analysis tool support is crucial for applying specification-based test in practice. It fills in the blank of lacking in supporting tool for formal specification test. In this paper, we present a supporting tool, which enables us to detect errors from various predicate expressions. The target objective of the testing supported by our tool is the formal specification written in the Structured Object-oriented Formal Language (SOFL). The experiment result indicates that the tool can handle most of types in specification, besides some rarely used types
. In this paper we develop a framework for semi-automated generation of test cases for object orient...
The current strategies for testing object-oriented software all lack the formal basis which is neces...
Even with increasing use of formal methods for software development, software testing continues to b...
Automatic Specification-Based test result analysis tool support is crucial for applying specificatio...
Formal specification-based testing is generally superior to conventional black-box testing due to th...
Writing formal specifications is perceived as a way to help developers understand users’ requirement...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
Automatic test case generations in a potentially effective technique for program testing, but it sti...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Kuhn, followed by Tsuchiya and Kikuno, have developed a hierarchy of relationships among several com...
Formal specifications can precisely and unambiguously define the required behavior of a software sys...
. In this paper we describe how formal specifications can be used to support the software testing p...
Abstract—SOFL formal specifications have been proved to beuseful and expressive enough in describing...
Writing unit test code is labor-intensive, hence it is often not done as an integral part of program...
. In this paper we develop a framework for semi-automated generation of test cases for object orient...
The current strategies for testing object-oriented software all lack the formal basis which is neces...
Even with increasing use of formal methods for software development, software testing continues to b...
Automatic Specification-Based test result analysis tool support is crucial for applying specificatio...
Formal specification-based testing is generally superior to conventional black-box testing due to th...
Writing formal specifications is perceived as a way to help developers understand users’ requirement...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
Automatic test case generations in a potentially effective technique for program testing, but it sti...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Kuhn, followed by Tsuchiya and Kikuno, have developed a hierarchy of relationships among several com...
Formal specifications can precisely and unambiguously define the required behavior of a software sys...
. In this paper we describe how formal specifications can be used to support the software testing p...
Abstract—SOFL formal specifications have been proved to beuseful and expressive enough in describing...
Writing unit test code is labor-intensive, hence it is often not done as an integral part of program...
. In this paper we develop a framework for semi-automated generation of test cases for object orient...
The current strategies for testing object-oriented software all lack the formal basis which is neces...
Even with increasing use of formal methods for software development, software testing continues to b...