Acrobat X Files

Home > Programming > Java Programming

Designing a Programming Language to Provide Automated Selftesting ...

Sort Desciption:

eration strategy is necessary for effective performance ? ... Using the Java Modeling Language (JML) ?] to spec. ify Java classes you can do exactly ...

Content Inside:

Designing a Programming Language to Provide Automated Selftesting for Formally Specified Software ComponentsPage 1Designing a Programming Language to Provide AutomatedSelftesting for Formally Specified Software ComponentsRoy Patrick TanDepartment of Computer ScienceVirginia Tech660 McBryde Hall Mail Stop 0106Blacksburg VA 24061 USArtan@vt.eduStephen H. EdwardsDepartment of Computer ScienceVirginia Tech660 McBryde Hall Mail Stop 0106Blacksburg VA 24061 USAedwards@cs.vt.edu1. INTRODUCTIONWriting software is an errorprone activity. Compilershelp detect some of these errors: syntactic mistakes plusthose semantic mistakes that can be detected through thetype system. However locating faults beyond those detectable by the compiler (and other static analysis tools)is often relegated to the programmer who must write thorough tests to ensure confidence in the correctness of thesoftware.Although the specification and verification community hastraditionally focused on decreasing software bugs by staticverification research has increasingly explored the dynamicanalysis of the conformance of software components to itsspecifications. That is researchers are investigating systemsthat can tell us whether a programs behavior is consistentwith its specification while the program is being executed.While dynamic techniques do not offer the same degree ofassurance as full static verification they may provide usefulpragmatic benefits without the human intervention neededby currrent generation verification tools. When interpretedas a testing technique dynamic analysis offers us a glimpseof future testing tools that offer another line of automaticerror detection that augments the compiler and helps theprogrammer reduce the number of tests he has to write.Modern unit testing tools such as JUnit allow some automation of the testing process. Specifically they allow theautomated execution of tests. The job of writing tests remains the responsibility of the programmer. In writing atest for a sof ...

Source: www.cs.iastate.edu

 

Related Files

<>An Introduction to Java Programming

Filed under: Programming and Java Programming
Type java Welcome to run the program. A sample run of ... You can run the Java program from the DOS prompt using. the java command. ...

Java Server Programming: Principles and Technologies

Filed under: Programming and Java Programming
largescale serverside applications using the Java programming language. ... Professional java server programming J2EE edition. Wrox Press Inc. ...

Java Programming Language SL275

Filed under: Programming and Java Programming
language; objectoriented programming. with the Java programming language; and ... SL275: Java Programming Language. 2 of 5. Sun Educational Services ...

Java 2 Enterprise Edition (J2EE) Certificate Program

Filed under: Programming and Java Programming
that are available with the Java programming language. and development environment. .... database tasks and transactions from a Java program. ...

Programming mobile devices with J2ME

Filed under: Programming and Java Programming
Java's interfaces, with the possibility of using a layer programming structure in ... For example the access to a built-in camera in a mobile phone by means of ...