Filters








82,232 Hits in 7.3 sec

The practice of specifying requirements using executable acceptance tests in computer science courses

Grigori Melnik, Frank Maurer
2005 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05  
This report describes the practice of using executable acceptance testing for specifying programming assignments in software engineering courses.  ...  It also contains recommendations for academics thinking of incorporating executable acceptance testing into their courses.  ...  testing to be used in a Computer Science course of any context.  ... 
doi:10.1145/1094855.1094974 dblp:conf/oopsla/MelnikM05 fatcat:t5eftbtherfbvigf2z6sh7b5za

Introducing students to professional software construction

Guy Tremblay, Bruno Malenfant, Aziz Salah, Pablo Zentilli
2007 Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '07  
In this paper, we present an undergraduate course in Software Construction and Maintenance, developed with the goal of introducing students to those key concepts, tools and practices.  ...  We then present a key element of that course-namely, its maintenance corpus along with its testing frameworks-used to concretely introduce students to various tools and practices, e.g., automatic test  ...  Interestingly, the various C-shell scripts used for automating execution of system-level tests are also useful examples of shell scripts, a topic also covered in the course (use of Unix/Linux).  ... 
doi:10.1145/1268784.1268837 dblp:conf/iticse/TremblayMSZ07 fatcat:lsva477otbcmrhsic3fqdfwu6u

Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments

Olly Gotel, Christelle Scharff, Andrew Wildenberg
2008 Proceedings of the 13th annual conference on Innovation and technology in computer science education - ITiCSE '08  
software quality assurance practices into the computer science curriculum.  ...  WeBWorK, and some of the latest web-based systems, use a mechanism based on unit testing to account for variation in the way in which the same problem can be answered in an accurate manner, making such  ...  Since 2004, the authors of this paper have been collaborating to adapt and extend WeBWorK for use in the core courses of the computer science curriculum, in particular to deliver programming assignments  ... 
doi:10.1145/1384271.1384329 dblp:conf/iticse/GotelSW08 fatcat:fygjqjtpabhbpdfwi7vhsoadfa

Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments

Olly Gotel, Christelle Scharff, Andrew Wildenberg
2008 ACM SIGCSE Bulletin  
software quality assurance practices into the computer science curriculum.  ...  WeBWorK, and some of the latest web-based systems, use a mechanism based on unit testing to account for variation in the way in which the same problem can be answered in an accurate manner, making such  ...  Since 2004, the authors of this paper have been collaborating to adapt and extend WeBWorK for use in the core courses of the computer science curriculum, in particular to deliver programming assignments  ... 
doi:10.1145/1597849.1384329 fatcat:aejq74b2wbe6zolfkcvywu2zxm

Introducing students to professional software construction

Guy Tremblay, Bruno Malenfant, Aziz Salah, Pablo Zentilli
2007 ACM SIGCSE Bulletin  
In this paper, we present an undergraduate course in Software Construction and Maintenance, developed with the goal of introducing students to those key concepts, tools and practices.  ...  We then present a key element of that course-namely, its maintenance corpus along with its testing frameworks-used to concretely introduce students to various tools and practices, e.g., automatic test  ...  Interestingly, the various C-shell scripts used for automating execution of system-level tests are also useful examples of shell scripts, a topic also covered in the course (use of Unix/Linux).  ... 
doi:10.1145/1269900.1268837 fatcat:ddjgjgdhxff4zkroaqc7opr2xm

Examining Usage Patterns of the FIT Acceptance Testing Framework [chapter]

Kris Read, Grigori Melnik, Frank Maurer
2005 Lecture Notes in Computer Science  
Executable acceptance testing allows both to specify customers' expectations in the form of the tests and to compare those to actual results that the software produces.  ...  The results of an observational study identifying patterns in the use of the FIT acceptance testing framework are presented and the data on acceptance-test driven design is discussed.  ...  Suitability of acceptance tests for specifying functional requirements has been closely examined in our previous paper [4] .  ... 
doi:10.1007/11499053_15 fatcat:r67qp6o4yvdalfwq4i2a7svowu

Fully automatic assessment of programming exercises

Riku Saikkonen, Lauri Malmi, Ari Korhonen
2001 Proceedings of the 6th annual conference on Innovation and technology in computer science education - ITiCSE '01  
The system has been in production use on our introductory programming course with some 300 students for two years with good results.  ...  Automatic assessment of programming exercises has become an important method for grading students' exercises and giving feedback for them in mass courses.  ...  Acknowledgements We thank Kenneth Kronholm and Timo Lilja for writing major parts of the Scheme-robo system.  ... 
doi:10.1145/377435.377666 dblp:conf/iticse/SaikkonenMK01 fatcat:pnruujxfbjf3raxkmshu27e254

Fully automatic assessment of programming exercises

Riku Saikkonen, Lauri Malmi, Ari Korhonen
2001 ACM SIGCSE Bulletin  
The system has been in production use on our introductory programming course with some 300 students for two years with good results.  ...  Automatic assessment of programming exercises has become an important method for grading students' exercises and giving feedback for them in mass courses.  ...  Acknowledgements We thank Kenneth Kronholm and Timo Lilja for writing major parts of the Scheme-robo system.  ... 
doi:10.1145/507758.377666 fatcat:pu3cwgsjl5ft3ghun4hmpuldha

Using Model-Driven Development in Time-Constrained Course Projects

Wilson Padua
2007 Proceedings / Conference on Software Engineering Education and Training  
These, specified as use cases, undergo a sequence of model transformations, until they become tested code.  ...  The course projects are developed in iterations, each delivering a subset of the product functions.  ...  Boundary layer tests are used for acceptance, so that a product where this TC count matches specified count is probably conformant to the specified requirements; this matching improved in the last classes  ... 
doi:10.1109/cseet.2007.55 dblp:conf/csee/Padua07 fatcat:agaq2xoyizfljgppc2p7aa7p6u

Visual Modeling of ReActive Web Applications [chapter]

Federico Michele Facca, Florian Daniel
2006 Lecture Notes in Computer Science  
In this context, we have realized a proper execution framework to develop ReActive Web applications specified by means of the novel modeling paradigm.  ...  In this paper we discuss an e-learning case study developed using our framework and introduce the visual design tools we have extended and developed in order to support the development of ReActive Web  ...  Acknowledgement We acknowledge the commitment of Luca Sonzogni and Cristian Rossi to the implementation of the WBM engine and the prototype application, and Luca Cavagnoli who developed the WBM CASE tool  ... 
doi:10.1007/11896548_66 fatcat:iq7onaqnijedtbwgryzz6nemqa

Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit Tables and Gherkin Language [chapter]

Ernani César dos Santos, Patrícia Vilain
2018 Lecture Notes in Business Information Processing  
Whereas, the comparison of effort in terms of time to specify acceptance testing shows that the mean time to specify test scenarios using Gherkin language is lower than Fit tables.  ...  Several studies have addressed the use of acceptance tests as software requirements specification.  ...  Experiment Participants The participants were 18 students from a course called Special Topics in Technology Applications I, in the last years of the bachelor's degree in Computer Science at UFSC.  ... 
doi:10.1007/978-3-319-91602-6_7 fatcat:erh3d453wrcbvcrxbwq6qdxfbu

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods [chapter]

Richard F. Paige, Jonathan S. Ostroff
2004 Lecture Notes in Computer Science  
A short example of an Eiffel class is shown in Fig. 1 . The class CITIZEN inherits from PERSON (thus defining a subtyping relationship).  ...  In particular, we discuss how we introduce formal methods via Eiffel's design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called  ...  useful in integration and acceptance tests.  ... 
doi:10.1007/978-3-540-30472-2_7 fatcat:j33knyxssvdnvbfafomayubi7q

Teaching software testing: Experiences, lessons learned and the path forward

W. Eric Wong, Antonia Bertolino, Vidroha Debroy, Aditya Mathur, Jeff Offutt, Mladen Vouk
2011 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)  
Testing is the process of executing or evaluating a system, or a system component, by manual or automated means to verify that it satisfies specified requirements or to identify differences between expected  ...  use of what they learn in subsequent courses and projects.  ... 
doi:10.1109/cseet.2011.5876141 dblp:conf/csee/WongBDMOV11 fatcat:kunlwlwkp5ahdmcdz2mfkv7xdi

Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective [chapter]

Grigori Melnik, Kris Read, Frank Maurer
2004 Lecture Notes in Computer Science  
Experimental data and participant feedback are examined to evaluate whether developers can use requirements in the form of FIT tests to create a design and implementation.  ...  The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification.  ...  Acknowledgements We would like to thank all participants from the University of Calgary and SAIT who participated in this study and provided us with their valuable feedback.  ... 
doi:10.1007/978-3-540-27777-4_7 fatcat:ppnjiswrrnexzakluj4gffieza

Best practices for US Department of Defense model validation: lessons learned from irregular warfare models

Jeffrey Appleget, Curtis Blais, Michael Jaye
2013 The Journal of Defence Modeling and Simulation: Applications, Methodology, Technology  
Representation of these interactions (human behavior representation (HBR)) requires expertise from several of the many fields of social science.  ...  The US Department of Defense (DoD) requires all models and simulations that it manages, develops, and/or uses to be verified, validated, and accredited.  ...  Their intellectual contributions to the Irregular Warfare Model Validation Best Practices Guide were instrumental in forming several of the concepts embodied in this paper.  ... 
doi:10.1177/1548512913482233 fatcat:d6swcqoq25h37cvb2c2ttbrd34
« Previous Showing results 1 — 15 out of 82,232 results