Formal scenario-based requirements specification and test case generation in healthcare applications.
Renate LöfflerMatthias MeyerMatthias GottschalkPublished in: SEHC@ICSE (2010)
Keyphrases
- requirements specification
- test case generation
- requirements engineering
- software engineering
- software testing
- object oriented systems
- software development
- test cases
- software systems
- software requirements
- test data generation
- life cycle
- development process
- specification language
- information systems
- goal oriented
- test suite
- health care
- systems development
- information technology
- static analysis
- security requirements
- software design
- databases
- formal specification
- java programs
- software maintenance
- distributed systems
- genetic algorithm