@inproceedings{ paradkar_salt-integrated_2000,
  title = {{SALT}-an integrated environment to automate generation of function tests for {APIs}},
  doi = {10.1109/ISSRE.2000.885881},
  abstract = {Automation of test design during the function testing phase is essential both to reduce the substantial cost of testing and to improve the delivered software reliability. We argue for a model based approach specifically designed from a test perspective to automate test design. We describe features of the Specification and Abstraction Language for Testing (SALT) environment which embodies this perspective. SALT allows testers to capture relationships among partitions of input and output variables for a function under test. The tester can also specify (potential) updates to context which result from the function invocation. This context enables the generation of sequences of function invocations with expected outputs. These test specifications along with a fault model, allow generation of an optimized set of test variations. We describe an example to illustrate SALT usage and report results of our pilot study using SALT},
  booktitle = {11th {International} {Symposium} on {Software} {Reliability} {Engineering}, 2000. {ISSRE} 2000. {Proceedings}},
  author = {Paradkar, A},
  year = {2000},
  keywords = {APIs, Ambient intelligence, Character generation, Cost function, Design automation, Fault model, Formal specification, Life testing, SALT, Specification and Abstraction Language for Testing, Target tracking, _done, _meta, _use_for_testing, application program interfaces, automated function test generation, automated test design, automatic programming, automatic testing, data analysis, expected outputs, function invocation, function testing phase, integrated environment, model based approach, optimized test variations, program testing, redundancy, software reliability, software testing, specification languages, test design, test perspective, test specifications},
  pages = {304--316}
}

{"_id":"TRzHi4b88MgZMfpp3","bibbaseid":"paradkar-saltanintegratedenvironmenttoautomategenerationoffunctiontestsforapis-2000","downloads":0,"creationDate":"2015-04-15T11:01:18.329Z","title":"SALT-an integrated environment to automate generation of function tests for APIs","author_short":["Paradkar, A"],"year":2000,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/troeger","bibdata":{"abstract":"Automation of test design during the function testing phase is essential both to reduce the substantial cost of testing and to improve the delivered software reliability. We argue for a model based approach specifically designed from a test perspective to automate test design. We describe features of the Specification and Abstraction Language for Testing (SALT) environment which embodies this perspective. SALT allows testers to capture relationships among partitions of input and output variables for a function under test. The tester can also specify (potential) updates to context which result from the function invocation. This context enables the generation of sequences of function invocations with expected outputs. These test specifications along with a fault model, allow generation of an optimized set of test variations. We describe an example to illustrate SALT usage and report results of our pilot study using SALT","author":["Paradkar, A"],"author_short":["Paradkar, A"],"bibtex":"@inproceedings{ paradkar_salt-integrated_2000,\n title = {{SALT}-an integrated environment to automate generation of function tests for {APIs}},\n doi = {10.1109/ISSRE.2000.885881},\n abstract = {Automation of test design during the function testing phase is essential both to reduce the substantial cost of testing and to improve the delivered software reliability. We argue for a model based approach specifically designed from a test perspective to automate test design. We describe features of the Specification and Abstraction Language for Testing (SALT) environment which embodies this perspective. SALT allows testers to capture relationships among partitions of input and output variables for a function under test. The tester can also specify (potential) updates to context which result from the function invocation. This context enables the generation of sequences of function invocations with expected outputs. These test specifications along with a fault model, allow generation of an optimized set of test variations. We describe an example to illustrate SALT usage and report results of our pilot study using SALT},\n booktitle = {11th {International} {Symposium} on {Software} {Reliability} {Engineering}, 2000. {ISSRE} 2000. {Proceedings}},\n author = {Paradkar, A},\n year = {2000},\n keywords = {APIs, Ambient intelligence, Character generation, Cost function, Design automation, Fault model, Formal specification, Life testing, SALT, Specification and Abstraction Language for Testing, Target tracking, _done, _meta, _use_for_testing, application program interfaces, automated function test generation, automated test design, automatic programming, automatic testing, data analysis, expected outputs, function invocation, function testing phase, integrated environment, model based approach, optimized test variations, program testing, redundancy, software reliability, software testing, specification languages, test design, test perspective, test specifications},\n pages = {304--316}\n}","bibtype":"inproceedings","booktitle":"11th International Symposium on Software Reliability Engineering, 2000. ISSRE 2000. Proceedings","doi":"10.1109/ISSRE.2000.885881","id":"paradkar_salt-integrated_2000","key":"paradkar_salt-integrated_2000","keywords":"APIs, Ambient intelligence, Character generation, Cost function, Design automation, Fault model, Formal specification, Life testing, SALT, Specification and Abstraction Language for Testing, Target tracking, _done, _meta, _use_for_testing, application program interfaces, automated function test generation, automated test design, automatic programming, automatic testing, data analysis, expected outputs, function invocation, function testing phase, integrated environment, model based approach, optimized test variations, program testing, redundancy, software reliability, software testing, specification languages, test design, test perspective, test specifications","pages":"304--316","title":"SALT-an integrated environment to automate generation of function tests for APIs","type":"inproceedings","year":"2000","bibbaseid":"paradkar-saltanintegratedenvironmenttoautomategenerationoffunctiontestsforapis-2000","role":"author","urls":{},"keyword":["APIs","Ambient intelligence","Character generation","Cost function","Design automation","Fault model","Formal specification","Life testing","SALT","Specification and Abstraction Language for Testing","Target tracking","_done","_meta","_use_for_testing","application program interfaces","automated function test generation","automated test design","automatic programming","automatic testing","data analysis","expected outputs","function invocation","function testing phase","integrated environment","model based approach","optimized test variations","program testing","redundancy","software reliability","software testing","specification languages","test design","test perspective","test specifications"],"downloads":0},"search_terms":["salt","integrated","environment","automate","generation","function","tests","apis","paradkar"],"keywords":["apis","ambient intelligence","character generation","cost function","design automation","fault model","formal specification","life testing","salt","specification and abstraction language for testing","target tracking","_done","_meta","_use_for_testing","application program interfaces","automated function test generation","automated test design","automatic programming","automatic testing","data analysis","expected outputs","function invocation","function testing phase","integrated environment","model based approach","optimized test variations","program testing","redundancy","software reliability","software testing","specification languages","test design","test perspective","test specifications"],"authorIDs":[],"dataSources":["zHc5HdgBCDgkarEqH"]}