Using Model Checking to Generate Test Cases for Critical Systems Год выпуска: 2010Автор: Wei DingИздательство: LAP Lambert Academic PublishingСтраниц: 88ISBN: 9783843355650Описание This thesis presents specification-based test case generation and evaluation techniques. The methods combine mutation analysis with model checking techniques to generate tests to systematically check for safety properties. We generated two categories of tests to check system safety properties from complementary perspective, which are safety passing and failing tests. A set of safety coverage criteria are defined to evaluate the tests. To show the feasibility of our method, we developed a tool kit and applied our method to a sample specification. We automatically generated tests and evaluated the tests with our safety coverage criteria and also on a Java implementation.
Похожие книги
James D. Wolfensohn, Nicholas Stern, United Nations International Conference on Financing for Development. A Case for Aid: Building Consensus for Development Assistance. – М.: , 0. – 0 с. Max Edison. How to Haggle: Professional Tricks for Saving Money on Just About Anything. – М.: , 0. – 0 с. Robert Shemin. Unlimited Riches: Making Your Fortune in Real Estate Investing. – М.: , 2004. – 272 с. Alan Dershowitz. The Case for Peace. – М.: , 2005. – 256 с. Mark Utting, Bruno Legeard. Practical Model-Based Testing: A Tools Approach. – М.: , 2006. – 456 с. Hana Chockler. Coverage Metrics for Model Checking. – М.: LAP Lambert Academic Publishing, 2011. – 144 с. Roy Awedikian. Quality of the design of test cases for automotive software. – М.: LAP Lambert Academic Publishing, 2011. – 316 с. Dr.B.G. GEETHA and . Kanmani. HYBRID APPROACH FOR EFFECTIVE TESTDATA TRADE-OFF FOR SOFTWARE TESTING. – М.: LAP Lambert Academic Publishing, 2010. – 116 с. Ahmed Sayed Ghiduk. Software Test Data Generation Using Genetic Algorithms. – М.: LAP Lambert Academic Publishing, 2012. – 140 с. Bouchaib Falah. An Approach to Regression Test Selection Based on Complexity Metrics. – М.: Scholars' Press, 2013. – 136 с. Tarek Abdunabi. Developing Graphical Design Tool Using Eclipse Technologies. – М.: LAP Lambert Academic Publishing, 2012. – 132 с. Elisangela Vieira. Automated Model-based Test Generation for Timed Systems. – М.: LAP Lambert Academic Publishing, 2010. – 200 с. Wei Ding. Using Model Checking to Generate Test Cases for Critical Systems. – М.: LAP Lambert Academic Publishing, 2010. – 88 с. Aysh M. Alhroob. Software Test Cases Generation. – М.: LAP Lambert Academic Publishing, 2011. – 172 с. UMAR SAEED and ANSUR MAHMOOD AMJAD. BLACK BOX TESTING STRATEGIES FOR FUNCTIONAL TESTING. – М.: LAP Lambert Academic Publishing, 2010. – 124 с. Lucas Lima. Test Case Prioritization Based on Data Reuse. – М.: LAP Lambert Academic Publishing, 2011. – 116 с. Vikas Panthi and Durga Prasad Mohapatra. Test Case Generation using behavioral & Interaction models. – М.: LAP Lambert Academic Publishing, 2012. – 88 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Анастасия С курьером мы встретились, работу после вашего сопровождения я забрала. Курсовая замечательная, спасибо огромное! Хотелось бы, чтобы и преподу она тоже понравилась, так же как и мне:)) Еще раз спасибо!
