Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Art of Software Testing
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
A Comparative Analysis of Web-based Collaborative Systems
DEXA '01 Proceedings of the 12th International Workshop on Database and Expert Systems Applications
An approach towards reliable software
ICSE '79 Proceedings of the 4th international conference on Software engineering
ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Design and Implementation of a Web-Based Distributed Collaborative Design Environment
IV '01 Proceedings of the Fifth International Conference on Information Visualisation
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
Computers and Operations Research
A Practical Approach for Automated Test Case Generation using Statecharts
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Automatic test case generation through a collaborative web application
EuroIMSA '08 Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications
Hi-index | 0.00 |
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become possible due to the expansion and popularity of global networks as internet. Collaborative tools coordinate a variety of tasks of several members of a team with an objective of reaching a specific goal. One such task that plays a major role, within the software development life cycle, is testing. In particular this task becomes more and more important when considering critical software such as space applications, which is the case of Brazilian Space Institutions CTA and INPE. The work discussed in this paper has two objectives: (i) present a web-based tool, WEB-PerformCharts, that can generate black-box test cases of a space application software; (ii) show that Statecharts are an excellent option to model the software specification, from which test sequences can be generated by applying several methods well known from the published literature.