Name
Abstract | ||
|---|---|---|
Tests play a major role in validating software. In particular, the role becomes more important when considering critical software such as for space applications as is the case in the National Institute for Space Research (INPE) in Brazil. Such software uses Finite State Machines (FSM) in order to model the software specification from which test sequences are generated for a black box test approach. As the software for space applications is considered as a complex system with several components (usually in parallel), test designers seem to look for other alternatives instead of modeling via FSM. This paper addresses an experience in the modeling issue in using Statecharts to represent the specification of space application software from which test sequences can be generated. Moreover, it also describes a web-based tool in order to facilitate software testing, from models specified in Statecharts, in a distributed environment. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/CIMCA.2008.143 | CIMCA/IAWTIC/ISE |
Keywords | Field | DocType |
space application,modeling issue,critical systems,black box test approach,major role,space application software,critical software,software testing,software specification,test case generation,test designer,collaborative web-based tool,test sequence,distributed environment,internet,data mining,collaboration,switches,complex system,groupware,software validation,verification and validation,databases,web based application,space missions,black box testing,test case,finite state machine,finite state machines,web based applications | Software design,Software engineering,Computer science,Software system,Artificial intelligence,Component-based software engineering,Software requirements specification,Software construction,Test data generation,Machine learning,Software framework,Software development | Conference |
Citations | PageRank | References |
2 | 0.36 | 9 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alessandro Oliveira Arantes | 1 | 6 | 1.40 |
| Nandamudi Lankalapalli Vijaykumar | 2 | 49 | 13.63 |
| Valdivino Alexandre de Santiago Junior | 3 | 8 | 1.79 |
| Danielle Guimarães | 4 | 16 | 1.88 |