| dc.creator | Martins, E | |
| dc.creator | Sabiao, SB | |
| dc.creator | Ambrosio, AM | |
| dc.date | 1999 | |
| dc.date | DEC | |
| dc.date | 2014-12-02T16:29:23Z | |
| dc.date | 2015-11-26T16:52:59Z | |
| dc.date | 2014-12-02T16:29:23Z | |
| dc.date | 2015-11-26T16:52:59Z | |
| dc.date.accessioned | 2018-03-28T23:40:00Z | |
| dc.date.available | 2018-03-28T23:40:00Z | |
| dc.identifier | Software Quality Journal. Kluwer Academic Publ, v. 8, n. 4, n. 303, n. 319, 1999. | |
| dc.identifier | 0963-9314 | |
| dc.identifier | WOS:000089053900006 | |
| dc.identifier | 10.1023/A:1008930105477 | |
| dc.identifier | http://www.repositorio.unicamp.br/jspui/handle/REPOSIP/56463 | |
| dc.identifier | http://www.repositorio.unicamp.br/handle/REPOSIP/56463 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/56463 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1276440 | |
| dc.description | This paper describes a tool called ConData used as test generation for communication protocols specified as extended finite state machines. The strategy for test generation combines different specification-based test methods: (i) transition testing for the control part of a protocol and (ii) syntax and equivalence partitioning for the data part. The tool uses a representation of the protocol in PSL (Protocol Specification Language), which is transformed into a format readable by a Prolog program. This implements the test strategies mentioned above. The text also presents some results obtained in the test generation for the protocol of the Tele-command Communication System of the SACI-1 satellite. | |
| dc.description | 8 | |
| dc.description | 4 | |
| dc.description | 303 | |
| dc.description | 319 | |
| dc.language | en | |
| dc.publisher | Kluwer Academic Publ | |
| dc.publisher | Dordrecht | |
| dc.publisher | Holanda | |
| dc.relation | Software Quality Journal | |
| dc.relation | Softw. Qual. J. | |
| dc.rights | fechado | |
| dc.source | Web of Science | |
| dc.subject | communications protocol testing | |
| dc.subject | EFSM-based testing | |
| dc.subject | logic programming | |
| dc.subject | Formal Methods | |
| dc.subject | Selection | |
| dc.title | ConData: A tool for automating specification-based test case generation for communication systems | |
| dc.type | Artículos de revistas | |
