{"title":"测试系统的自然语言前端","authors":"J Garbajosa , O Tejedor , M Wolff","doi":"10.1016/0066-4138(94)90076-0","DOIUrl":null,"url":null,"abstract":"<div><p>Current verification tools for critical systems require the test engineers to be fully acquainted with several areas such as the physical systems for which the tests are being defined, and programming techniques, since engineering concepts are very far from computing. The implementation of front-end tools enabled to accept tests described in Natural Language and graphics may help to reduce this distance.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 261-267"},"PeriodicalIF":0.0000,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90076-0","citationCount":"4","resultStr":"{\"title\":\"Natural language front end to test systems\",\"authors\":\"J Garbajosa , O Tejedor , M Wolff\",\"doi\":\"10.1016/0066-4138(94)90076-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Current verification tools for critical systems require the test engineers to be fully acquainted with several areas such as the physical systems for which the tests are being defined, and programming techniques, since engineering concepts are very far from computing. The implementation of front-end tools enabled to accept tests described in Natural Language and graphics may help to reduce this distance.</p></div>\",\"PeriodicalId\":100097,\"journal\":{\"name\":\"Annual Review in Automatic Programming\",\"volume\":\"19 \",\"pages\":\"Pages 261-267\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/0066-4138(94)90076-0\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annual Review in Automatic Programming\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/0066413894900760\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Review in Automatic Programming","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0066413894900760","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Current verification tools for critical systems require the test engineers to be fully acquainted with several areas such as the physical systems for which the tests are being defined, and programming techniques, since engineering concepts are very far from computing. The implementation of front-end tools enabled to accept tests described in Natural Language and graphics may help to reduce this distance.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
