发布求助
文献互助 智能选刊 最新文献

12th Asia-Pacific Software Engineering Conference (APSEC'05)最新文献

筛选
英文 中文
Data abstraction and constraint solving for conformance testing 一致性测试的数据抽象和约束求解
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.57
J. Calamé, N. Ioustinova, J. V. D. Pol, N. Sidorova
{"title":"Data abstraction and constraint solving for conformance testing","authors":"J. Calamé, N. Ioustinova, J. V. D. Pol, N. Sidorova","doi":"10.1109/APSEC.2005.57","DOIUrl":"https://doi.org/10.1109/APSEC.2005.57","url":null,"abstract":"Conformance testing is one of the most rigorous and well-developed testing techniques. Model-based test generation is an essential phase of the conformance testing approach. The main problem in this phase is the explosion of the number of test cases, often caused by large or infinite data domains for input and output data. In this paper we propose a test generation framework based on the use of data abstraction and constraint solving to suppress the number of test cases. The approach is evaluated on the CEPS (common electronic purse specifications) case study.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130247216","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
Simulation-based validation and defect localization for evolving, semi-formal requirements models 基于仿真的验证和改进的缺陷定位，半形式化的需求模型
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.97
Christian Seybold, S. Meier
{"title":"Simulation-based validation and defect localization for evolving, semi-formal requirements models","authors":"Christian Seybold, S. Meier","doi":"10.1109/APSEC.2005.97","DOIUrl":"https://doi.org/10.1109/APSEC.2005.97","url":null,"abstract":"When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the specification should be validated as early as possible, and should also be revalidated after each evolutionary step. In this paper, we show how the ideas of continuous integration and automatic regression testing in the field of coding can be adapted for simulation-based, automatic revalidation of requirements models after each incremental step. While the basic idea is fairly obvious, we are confronted with a major obstacle: requirements models under development are incomplete and semi-formal most of the time, while classic simulation approaches require complete, formal models. We present how we can simulate incomplete, semi-formal models by interactively recording missing behavior or functionality. However, regression simulations must run automatically and do not permit interactivity. We therefore have developed a technique where the simulation engine automatically resorts to the interactively recorded behavior in those cases where it does not get enough information from the model during a regression simulation run. Finally, we demonstrate how the information gained from model evolution and regression simulation can be exploited for locating defects in the model.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115152487","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}
引用次数: 9
Architectural style-based modeling and simulation of complex software systems 基于架构风格的复杂软件系统建模与仿真
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.41
P. Guo, G. Engels, R. Heckel
{"title":"Architectural style-based modeling and simulation of complex software systems","authors":"P. Guo, G. Engels, R. Heckel","doi":"10.1109/APSEC.2005.41","DOIUrl":"https://doi.org/10.1109/APSEC.2005.41","url":null,"abstract":"The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural style-based approach to specifying and analyzing complex software systems. The approach developed is based on UML-like meta models and graph transformation techniques to support sound methodological principals, formal analysis and refinement. The approach is illustrated through the specification and simulation of architectural styles of mobile computing middleware, where three abstract levels of architectural styles are defined in order to decrease the complexity brought by mobility.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"33 1-2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134244315","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}
引用次数: 1
Model checking interrupt-dependent software 模型检查中断依赖软件
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.80
C. Fidge, Phil Cook
{"title":"Model checking interrupt-dependent software","authors":"C. Fidge, Phil Cook","doi":"10.1109/APSEC.2005.80","DOIUrl":"https://doi.org/10.1109/APSEC.2005.80","url":null,"abstract":"Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to respond to external events in a timely manner. Such asynchronous control constructs make static analysis difficult due to the potentially large number of alternative control-flow paths they allow. We show how model checking can be used to effectively analyse the behaviour of interrupt-dependent programs. This is done by developing an abstraction of the code that captures its essential timing and functional properties, including those related to external interrupts. The model is made efficient by grouping program instructions into basic blocks whose behaviour is atomic with respect to interrupts.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134484243","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}
引用次数: 7
Using adaptive agents to automatically generate test scenarios from the UML activity diagrams 使用自适应代理从UML活动图自动生成测试场景
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.110
Dong Xu, Huaizhong Li, C. Lam
{"title":"Using adaptive agents to automatically generate test scenarios from the UML activity diagrams","authors":"Dong Xu, Huaizhong Li, C. Lam","doi":"10.1109/APSEC.2005.110","DOIUrl":"https://doi.org/10.1109/APSEC.2005.110","url":null,"abstract":"Test case generation is one of the most important issues in software testing research and industrial practice. Test scenarios are frequently used to derive test cases for scenario-based software testing. However, the generation of the test scenarios is usually a manual and labor-intensive task. It is desired that test scenarios can be automatically generated. In this paper, we propose an automated approach using adaptive agents to directly generate test scenarios from the UML activity diagrams.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"154 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133652765","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}
引用次数: 46
A dynamic optimization strategy for evolutionary testing 进化测试的动态优化策略
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.6
Xiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu
{"title":"A dynamic optimization strategy for evolutionary testing","authors":"Xiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu","doi":"10.1109/APSEC.2005.6","DOIUrl":"https://doi.org/10.1109/APSEC.2005.6","url":null,"abstract":"Evolutionary testing (ET) is an efficient technique of automated test case generation. ET uses a kind of metaheuristic search technique, genetic algorithm (GA), to convert the task of test case generation into an optimal problem. The configuration strategies of GA have notable influences upon the performance of ET. In this paper, represent a dynamic self-adaptation strategy for evolutionary structural testing. It monitors evolution process dynamically, detects the symptom of prematurity by analyzing the population, and adjusts the mutation possibility to recover the diversity of the population. The empirical results show that the strategy can greatly improve the performance of the ET in many cases. Besides, some valuable advices are provided for the configuration strategies of ET by the empirical study.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"384 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124772645","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}
引用次数: 8
Transforming functional signatures of algebraic specifications into object-oriented class signatures 将代数规范的函数签名转换为面向对象的类签名
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.107
Bastian Dölle, W. Dosch
{"title":"Transforming functional signatures of algebraic specifications into object-oriented class signatures","authors":"Bastian Dölle, W. Dosch","doi":"10.1109/APSEC.2005.107","DOIUrl":"https://doi.org/10.1109/APSEC.2005.107","url":null,"abstract":"A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system development. This paper presents a formal method how to transform the signature of an algebraic specification into a collection of object-oriented class signatures in a systematic way. We explore the possible design decisions and manifest them in design functions. The transformation of the signature forms the syntactic basis for relating algebraic specifications with object-oriented modeling in a profound way. The approach bridges the gap between functional specification concepts and object-oriented modeling techniques. An important area of application comprises the top-down development of information storing components. All transformation procedures including the mechanization of the design choices have been implemented in a transformation tool.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130506703","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}
引用次数: 8
Ontology-based active requirements engineering framework 基于本体的主动需求工程框架
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.86
Seok-Won Lee, R. Gandhi
{"title":"Ontology-based active requirements engineering framework","authors":"Seok-Won Lee, R. Gandhi","doi":"10.1109/APSEC.2005.86","DOIUrl":"https://doi.org/10.1109/APSEC.2005.86","url":null,"abstract":"Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required behavior. As we integrate such systems to create information infrastructures that are critical to the quality of our lives and the businesses they support, the need to effectively predict, control and evolve their behavior is ever increasing. To deal with their complexity, an important first step is to understand and model software-intensive systems, their environments and the interdependencies among them at different levels of abstractions from multiple dimensions. In this paper, we present an ontology-based active requirements engineering (Onto-ActRE) framework that adopts a mixed-initiative approach to elicit, represent and analyze the diversity of factors associated with software-intensive systems. The Onto-ActRE framework integrates various RE modeling techniques with complementary semantics in a unifying ontological engineering process. We also present examples from the practice of our framework with appropriate tool support that combines theoretical and practical aspects.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129736439","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}
引用次数: 90
ADDIE instruction design and cognitive apprenticeship for project-based software engineering education in MIS 基于项目的MIS软件工程教育的ADDIE教学设计与认知学徒制
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.26
Shen-Tzay Huang, Yi-Pei Cho, Yu-Jen Lin
{"title":"ADDIE instruction design and cognitive apprenticeship for project-based software engineering education in MIS","authors":"Shen-Tzay Huang, Yi-Pei Cho, Yu-Jen Lin","doi":"10.1109/APSEC.2005.26","DOIUrl":"https://doi.org/10.1109/APSEC.2005.26","url":null,"abstract":"The completion of SWEBOK and SE2004 marks a key milestone for the software engineering education community. It not only initiates issues of what to do next in the long run, but introduces some pragmatic issues such as customization and transition issues in the short term. Meanwhile, there is a lack of theoretical foundation with respect to instruction design and learning theory, which is also a shortage from an interdisciplinary perspective. Based upon experiences and lessons learned, we plan a course of introduction to software engineering based on the ADDIE instruction design model and cognitive apprenticeship enhanced with a situated business case and peer apprenticeship, along within a disciplined software process. We believe it can help combat both customization and transition barriers in the department of management information systems, not only by well-founded pedagogical design and implementation, but by being extensible to capstone projects.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124500648","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}
引用次数: 24
An approach to validation of software architecture model 一种软件体系结构模型验证方法
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.33
Yujian Fu, Zhijiang Dong, Xudong He
{"title":"An approach to validation of software architecture model","authors":"Yujian Fu, Zhijiang Dong, Xudong He","doi":"10.1109/APSEC.2005.33","DOIUrl":"https://doi.org/10.1109/APSEC.2005.33","url":null,"abstract":"Software architectures shift developers' focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. However, the benefits of architecture description languages (ADLs) cannot be fully captured without an automated realization of software architecture designs because manually shifting from a model to its implementation is error-prone. We propose an integrated approach for automatically translating software architecture design models to an implementation and validating the translation as well as the implementation by exploring runtime verification technique and aspect-oriented programming. Specifically, system properties are not only verified against design models, but also verified during the execution of the generated implementation of software architecture design. A prototype tool, SAM Parser, is developed to demonstrate the approach on SAM (Software Architecture Model). In SAM Parser, all the realization and verification code can be automatically generated without human intervention. In this paper, we first brief describe the approach report on a case study conducted at an e-commerce scenario, an online shopping system to assess the benefits of automated realization of software architecture design and validation in a Web service domain.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124235761","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}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信