A theory-driven testing methodology for developing scientific software.
Peter C. R. LaneFernand GobetPublished in: J. Exp. Theor. Artif. Intell. (2012)
Keyphrases
- test cases
- model based testing
- theoretical framework
- development lifecycle
- software testing
- software development life cycle
- software development
- development methodologies
- software requirements
- data driven
- testing process
- scientific data
- computational model
- conceptual framework
- driven learning
- test case generation
- hardware design
- test data generation
- embedded software
- quality assurance
- software package
- software design
- integration testing
- software architecture
- design and implementation issues
- formal methods
- regression testing
- general theory
- data sets
- software maintenance
- software tools
- software components
- statistical methods
- source code
- artificial intelligence