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

Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)最新文献

筛选
英文 中文
Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts 从Statecharts指定的行为模型生成代码
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24471
R. Shibuya, R. Penteado, P. C. Masiero
{"title":"Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts","authors":"R. Shibuya, R. Penteado, P. C. Masiero","doi":"10.5753/sbes.1994.24471","DOIUrl":"https://doi.org/10.5753/sbes.1994.24471","url":null,"abstract":"Um algoritmo eficiente para execução de statecharts, adaptado de um proposto por Drusinsky e Harel para síntese de hardware é apresentado. Esse algoritmo decompõe um statechart em um conjunto de máquinas de estados finito executando concorrentemente e comunicando-se entre si. Mostra-se também como o algoritmo é usado genericamente para, dentro do ambiente StatSim, gerar código em Occam para núcleos de sistemas reativos especificados por statecharts. Diferenças, vantagens e desvantagens deste algoritmo em relação ao de Drusinsky e Harel são discutidas e um exemplo é apresentado para ilustrar o seu uso.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124710784","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}
引用次数: 0
Constrained Mutation in C programs C程序中的约束突变
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24483
W. Wong, J. Maldonado, M. Delamaro, A. Mathur
{"title":"Constrained Mutation in C programs","authors":"W. Wong, J. Maldonado, M. Delamaro, A. Mathur","doi":"10.5753/sbes.1994.24483","DOIUrl":"https://doi.org/10.5753/sbes.1994.24483","url":null,"abstract":"Software development is always under the pressure of time and budget constraints before release. A good testing strategy should not only be effective and economical but also incremental. Although mutation testing has been empirically found to be effective in detecting faults, it remains unused for reasons of economics. A major obstacle to the use of mutation testing is its high computational cost. In this paper we report results from experiments designed to investigate six different constrained mutation mechanisms. Our data indicate that these alternatives not only reduce the cost of mutation significantly in terms of the number of test cases required and the number of mutants to be examined, but also maintain very good fault detection effectiveness. Effects of incremental mutation testing examining different sets of mutants are also discussed. Furthermore, our experiments are unique in that constrained mutation was performed directly on C programs. This eliminates the possible bias experienced by earlier mutation studies because of the programming language translation between the Fortran, Pascal, and C.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124584071","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
Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos 面向对象形式规范细化的真实案例研究
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24465
Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio R. L. Meira
{"title":"Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos","authors":"Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio R. L. Meira","doi":"10.5753/sbes.1994.24465","DOIUrl":"https://doi.org/10.5753/sbes.1994.24465","url":null,"abstract":"Este trabalho apresenta um método de refinamento para especificações em MooZ através de sua aplicação a um estudo de caso. MooZ é uma linguagem de especificação que é uma extensão orientada a objetos de Z. O código final obtido como produto do refinamento utiliza Eiffel, uma linguagem de programação orientada a objetos.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132689956","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}
引用次数: 0
Comparando o Processo de Modelagem de Técnicas de Análise Orientada a Objetos 比较了面向对象分析技术的建模过程
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24467
Guillermo Bustos Reinoso, C. A. Heuser
{"title":"Comparando o Processo de Modelagem de Técnicas de Análise Orientada a Objetos","authors":"Guillermo Bustos Reinoso, C. A. Heuser","doi":"10.5753/sbes.1994.24467","DOIUrl":"https://doi.org/10.5753/sbes.1994.24467","url":null,"abstract":"Na literatura, há diversas propostas de técnicas de análise orientada a objetos. Estas técnicas diferenciam-se em vários aspectos, como, por exemplo, nos conceitos usados na modelagem e no processo de obtenção do modelo. O artigo faz uma comparação de algumas técnicas consideradas como mais representativas. São comparados o processo de análise e o resultado da aplicação deste processo para cada abordagem. Para tal, são propostos diversos critérios. Os critérios são separados por aspecto de modelagem (estrutural, dinâmico e funcional) e a integração destes aspectos. Uma avaliação quantitativa é fornecida para todos os critérios.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130390065","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}
引用次数: 0
Id: Um Sistema de Hipertexto Configurável e Orientado a Objetos para Integrar os Documentos do Software Id:一个可配置的、面向对象的超文本系统，用于集成软件文档
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24473
Renato Silva Cabral, Silvio R. L. Meira
{"title":"Id: Um Sistema de Hipertexto Configurável e Orientado a Objetos para Integrar os Documentos do Software","authors":"Renato Silva Cabral, Silvio R. L. Meira","doi":"10.5753/sbes.1994.24473","DOIUrl":"https://doi.org/10.5753/sbes.1994.24473","url":null,"abstract":"A falta de integração dos documentos produzidos durante o Ciclo de Vida do Software (CiViS) é um dos problemas enfrentados para fazer a manutenção do mesmo. A tecnologia de Hipertexto tem sido muito explorada na construção de ferramentas CASE para a integração de documentos. Isto acontece pela facilidade de relacionar documentos através de referências (links). Este trabalho propõe uma arquitetura orientada a objeto de hipertexto para integração de documentos do CiViS. Esta arquitetura é configurável no sentido de estruturar os documentos independentemente da metodologia usada no desenvolvimento e por permitir que os conteúdos dos nós sejam manipulados por ferramentas externas. Para isso propõe-se um protocolo de comunicação com estas ferramentas para que se possa definir âncoras nos conteúdos manipulados por elas. Utilizando esta proposta, um sistema de hipertexto foi especificado formalmente utilizando a linguagem MooZ (Modular Object Oriented Z). Então, um protótipo deste hipertexto, denominado Id, foi construído e os resultados dos primeiros testes mostram que os objetivos da arquitetura estão sendo alcançados.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128069090","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}
引用次数: 0
A Visual Object-Oriented Meta-CASE Environment 一个可视化的面向对象的元案例环境
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24474
Alvaro Ortigosa, M. Campo, R. T. Price
{"title":"A Visual Object-Oriented Meta-CASE Environment","authors":"Alvaro Ortigosa, M. Campo, R. T. Price","doi":"10.5753/sbes.1994.24474","DOIUrl":"https://doi.org/10.5753/sbes.1994.24474","url":null,"abstract":"The current need of highly integrated and customizable software development environments requires a “meta” approach. An object-oriented approach that supports visual specification of languages and relationships between tools is presented. This Meta-CASE approach, based on an object-oriented editor framework, includes all the features encountered in earlier language oriented editor generators and in the current database and hypertext approaches to environment integration.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130491701","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}
引用次数: 0
Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação 集成测试中的非可执行路径:特性、预测和确定
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24484
S. Vergilio, J. Maldonado, Mario Jino
{"title":"Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação","authors":"S. Vergilio, J. Maldonado, Mario Jino","doi":"10.5753/sbes.1994.24484","DOIUrl":"https://doi.org/10.5753/sbes.1994.24484","url":null,"abstract":"Extensões de critérios estruturais para realizar o teste de integração têm sido propostas com o objetivo de revelar erros de interface e oferecer medidas de cobertura. Esses tipos de erros são em geral mais custosos pois, podem causar mudanças em outros programas. Um problema com esses critérios é que eles podem requerer a execução de caminhos não executáveis. A existência de caminhos não executáveis dificulta a tarefa de geração de dados de teste para satisfazer um dado critério. Este trabalho apresenta os principais resultados obtidos estudando-se a executabilidade de caminhos requeridos para realizar o teste de integração de programas extraídos de um “benchmark”. Esses resultados mostram que a executabilidade de caminhos num programa pode ser dependente do contexto de outros programas. Além disso, o trabalho mostra como certas facilidades utilizadas para tratamento de não executabilidade no teste de unidade, podem ser usadas para caracterizar, prever e determinar caminhos não executáveis no teste de integração.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130841980","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
Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems 面向视点的多处理器实时系统设计方法
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24470
Zhang, J., V. Katwijk, Delft Uuivtrsity of Ttchnology
{"title":"Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems","authors":"Zhang, J., V. Katwijk, Delft Uuivtrsity of Ttchnology","doi":"10.5753/sbes.1994.24470","DOIUrl":"https://doi.org/10.5753/sbes.1994.24470","url":null,"abstract":"In this paper we describe a design methodology for the development of (potentially multi-processor) real-time system. Our proposed methodology differs fundamentally from current methodology and serves to help manage the complexity of massive-intensive systems. One of the distinguishing aspects of this methodology is in its ability to express timing constraints and verify to what extent such constraints are met. A second distinguishing aspect of this methodology is to develop a system according to five views of systems. In particular, the problems concerned with the transformation of the specifications into the parallel programs are addressed. The proposed methodology is applied to develop an onboard generator for generating transfer frames, complyannt to the CCSDS Recommendations [34], [35]. This onboard generator is implemented on a transputer network [1], [2].","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129505001","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}
引用次数: 0
Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri 突变体分析在基于Petri网络的规范验证中的应用
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24482
S. Fabbri, J. Maldonado, P. C. Masiero, M. E. Delamaro
{"title":"Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri","authors":"S. Fabbri, J. Maldonado, P. C. Masiero, M. E. Delamaro","doi":"10.5753/sbes.1994.24482","DOIUrl":"https://doi.org/10.5753/sbes.1994.24482","url":null,"abstract":"A atividade de Teste é uma das atividades fundamentais do ciclo de desenvolvimento de software. Para Sistemas Reativos, a atividade de validação de seu aspecto comportamental é ainda mais relevante, uma vez que falhas nesses sistemas, em geral, provocam grandes perdas econômicas e sociais. O objetivo deste artigo é explorar a aplicação do critério de teste Análise de Mutantes para validar especificações baseadas em Redes de Petri. Apresentam-se o projeto dos operadores de mutação para Redes de Petri, ponto chave para a aplicação do critério Análise de Mutantes, e os resultados obtidos da aplicação manual desse critério em uma especificação de um protocolo (extraída de [TAN89]). A viabilidade de automatização da aplicação do critério Análise de Mutantes para Redes de Petri é brevemente discutida, com base na ferramenta Proteum/FSM [FAB94a], especificada para apoiar o uso desse critério na validação de especificações baseadas em MEF.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128557461","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
A Formal Description of an Incremental Type-Checker for Z 增量类型检查器的形式化描述
Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994) Pub Date : 1994-10-26 DOI: 10.5753/sbes.1994.24464
Alexandre M. L. de Vasconcelos
{"title":"A Formal Description of an Incremental Type-Checker for Z","authors":"Alexandre M. L. de Vasconcelos","doi":"10.5753/sbes.1994.24464","DOIUrl":"https://doi.org/10.5753/sbes.1994.24464","url":null,"abstract":"In this paper, we describe some of the difficulties that must be tackled when type-checking Z [1] specifications on an incremental basis. We formalise, in Z itself, the possible dependency relationships for each kind of Z definition. Then, we present an extensive list of issues that an incremental type-checking algorithm for Z must deal with, as well as an outline specification of an incremental type-checking algorithm which deals with these issues.","PeriodicalId":307252,"journal":{"name":"Anais do VIII Simpósio Brasileiro de Engenharia de Software (SBES 1994)","volume":"161 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121538137","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}
引用次数: 0
首页 上一页
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学术官方微信