Microsoft’s recently open-sourced P language aims to make it possible to write safe asynchronous event-driven programs on Linux, macOS, and Windows.
Models play an important role in developing software for autonomous systems like self-driving cars; they are used to simulate and verify behavior, document the system, and generate code. Jonathan Sprinkle explains how to model software used in autonomous systems, the benefits of modeling, using test data to validate the software that drives a car and techniques for writing reliable code.
There is an evolution going on in testing. It used to be that testing was about confirming to the specification. Testers were often brought in too late and had too little influence, but that is changing now as Cirilio Wortel explained in his talk on the evolution of software testing.
By using Model Driven Development component tests could be skipped and integration and system testing went a lot smoother, said Bryan Bakker in the presentation Model Driven Development (MDD) and its impact on testing. Main results from the MDD approach are a reduction of the amount of testing and increased reliability of the code that was generated from a mathematical model.
Developing and delivering products which customers don’t want and for which there is no market can be costly. Agile can help you to efficiently develop products, but you need to know what to build. How can you find out which products your customers need?
W3C has released Unicorn, a one-stop tool to help people improve the quality of their Web pages. Unicorn combines four popular tools, including the Markup validator, CSS validator, mobileOk checker, and Feed validator, with a single interface.
The reCAPTCHA ASP.NET Library provides a straightforward way to place a CAPTCHA on your ASP.NET website, helping you stop bots from abusing your website. The library wraps the reCAPTCHA API. You can use the library from any .NET language including C# and Visual Basic .NET.
On day 2 of JavaOne 2008 conference, Emmanuel Bernard talked about Bean Validation framework (JSR 303). The goal of this specification is to provide a uniform way to express and implement the constraints in java applications. Earlier in the day, Oracle team previewed the upcoming features of Oracle Fusion Middleware 11g.
InfoQ talks to Emmanuel Bernard about the Bean Validation specification.
JSR 303, the Bean Validation framework, provides an annotation-based API through which developers can express constraints on JavaBeans. An early draft of the specification is now available for review.
In this exclusive InfoQ article, Stefan Bodewig explains how to use the XMLUnit Java framework to write tests in the presence of XML.
In an informal study, Michael Sutton of SPI Dynamics was able to demonstrate that 80 out of 708 tested web sites were susceptible to SQL injection attacks.
Jason Carreira has submitted JSR 303 to standardize a meta-model and and API for JavaBean validation. The JSR has just been submitted and has not yet been approved by the JCP EC, but if approved the API could provide a consistent validation approach across tiers and within other standards and frameworks. InfoQ spok to Jason to find out more about the potential of JSR 303.