Automated Test-Data Generation from Formal Models of Software
نویسنده
چکیده
ion for Model Checking Software Systems with In-terrelated Numeric Constraints. In 9th ACM Foundations of Sofware Eng. Symp., September 2001.[2] M. P. E. Heimdahl, S. Rayadurgam, and W. Visser. Specification Centered Testing. In 2nd Automated Program Analysis,Testing and Verification Workshop, May 2001.[3] S. Rayadurgam and M. P. E. Heimdahl. Coverage Based TestCase Generation Using Model Checkers. In 8th IEEE Eng. ofComputer Based Systems Conf., pages 83–91, April 2001.[4] S. Rayadurgam and M. P. E. Heimdahl. Test-Sequence Gen-eration from Formal Requirement Models. In 6th IEEE HighAssurance Systems Eng. Symp., October 2001.
منابع مشابه
Automated Test Case Generation from IFAD VDM++ Specifications
Most of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While objectoriented paradigm is the most widely accepted methodology for software development, generation of test cases from object-oriented formal specifications is still a relatively unexplored area. In this paper, we present a nov...
متن کاملAutomated Test Case Generation using Petri Nets
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifi...
متن کاملTowards automated model driven development with model transformation and domain specific languages
Modeling plays a very important role in dealing with the complexity of software systems during their development and maintenance processes. As more complex models need to be developed, the importance of transformations between models grows. Model transformations allow the definition and implementation of operations on models, also provide a chain that can enable the automated development of a s...
متن کاملAutomated Test Generation and Verified Software
Testing remains the principal means of verification in commercial practice and in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss s...
متن کاملImproving time-to-market using SDL tools and techniques
In this paper we summarize our experiences in building and integrating new generation, formal-methods based CASE tools to yield pragmatic improvements in software engineering processes in the telecommunication industry. We define an accelerated development methodology (ADM) for the specification, design, testing and re-engineering of telecommunications software. We identify two of the most sign...
متن کامل