Specification based testing tools

For more info about our services contact : help@bestpfe.com

Table of contents

1 Introduction 
1.1 Automatic testing
1.2 StreamBits
1.3 Project goals
2 Literature review 
2.1 Specification based testing
2.1.1 Formal Specification languages
2.1.2 Design by contract
2.2 Value checking based testing
3 Background 
3.1 Value checking based Testing tools
3.1.1 JUnit
3.2 Specification based testing tools
3.2.1 iContract
3.2.2 Korat
3.2.3 QuickCheck
3.3 Programming in Streambits
3.3.1 Components
3.3.2 Data types
3.3.3 Init- Configure- Work
3.3.4 Main function
3.3.5 Threaded Framework and streamrate
4 Implementation 
4.1 The test tool
4.1.1 Autotest
4.1.2 Data generators
4.1.3 Config
4.1.4 Data collector
4.1.5 The log filter
4.1.6 Stream rate test
4.2 Test program from programmers point of view
4.2.1 Main
4.2.2 Property
4.2.3 Class Test
4.3 Execution of test tool
5 Results 
5.1 Adder
5.1.1 Functionality
5.1.2 Test
5.1.3 Results
5.2 Matrix multiplication
5.2.1 Functionality
5.2.2 Test
5.2.3 Results
6 Conclusion 
6.1 Future work
References