Formal methods and testing: why the state-of-the art is not the state-of-the practice
ACM SIGSOFT Software Engineering Notes
Confessions of a formal methodist
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Testing Web-based applications: The state of the art and future trends
Information and Software Technology
Customizable collaborative editor relying on treeOPT algorithm
ECSCW'03 Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Coordination Model for Real-Time Collaborative Editors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Google this!: using Google apps for collaboration and productivity
Proceedings of the 37th annual ACM SIGUCCS fall conference: communication and collaboration
Syncro - concurrent editing library for Google wave
ICWE'10 Proceedings of the 10th international conference on Web engineering
Simultaneous debugging of software faults
Journal of Systems and Software
Collaborative Writing Support Tools on the Cloud
IEEE Transactions on Learning Technologies
Extending EFSMs to specify and test timed systems with action durations and timeouts
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Conformance testing relations for timed systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
New approach for EFSM-based passive testing of web services
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
| Hi-index | 0.00 |
In this paper we present the development of an Online Collaborative Editor (OCE) software system. It allows several people, to edit and share computer files using different devices, such as mobiles, PDAs in an easy way. We use formal methods in order to automatize and describe OCE. Its formalism is very suitable to specify time requirements (both time consumption due to the performance of tasks and timeouts) as well as to represent data communication among different components of the system. This exercise convinced us that a formal approach to develop complex systems can facilitate some of the development phases. In particular, the testing and debugging phases, more precisely, how to chose those tests more suitable to be applied, is simplified since tests are automatically extracted from the specification.