A Major Development in Java Testing Achieved With the Introduction of ParaSoft's Jcontract and Jtest 4.0.Business Editors & High-Tech Industry Writers MONROVIA, Calif.--(BUSINESS WIRE)--April 18, 2001 New Tools Automate Functionality Testing and Help Java Developers Implement and Test Software Using Design by Contract ParaSoft, leading provider of error prevention and error detection software, announced today the release of Jtest 4.0 and a new Java(TM) development tool, Jcontract. The new version of Jtest, an award-winning automatic unit testing (testing) unit testing - The type of testing where a developer (usually the one who wrote the code) proves that a code module (the "unit") meets its requirements. tool for Java, automates unit level functionality using the Design by Contract(TM) (DbC) format specification information included in the class. Jcontract, a Jtest add-on or stand-alone tool, can verify system-level functionality and identify class/component misuse by checking DbC contracts at runtime. DbC is a technological breakthrough in software engineering; it is used commonly in the Eiffel programming language and widely considered good software development practice. DbC is a formal way of using comments to incorporate specification information into the code itself. Basically, the code specification is expressed using a formal language that describes the code's implicit contracts. DbC promises to dramatically affect the way software is developed; in particular, it is expected to increase the overall reliability of software applications. A major component of quality in software is its reliability, which boils Boils Definition Boils and carbuncles are bacterial infections of hair follicles and surrounding skin that form pustules (small blister-like swellings containing pus) around the follicle. Boils are sometimes called furuncles. down to whether or not the application can perform according to according to prep. 1. As stated or indicated by; on the authority of: according to historians. 2. In keeping with: according to instructions. 3. specification and can handle unexpected exceptions. Put simply, reliability is the absence of bugs. Jtest and Jcontract are tools designed to help developers make this happen. Jtest 4.0 - Truly automated unit level black-box (functionality) testing Jtest is now capable of automatically performing black-box testing black-box testing - functional testing . Black-box testing ensures that methods in a class function as intended. Jtest automates black-box testing by reading specification information built into the class with DbC language, then automatically creating and executing test cases to verify the functionality described in the specifications. Jtest is the first development tool of its type to automate black-box testing of Java classes. In addition to automating functionality testing, Jtest automates white-box (construction) and regression testing In software development, testing a program that has been modified in order to ensure that additional bugs have not been introduced. When a program is enhanced, testing is often done only on the new features. ; it also performs static analysis. White-box testing validates that unexpected inputs do not initiate program crashes. Regression testing verifies that code performs according to specification after changes have been introduced. Static analysis checks whether code adheres to over 240 industry-respected Java coding standards that prevent errors. Other new features include the integration with IBM's VisualAge(R) for Java and added static analysis rules for Enterprise JavaBeans See EJB. (specification, business, programming) Enterprise JavaBeans - (EJB) A server-side component architecture for writing reusable business logic and portable enterprise applications. EJB is the basis of Sun's Java 2 Platform, Enterprise Edition (J2EE). (TM) (EJBs), DbC, servlets and project metrics metrics Managed care A popular term for standards by which the quality of a product, service, or outcome of a particular form of Pt management is evaluated. See TQM. . Jcontract - System level functionality testing using DbC Jcontract enables Java developers to perform functionality testing at the system level using DbC. After using Jtest to thoroughly test a class or component at the unit level, Jcontract will instrument and compile the DbC-commented code. Once a class or component is instrumented, Jcontract automatically checks whether its contracts are violated vi·o·late tr.v. vi·o·lat·ed, vi·o·lat·ing, vi·o·lates 1. To break or disregard (a law or promise, for example). 2. To assault (a person) sexually. 3. at runtime. Jcontract is particularly useful for determining whether an application misuses specific classes or components. When used in conjunction with Jtest, Jcontract helps automate functionality testing of Java applications A Java program that is run stand alone. The Java Virtual Machine in the client or server is interpreting the instructions. Contrast with Java applet. See servlet. , and improves the overall testing of components, such as EJBs. "The integration of Jcontract with Jtest will make dynamic testing dynamic testing Lab medicine A testing format in which 2+ samples of Pt blood or urine are obtained at a specified time interval. See Glucose tolerance test, Timed specimen, Xylose absorption test. much more feasible," commented Mark Meuer, Software Engineer for Life Navigator and Beta tester for Jtest and Jcontract. "The lack of a DbC feature like this in earlier versions of Jtest prevented us from using it to its full potential on our projects." Availability Jtest starts at $3,495 and is available for Windows NT/2000/98, Solaris and Linux. Jcontract starts at $1,500 and is available for Windows NT/2000. Jtest and Jcontract together start at $4,495. About ParaSoft ParaSoft Corporation develops and markets advanced error prevention and error detection tools for UNIX UNIX Operating system for digital computers, developed by Ken Thompson of Bell Laboratories in 1969. It was initially designed for a single user (the name was a pun on the earlier operating system Multics). , Windows and Internet development environments. ParaSoft's award-winning products and patented technologies assist developers and managers in improving software quality, accelerating time to market and reducing development costs. ParaSoft's headquarters is located at 2031 S. Myrtle Ave., Monrovia, CA 91016. Telephone 888/305-0041. Fax 626/305-3036. E-mail to: pr@parasoft.com. URL URL in full Uniform Resource Locator Address of a resource on the Internet. The resource can be any type of file stored on a server, such as a Web page, a text file, a graphics file, or an application program. : http://www.parasoft.com. Note: Jtest and ParaSoft are registered trademarks of ParaSoft. Jcontract is a trademark of ParaSoft. All other products, services, companies, events and publications are trademarks, registered trademarks or service marks of their respective owners in the U.S. and/or other countries. Editor's note Editor's Note (foaled in 1993 in Kentucky) is an American thoroughbred Stallion racehorse. He was sired by 1992 U.S. Champion 2 YO Colt Forty Niner, who in turn was a son of Champion sire Mr. Prospector and out of the mare, Beware Of The Cat. Trained by D. : Jtest and Jcontract screenshots and review copies available. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion