29th Annual International Computer Software and Applications Conference (COMPSAC'05)最新文献_第10页

Coverage-directed test generation with model checkers: challenges and opportunities 使用模型检查器生成覆盖导向的测试:挑战和机遇

29th Annual International Computer Software and Applications Conference (COMPSAC'05) Pub Date : 2005-07-26 DOI: 10.1109/COMPSAC.2005.66

G. Devaraj, M. Heimdahl, Donglin Liang

{"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}

引用次数: 16

Supervisory control of time Petri nets using net unfolding 基于网展开的时间Petri网的监控

29th Annual International Computer Software and Applications Conference (COMPSAC'05) Pub Date : 2005-07-26 DOI: 10.1109/COMPSAC.2005.148

U. Buy, H. Darabi, Mihai Lehene, Vikram Venepally

{"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}

引用次数: 13

A user adaptable user interface model to support ubiquitous user access to EIS style applications 用户可适应的用户界面模型，支持无处不在的用户访问EIS风格的应用程序

29th Annual International Computer Software and Applications Conference (COMPSAC'05) Pub Date : 2005-07-26 DOI: 10.1109/COMPSAC.2005.37

Jon Davis, Andrew Tierney, E. Chang

{"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}

引用次数: 16

A software cybernetic approach to control of the software system test phase 一种控制软件系统测试阶段的软件控制论方法

29th Annual International Computer Software and Applications Conference (COMPSAC'05) Pub Date : 2005-07-26 DOI: 10.1109/COMPSAC.2005.33

Scott D. Miller, R. Decarlo, A. Mathur

引用次数: 4