1. Identity statement | |
Reference Type | Thesis or Dissertation (Thesis) |
Site | mtc-m16c.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP8W/34B67H8 |
Repository | sid.inpe.br/mtc-m18@80/2008/12.02.12.01 (restricted access) |
Last Update | 2009:04.24.13.30.36 (UTC) jefferson |
Metadata Repository | sid.inpe.br/mtc-m18@80/2008/12.02.12.01.51 |
Metadata Last Update | 2020:07.08.13.06.52 (UTC) jefferson |
Secondary Key | INPE-15660-TDI/1436 |
Citation Key | Ribeiro:2008:FrSiEs |
Title | J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste |
Alternate Title | J-sdl: a framework for simulation of specifications in sdl and automatic generation of test cases |
Course | CAP-SPG-INPE-MCT-BR |
Year | 2008 |
Secondary Date | 20090424 |
Date | 2008-11-20 |
Access Date | 2024, Apr. 26 |
Thesis Type | Dissertação (Mestrado em Computação Aplicada) |
Secondary Type | TDI |
Number of Pages | 99 |
Number of Files | 316 |
Size | 13137 KiB |
|
2. Context | |
Author | Ribeiro, Júlio Resende |
Group | CAP-SPG-INPE-MCT-BR |
Committee | Dutra, Luciano Vieira (presidente) Vijaykumar, Nandamudi Lankalapalli (orientador) Yano, Edgar Toshiro Alves, Miriam Celia Bergue |
e-Mail Address | julioresende@gmail.com |
University | Instituto Nacional de Pesquisas Espaciais (INPE) |
City | São José dos Campos |
History (UTC) | 2008-12-02 12:01:51 :: julioresende@gmail.com -> yolanda :: 2008-12-03 10:23:39 :: yolanda -> supervisor :: 2008-12-15 17:47:51 :: supervisor -> yolanda :: 2009-02-02 10:07:31 :: yolanda -> jefferson :: 2009-06-04 18:21:19 :: jefferson -> administrator :: 2009-07-07 16:13:51 :: administrator -> jefferson :: 2009-07-08 15:16:48 :: jefferson -> camila :: 2010-03-08 17:07:04 :: camila -> administrator :: 2018-06-04 04:05:47 :: administrator -> sergio :: 2008 2018-12-19 14:03:21 :: sergio -> jefferson :: 2008 2020-07-08 13:06:52 :: jefferson -> simone :: 2008 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Keywords | Specification and description language (SDL) simulação especificação verificação e validação casos de teste specification and description language (SDL) simulation specification verification and validation test cases |
Abstract | O objetivo, dos testes de software, é detectar faltas latentes antes que produtos de software sejam colocados em funcionamento. Existem métodos para a geração automática de casos de testes, desde que o comportamento do software esteja representado como uma Máquina de Estados Finitos (MEF). São exemplos desses métodos: T, UIO, D e Switch Cover. Devido a algumas limitações das MEFs, investiga-se a geração automática de casos de teste a partir de técnicas formais de descrição que permitam a representação explícita de hierarquia e paralelismo, características muito necessárias para a representação dos softwares modernos. Isso já foi explorado por meio de uma metodologia baseada na representação do comportamento de software por meio de Statecharts. Essa metodologia consiste em converter a representação Statecharts em uma MEF a partir da qual possam ser aplicados os métodos de geração de testes. Essa dissertação de mestrado possui o objetivo de investigar uma outra técnica de modelagem: SDL. Será estudada a viabilidade de derivar casos de teste a partir de especificações em SDL, de forma direta, sem a necessidade de converter a especificação para MEFs. Para isso foi desenvolvido um framework denominado J-SDL que permite a simulação de comportamento, em termos de mudança de estados e consequentemente a geração automática de casos de teste. ABSTRACT: The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representation of parallel activities and hierarchy very much necessary to model modern software. This has already been explored by using Statecharts in which the Statecharts representation is converted into a FSM from which test cases are generated. The approach used in this dissertation is to investigate the feasibility of using SDL to generate automatically test cases in a straightforward manner, i.e., without the necessity to convert into a FSM. A framework J-SDL has been developed to simulate the behavior in terms of state changes and by simulating this behavior it will be shown that test cases can be generated. |
Area | COMP |
Arrangement | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > J-sdl: um framework... |
doc Directory Content | access |
source Directory Content | Dissertação JulioResendeRibeiro.zip | 02/02/2009 08:07 | 1.3 MiB | |
agreement Directory Content | there are no files |
|
4. Conditions of access and use | |
Language | pt |
Target File | paginadeacesso.html |
User Group | administrator jefferson julioresende@gmail.com simone yolanda.souza@mcti.gov.br |
Visibility | shown |
Copy Holder | SID/SCD |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Next Higher Units | 8JMKD3MGPCW/3F2PHGS |
Dissemination | NTRSNASA; BNDEPOSITOLEGAL. |
Host Collection | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
|
6. Notes | |
Empty Fields | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark mirrorrepository nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder schedulinginformation secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|