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

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

筛选
英文 中文
Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço 面向对象的形式化规范的实际应用:应力心电图处理系统
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24409
G. H. Motta, Silvio R. L. Meira, L. C. Carvalho
{"title":"Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço","authors":"G. H. Motta, Silvio R. L. Meira, L. C. Carvalho","doi":"10.5753/sbes.1993.24409","DOIUrl":"https://doi.org/10.5753/sbes.1993.24409","url":null,"abstract":"Este trabalho descreve a experiência no uso de especificações formais orientadas a objetos na construção de um sistema para processamento automático do eletrocardiograma de esforço. A construção do sistema empregou uma metodologia de desenvolvimento de software orientado a objetos que tem Rota MooZ, uma linguagem de especificação formal orientada a objetos, utilizada como notação para descrição, documentação e projeto do software. O uso de uma notação matemática abstrata, estruturada e bem definida deu o suporte para um bom entendimento do problema estudado ainda nos estágios iniciais do desenvolvimento.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130550275","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
Evaluation of The Cost of Alternate Mutation Strategies 备选突变策略成本的评估
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24414
Adilya P. Malhur, W. Wong
{"title":"Evaluation of The Cost of Alternate Mutation Strategies","authors":"Adilya P. Malhur, W. Wong","doi":"10.5753/sbes.1993.24414","DOIUrl":"https://doi.org/10.5753/sbes.1993.24414","url":null,"abstract":"Amongst the various testing strategies, mutation testing has been empirically found to be the most effective in detecting faults. However, mutation often imposes unacceptable demands on computing and human resources due to the large number of mutants that need to be compiled and executed on one or more test cases. In addition, the tester needs to examine many mutants and analyze these for possible equivalence with the program under test. For these reasons, mutation is generally regarded by the praeticing test engineer as too expensive to use. As one significant component of the cost of mutation is the execution of mutants against test cases, we believe that the cost can be reduced dramatically by reducing the number of mutants that need to be examined. We report the results from a case study designed to investigate two alternatives to reduce the cost of mutation. The alternatives considered are: (1) randomly selected 2% mutation and (2) constrained mutation. We provide experimental data indicating that both alternatives lead to test sets that distinguish a significant number of all mutants and provide high all-uses coverage.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"258 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124228593","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}
引用次数: 11
HyFor - Uma ferramenta de apoio a manutenção de software científico HyFor -支持科学软件维护的工具
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24415
Carla Gama Alves, Marcos Roberto S. Borges
{"title":"HyFor - Uma ferramenta de apoio a manutenção de software científico","authors":"Carla Gama Alves, Marcos Roberto S. Borges","doi":"10.5753/sbes.1993.24415","DOIUrl":"https://doi.org/10.5753/sbes.1993.24415","url":null,"abstract":"There is a great amount of scientific software developed by engineers and non-specialized technicians being used on companies, especially engineering companies. The great majority of this software was built without applying any software engineering techniques and has a minimum documentation, causing an increasing cost of maintenance. A special environment designed specially for achieving higher productivity on the maintenance of this type of software is described in this article. The hypertext paradigm and the association of quality evaluation reports are the major aspects of this environment.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130222817","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
Uma Estratégia para Geração de Dados de Teste 生成测试数据的策略
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24413
S. Vergilio, J. Maldonado, Mario Jino
{"title":"Uma Estratégia para Geração de Dados de Teste","authors":"S. Vergilio, J. Maldonado, Mario Jino","doi":"10.5753/sbes.1993.24413","DOIUrl":"https://doi.org/10.5753/sbes.1993.24413","url":null,"abstract":"Teste de software é uma das atividades mais onerosas dentre as de garantia de qualidade de software. Dentro das atividades de teste, a etapa mais difícil de ser automatizada é a de geração de dados de teste para caminhos que cobrem os elementos requeridos por um determinado critério, pois não existe algoritmo tal que, dado um caminho completo qualquer, forneça o conjunto de valores para as variáveis de entrada do programa que executa o caminho dado; não existe algoritmo nem mesmo para dizer se esse conjunto existe, ou seja, se o caminho é executável. Neste trabalho é apresentada uma estratégia para reduzir os efeitos causados por caminhos não executáveis na geração de dados de teste. A estratégia permite em alguns casos, evitar que esforço seja gasto com esses caminhos e também permite reduzir custos, minimizando o número de caminhos a serem executados. Também é apresentada uma maneira de gerar dados de teste para os elementos requeridos pelo teste estrutural, a fim de que eles possam cobrir também certos tipos de erros, detectados por exemplo, por técnicas funcionais. Esses aspectos são discutidos através de exemplos de utilização.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116298998","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}
引用次数: 3
Utilização da Metodologia OMT na Construção de Ferramentas CASE 在构建案例工具时使用OMT方法
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24410
Renato Silva Cabral, Sandra de Albuquerque Jansen, Patrícia Porto Carreiro, J. Castro
{"title":"Utilização da Metodologia OMT na Construção de Ferramentas CASE","authors":"Renato Silva Cabral, Sandra de Albuquerque Jansen, Patrícia Porto Carreiro, J. Castro","doi":"10.5753/sbes.1993.24410","DOIUrl":"https://doi.org/10.5753/sbes.1993.24410","url":null,"abstract":"Este trabalho descreve à experiência de utilização de uma metodologia orientada a objeto no desenvolvimento de ferramentas CASE (Computer Aided Software Engeneering). Foi feito um estudo comparativo entre algumas metodologias orientadas a objeto, escolhendo-se a OMT. (Object Modeling Technique) para a construção de uma ferramenta. Ao final, foi possível identificar as vantagens e desvantagens do uso da metodologia orientada a objeto OMT no processo de desenvolvimento.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129111862","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
Semântica Denotacional Legível 可读的外延语义
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24394
Joseeldo da Silva Júnior, R. Bigonha
{"title":"Semântica Denotacional Legível","authors":"Joseeldo da Silva Júnior, R. Bigonha","doi":"10.5753/sbes.1993.24394","DOIUrl":"https://doi.org/10.5753/sbes.1993.24394","url":null,"abstract":"Este trabalho apresenta uma nova alternativa à descrição de linguagens de programação. Partindo do fato que os principais problemas encontrados em definições formais são sua baixa legibilidade e dificuldade de compreensão, foi examinada a adequação da aplicação das técnicas de literate programming a semântica denotacional. Como resultado foi definida a linguagem de especificação LDS. LDS une prosa informal e equações semânticas numa mesma estrutura, promovendo um estilo de descrição onde a ênfase se encontra na estruturação e apresentação das definições.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131701781","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
Sobre o Comportamento de Objetos 关于对象的行为
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24404
S. Carvalho
{"title":"Sobre o Comportamento de Objetos","authors":"S. Carvalho","doi":"10.5753/sbes.1993.24404","DOIUrl":"https://doi.org/10.5753/sbes.1993.24404","url":null,"abstract":"O comportamento procedural, o único em geral disponivel em linguagens orientadas a objetos, é necessário na construção de programas. No entanto, outras semânticas de comportamento, bem conhecidas e úteis na programação convencional, não tem representação na maioria daquelas linguagens. Neste artigo propomos a inclusão, em classes, de operações para o tratamento de mensagens assíncronas, para o tratamento de exceções e para a produção de sequências de valores para objetos controladores de repetição, oferecendo exemplos de seus usos.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129984487","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
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations 使用代数高级网络和转换的并发系统的形式化开发
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24392
L. Ribeiro, H. Ehrig, J. Padberg
{"title":"Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations","authors":"L. Ribeiro, H. Ehrig, J. Padberg","doi":"10.5753/sbes.1993.24392","DOIUrl":"https://doi.org/10.5753/sbes.1993.24392","url":null,"abstract":"In this paper we present algebraic high-level nets: a combination of algebraic specifications and Petri nets. Algebraic specifications are used to specify the data-structure and Petri nets to specify the data-flow. This combination is a very powerful description technique. Moreover we introduce net transformations, net fusions and net unions as structuring techniques. Fusions and unions can be considered as horizontal structuring mechanisms in the sense that we combine nets to obtain a new net consisting of the given components. Fusions capture the notion of sharing of subnets, while unions are kinds of net composition. Net transformations are based on concepts from graph grammars because net refinements are defined via productions. Transformations can be seen as high-level vertical refinements. Moreover we show compatibility between these techniques, i.e. in our framework vertical refinement and horizontal structuring of nets are compatible.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121071884","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}
引用次数: 5
Programação Centrada em Instâncias em SMALLTALK SMALLTALK中的以实例为中心的编程
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24406
P. Lisboa, José Fernando Tepedino, Silvio R. L. Meira
{"title":"Programação Centrada em Instâncias em SMALLTALK","authors":"P. Lisboa, José Fernando Tepedino, Silvio R. L. Meira","doi":"10.5753/sbes.1993.24406","DOIUrl":"https://doi.org/10.5753/sbes.1993.24406","url":null,"abstract":"Este artigo discute o conceito de programação centrada em instâncias, mostrando um protótipo com várias extensões introduzidas ao ambiente SMALLTALK/V para torná-lo mais propício a este estilo de programação. O artigo apresenta também algumas técnicas que permitem a incorporação de características dos sistemas baseados em instâncias no protótipo.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114714229","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
Sistema de Controle de Alteração e Configuração 修改和配置控制系统
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24399
Andréa Janaina Villas Bôas, Edésio Costa e Silva, Júlio Cardoso Pereira
{"title":"Sistema de Controle de Alteração e Configuração","authors":"Andréa Janaina Villas Bôas, Edésio Costa e Silva, Júlio Cardoso Pereira","doi":"10.5753/sbes.1993.24399","DOIUrl":"https://doi.org/10.5753/sbes.1993.24399","url":null,"abstract":"Este trabalho tem como objetivo apresentar o Sistema de Controle de Alteração e Configuração desenvolvido como suporte às atividades de garantia de qualidade dos sistemas a cargo do Departamento de Sistemas de Operação do Centro de Pesquisa e Desenvolvimento da TELEBRÁS. Será apresentada sua forma de funcionamento, eventos, transações e um pequeno exemplo de sua utilização.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127070465","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学术官方微信