Overall functional coverage is the ratio of states actually tested to all states derived from the value domains of the data, using the concept of equivalence classes to reduce the number of possible states. At least three levels of state coverage result: (1) generation of each input state triggering a specified action: (2) generation of each input state specified by the human oracle; and (3) generation of each possible input state. Functional coverage based on the specification is therefore proposed as an alternative to structural and data coverage. However, to make functional coverage measurable, it is necessary to define input states based on a prediction of the usage profile. One way of doing this is to use a special assertion language that pairs preconditions and postconditions together with operational modes and time constraints. Generating all specified preconditions and validating all specified postconditions for all operational modes under all time constraints is equivalent to functional coverage, provided that all relevant input states are covered by the specification.<>
{"title":"State coverage of embedded realtime programs","authors":"H. M. Sneed","doi":"10.1109/WST.1988.5384","DOIUrl":"https://doi.org/10.1109/WST.1988.5384","url":null,"abstract":"Overall functional coverage is the ratio of states actually tested to all states derived from the value domains of the data, using the concept of equivalence classes to reduce the number of possible states. At least three levels of state coverage result: (1) generation of each input state triggering a specified action: (2) generation of each input state specified by the human oracle; and (3) generation of each possible input state. Functional coverage based on the specification is therefore proposed as an alternative to structural and data coverage. However, to make functional coverage measurable, it is necessary to define input states based on a prediction of the usage profile. One way of doing this is to use a special assertion language that pairs preconditions and postconditions together with operational modes and time constraints. Generating all specified preconditions and validating all specified postconditions for all operational modes under all time constraints is equivalent to functional coverage, provided that all relevant input states are covered by the specification.<<ETX>>","PeriodicalId":269073,"journal":{"name":"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis","volume":"161 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131460858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The authors present a representation for concurrent systems, called a task interaction graph, that facilitates analysis. They have developed a model of interacting tasks that can considerably reduce the number of states in concurrency graph representations. They call this representation a task interaction concurrency graph (TIGC), since it is derived from a task interaction graph (TIG) instead of from a control-flow representation. Using their model, the authors have compared the resulting representations for some of the common concurrency examples that appear in the literature. For these examples, the number of states were reduced by well over 50%. Such a substantial reduction is expected to have a major impact on the kinds of analysis that can be applied and on the kinds of programs that can be analyzed.<>
{"title":"Task interaction graphs for concurrency analysis","authors":"Douglas L. Long, Lori A. Clarke","doi":"10.1109/WST.1988.5366","DOIUrl":"https://doi.org/10.1109/WST.1988.5366","url":null,"abstract":"The authors present a representation for concurrent systems, called a task interaction graph, that facilitates analysis. They have developed a model of interacting tasks that can considerably reduce the number of states in concurrency graph representations. They call this representation a task interaction concurrency graph (TIGC), since it is derived from a task interaction graph (TIG) instead of from a control-flow representation. Using their model, the authors have compared the resulting representations for some of the common concurrency examples that appear in the literature. For these examples, the number of states were reduced by well over 50%. Such a substantial reduction is expected to have a major impact on the kinds of analysis that can be applied and on the kinds of programs that can be analyzed.<<ETX>>","PeriodicalId":269073,"journal":{"name":"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129188198","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
It is suggested that in order for an industrial or commercial organization to perceive a need for and purchase a software tool (particularly for validation), certain conditions need to be true, and these are presented in brief form. The lessons for technology transfer which can be derived from this analysis are as follows. It is essential that researchers conduct experiments into the benefits and cost of tool deployment. It is clearly better for industry in general if the experiments are not performed by the tool vendors. Information about tools, their spheres of applicability, limitations, benefits and costs should be made widely available in the literature. The provision of educational courses for specific techniques and tools and more general courses is one area where tool vendors and other specialists have already provided adequate facilities.<>
{"title":"Technology transfer","authors":"M. Hennell","doi":"10.1109/wst.1988.5382","DOIUrl":"https://doi.org/10.1109/wst.1988.5382","url":null,"abstract":"It is suggested that in order for an industrial or commercial organization to perceive a need for and purchase a software tool (particularly for validation), certain conditions need to be true, and these are presented in brief form. The lessons for technology transfer which can be derived from this analysis are as follows. It is essential that researchers conduct experiments into the benefits and cost of tool deployment. It is clearly better for industry in general if the experiments are not performed by the tool vendors. Information about tools, their spheres of applicability, limitations, benefits and costs should be made widely available in the literature. The provision of educational courses for specific techniques and tools and more general courses is one area where tool vendors and other specialists have already provided adequate facilities.<<ETX>>","PeriodicalId":269073,"journal":{"name":"[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134107265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：