Спецификация важно - это утверждение ясно всем. Широко используется продукт, технология или язык без спецификации не имеет смысла. Спецификации без TestSuite опасно. TestSuite без разметки и тестов невозможно. Этот процесс является довольно сложным. Однако Есть способы, чтобы упростить разметки этапе.
Что касается спецификации языка программирования Java (JLS) и (Виртуальных машин), они написаны в FrameMaker. После спецификации экспортируются в HTML и PDF. Разметки встраивается в HTML-версии. Мое мнение, что разметку информации должны быть помещены в (или связанные с ними) происхождения текста. В нашем случае это FrameMaker документа. Я не уверен, что это вообще возможно, но я думаю это. Если нет, то, может быть, FrameMaker не лучшее решение. В результате мы значительно уменьшить количество времени и усилий, необходимых для передачи старой разметки и маркировки до нового текста. Кроме того во время записи следующего пересмотра спектра автором совместно с TCK команда должна разметки все поменявшее и новые утверждения. Я бы сказал, лучше всего, когда спектр письменной форме и разметки процессы выполняются одновременно. Целесообразно для автора указывают на то, что разработчики тест отчетность должна быть проверена.
Это очень важно иметь хороший процесс при написании тестов. Я буду говорить о том, что 1 был использован для JLS.
Как уже упоминалось выше конечный продукт ряд испытаний. Существует связь между испытаниями и спецификации. Утверждение внутренних ресурсов дает представление о том, что каждая группа тестов на самом деле проверки в спецификации. Используя это соотношение разработчик может рассчитывать охвата, получить список утверждений, на которых испытания не были написаны и т.д.
Утверждение это заявление от спецификации, которая может быть проверена. И первым шагом является определение всех утверждений в спецификации. После этого разработчик может написать тесты.
Ошибка во время компиляции происходит, если же модификатор, выглядит более чем один раз в объявлении интерфейса.
Бинарных имя члена типа состоит из бинарных имя его сразу вмещающих типа, а затем $, после чего простое имя члена.
Продолжать заявление может происходить только в то время, делать, или заявление.
Там может быть много заявлений, которые не являются проверяемыми или включать неопределенности. Иногда такие заявления включать такие слова, как "возможно" или "возможно". Это неправда, что если предложение имеет слово "может" не проверяемого, но обычно это так.
Пример не-проверяемым заявления:
Мы не рекомендуем такой "смешанных обозначения" для массивов.
Ситуации, когда класс объекта не известны статически может привести к ошибки времени выполнения типа.
Если, однако, оценка выражение генерирует исключение, то выражение называется полной круто.
Есть много дискуссий и споров о утверждений. Некоторые говорят, что примеры не должны рассматриваться как утверждения. Другие говорят, что каждый оператор и утверждения Есть два вида из них: проверяемые и не проверяемые. Мое личное мнение таково, что утверждение, безусловно, то проверяемым. И в большинстве случаев примеры утверждения только потому, что испытания могут быть записаны проверки конкретного примера.
Процесс выявления утверждения в спецификации называется разметки. Есть много подходов. Но в любом случае пользователь должен иметь возможность получить информацию о том, утверждение утверждение и как-то отличать один от другого утверждения. Там может быть отдельное хранилище с отображением утверждений и их идентификаторов для отчетности. Мне нравится идея интеграции разметки в спецификацию. Этот подход был выбран для языка области Java SE тестов. JLS была написана в FrameMaker. С механизмы экспорта PDF и HTML версии были созданы. HTML-версия была использована при создании тестового набора.
В JLS JLS и 2 специальных якорей определены в начале и в конце утверждение. Дополнительная информация была assertionID и краткое резюме в заявлении. Конец якорь изображение и ссылку на тест. HTML Посмотреть и код вид приведены на соответствующих рисунках. Утверждение ID являются arr033, arr034, arr020 и т.д.
Общая идея может быть описана как:
<a name=assertionID> <! - Шорд описание в виде HTML-комментарий -> утверждение выступлении здесь <img src="pics/assert.gif"> href="path <a к test"> тест ID который так же, как утверждение ID </ A>
Если отдельные заявления в различных частях спецификации проверяются один тест первый тэг будет что-то вроде arr033_0, arr033_1, arr033_2.
Такая архитектура была использована для JLS и JLS 2. Она была немного модифицирована для JLS3, но основная идея была сохранена. Я знаю несколько примеров подходов нестатических утверждение идентификаторы хранятся в отдельном хранилище, где ID некоторая хэш-значение, вычисленное на основе содержания. По ряду причин он показал, чтобы быть не очень хорошим решением. Существует всегда сложный процесс перехода на новую версию спецификации. Но, на мой взгляд, это гораздо проще с помощью статического удостоверения личности вкладывается в спецификации.
Я читаю блоги. Я начал читать их гораздо больше. Почему я это делаю? Ну .. Я верю, что обмен информацией делает работу других людей больше удовольствия. И не только работать, но народ живет в целом. Обмен знаниями и мыслями является большим шагом в направлении создания общин. Блог позволяет публиковать мысли, мнения, идеи, относится к читателям. Читатели могут открыть диалог на тему обсудили систему комментариев. Я хотел создать свой личный блог уже давно, но, думаю я, наконец, сделал это. Я работаю инженером-программистом в группе, которая создает очень важный продукт. Этот продукт не так хорошо известен как Java или Solaris. Я бы сказал, что большинство разработчиков программного обеспечения в этом огромном мире не знает об этом. Однако без этого продукта не будет Java, как мы ее знаем. По крайней мере, Java не будет так хорошо, как и в популярных распространенным, как он есть и каким мы хотим его видеть. Без этого продукта не будет износу (однократная запись работает везде). Да, я говорю о совместимости. И продукт TCK (технология совместимости Kit) для Java. В двух словах TCK это набор тестов, который гарантирует, что реализаций Java соответствует спецификации. Моя группа работает в нескольких TCK в. Но главное один для платформы Java SE. Есть несколько различных районах JCK (TCK для Java SE): API, Java Язык и VM. Моя область, что я работаю на протяжении более 2 лет "Java язык". Я пишу компилятор и среду выполнения тесты, чтобы убедиться, что ВС и реализации других компаний ведут себя именно так, как сказано в JLS (Java Language Specification). В этом блоге я постараюсь поделиться своими знаниями, мое мнение и мысли по поводу моей работы. PS: английский не является моим родным языком. Вот почему я хотел бы извиниться за возможные ошибки (я уверен Есть многие из них уже есть) и странные sentances в моем блоге. Я постараюсь сделать все возможное.
Спецификация важно - это утверждение ясно всем. Широко используется продукт, технология или язык без спецификации не имеет смысла. Спецификации без TestSuite опасно. TestSuite без разметки и тестов невозможно. Этот процесс является довольно сложным. Однако Есть способы, чтобы упростить разметки этапе. 
