When using tools to automatically generate tests-suites from a specification, the selection of coverage criterion that guides the generation process is of imperative importance. In a previous study that evaluated test generation with model checking, we observed that although a coverage criterion may seem reasonable when instrumenting a model or code to measure the adequacy of a test suite, it may be unsuitable when formalized and used to guide the model checker to generate a test suite; the generated tests technically provide adequate coverage according to the formalization, but do so in a way that exercises only small portions of the system under study and finds few faults. Based on those results, we concluded that fully automated test-suite generation techniques must be pursued with great caution and that coverage criteria specifically addressing test-suite generation from formal specifications are needed. In this report, we attempt to better understand these concerns by evaluating several coverage criteria that bring together aspects from condition and control based criteria. We evaluate the fault finding capability of the criteria on a close to production flight guidance system and discuss the opportunities and challenges that arise from the increased use of fully automated model-based testing.
{"title":"Coverage-directed test generation with model checkers: challenges and opportunities","authors":"G. Devaraj, M. Heimdahl, Donglin Liang","doi":"10.1109/COMPSAC.2005.66","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.66","url":null,"abstract":"When using tools to automatically generate tests-suites from a specification, the selection of coverage criterion that guides the generation process is of imperative importance. In a previous study that evaluated test generation with model checking, we observed that although a coverage criterion may seem reasonable when instrumenting a model or code to measure the adequacy of a test suite, it may be unsuitable when formalized and used to guide the model checker to generate a test suite; the generated tests technically provide adequate coverage according to the formalization, but do so in a way that exercises only small portions of the system under study and finds few faults. Based on those results, we concluded that fully automated test-suite generation techniques must be pursued with great caution and that coverage criteria specifically addressing test-suite generation from formal specifications are needed. In this report, we attempt to better understand these concerns by evaluating several coverage criteria that bring together aspects from condition and control based criteria. We evaluate the fault finding capability of the criteria on a close to production flight guidance system and discuss the opportunities and challenges that arise from the increased use of fully automated model-based testing.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124261209","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}
Pub Date : 2005-07-26DOI: 10.1109/COMPSAC.2005.148
U. Buy, H. Darabi, Mihai Lehene, Vikram Venepally
We define supervisory controllers for enforcing deadlines on transition firings in time Petri nets. Given a target net transition t/sub d/, and a deadline /spl lambda/, we generate a controller that under broad assumptions forces t/sub d/ to fire every /spl lambda/ time units. Our supervisory controller is based on the notion of transition latency. The latency of a net transition is an upper bound on the time between the firing of that transition and the firing of t/sub d/. A transition is not allowed to fire when its latency is greater than the amount time left until t/sub d/ must fire. Our real-time supervisory controllers consist of two subnets, which are added to the controlled net in order to enforce deadline /spl lambda/ on the firing of t/sub d/. First, the clock subnet dynamically tracks the amount of time left until the expiration of /spl lambda/. As the deadline approaches, this subnet also indicates transitions that must be disabled because their latency has become greater than the time until the expiration of the deadline. When this happens, a supervisor subnet actually disables these transitions. These transitions are enabled again only after t/sub d/ has fired.
{"title":"Supervisory control of time Petri nets using net unfolding","authors":"U. Buy, H. Darabi, Mihai Lehene, Vikram Venepally","doi":"10.1109/COMPSAC.2005.148","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.148","url":null,"abstract":"We define supervisory controllers for enforcing deadlines on transition firings in time Petri nets. Given a target net transition t/sub d/, and a deadline /spl lambda/, we generate a controller that under broad assumptions forces t/sub d/ to fire every /spl lambda/ time units. Our supervisory controller is based on the notion of transition latency. The latency of a net transition is an upper bound on the time between the firing of that transition and the firing of t/sub d/. A transition is not allowed to fire when its latency is greater than the amount time left until t/sub d/ must fire. Our real-time supervisory controllers consist of two subnets, which are added to the controlled net in order to enforce deadline /spl lambda/ on the firing of t/sub d/. First, the clock subnet dynamically tracks the amount of time left until the expiration of /spl lambda/. As the deadline approaches, this subnet also indicates transitions that must be disabled because their latency has become greater than the time until the expiration of the deadline. When this happens, a supervisor subnet actually disables these transitions. These transitions are enabled again only after t/sub d/ has fired.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124433207","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 user interface for computer applications is typically hard coded and offers minimal flexibility for user customisation. In this paper we list and discuss several requirements for application user interfaces that offer widespread application accessibility, access across international boundaries, and that support user interface individualisation by normal users (without the need for specific software customization by developers). We review related works in XML based user interface deployment and identify shortcomings, and present a solution that we name the Web service based adaptable user interface (WAUI). The major features of the WAUI are; the decoupling of the traditional user interface from both the execution platform and the rest of the application layers by the use of Web services, and providing for an automated user interface adaptation capability based on; the user's selected cultural and internationalization options, the user's preferences for alternative visual display objects, and the preferences that a user defines for modifying the function and layout of application forms and display objects.
{"title":"A user adaptable user interface model to support ubiquitous user access to EIS style applications","authors":"Jon Davis, Andrew Tierney, E. Chang","doi":"10.1109/COMPSAC.2005.37","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.37","url":null,"abstract":"The user interface for computer applications is typically hard coded and offers minimal flexibility for user customisation. In this paper we list and discuss several requirements for application user interfaces that offer widespread application accessibility, access across international boundaries, and that support user interface individualisation by normal users (without the need for specific software customization by developers). We review related works in XML based user interface deployment and identify shortcomings, and present a solution that we name the Web service based adaptable user interface (WAUI). The major features of the WAUI are; the decoupling of the traditional user interface from both the execution platform and the rest of the application layers by the use of Web services, and providing for an automated user interface adaptation capability based on; the user's selected cultural and internationalization options, the user's preferences for alternative visual display objects, and the preferences that a user defines for modifying the function and layout of application forms and display objects.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128494665","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}
A quantitative, adaptive process control technique is described using an industrially validated model of the software system test phase as concrete target to be controlled. The technique combines the use of parameter correction and model predictive control to overcome the problems induced by modeling errors, parameter estimation errors, and limits on the resources available for productivity improvement.
{"title":"A software cybernetic approach to control of the software system test phase","authors":"Scott D. Miller, R. Decarlo, A. Mathur","doi":"10.1109/COMPSAC.2005.33","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.33","url":null,"abstract":"A quantitative, adaptive process control technique is described using an industrially validated model of the software system test phase as concrete target to be controlled. The technique combines the use of parameter correction and model predictive control to overcome the problems induced by modeling errors, parameter estimation errors, and limits on the resources available for productivity improvement.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116886647","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
扫码关注我们
求助内容：
应助结果提醒方式：