NIST · ИТ · 618a345a3f0869f02637
Interface-Driven Model-Based Generation of Java Test Drivers
This paper extends prior work in model-based verification and describes interface-driven analysis that combines with a requirement model to support automated generation of Java test scripts. It describes concepts of models and test driver mappings using
NIST · ИТОфициальный источник · 2002-09-03
{
"title_en": "Interface-Driven Model-Based Generation of Java Test Drivers",
"designation": "",
"series": "",
"status": "",
"date": "2002-09-03",
"date_original": "September 3, 2002",
"url": "https://www.nist.gov/publications/interface-driven-model-based-generation-java-test-drivers",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Mark Blackburn, Robert Busser, Aaron Nauman, Ramaswamy Chandramouli",
"abstract_excerpt_en": "This paper extends prior work in model-based verification and describes interface-driven analysis that combines with a requirement model to support automated generation of Java test scripts. It describes concepts of models and test driver mappings using",
"id": "618a345a3f0869f02637",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Interface-Driven Model-Based Generation of Java Test Drivers",
"designation": "",
"series": "",
"status": "",
"date": "2002-09-03",
"date_original": "September 3, 2002",
"url": "https://www.nist.gov/publications/interface-driven-model-based-generation-java-test-drivers",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Mark Blackburn, Robert Busser, Aaron Nauman, Ramaswamy Chandramouli",
"abstract_excerpt_en": "This paper extends prior work in model-based verification and describes interface-driven analysis that combines with a requirement model to support automated generation of Java test scripts. It describes concepts of models and test driver mappings using"
}
],
"translation_state": "none"
}